Dear @jan , In the recent commit to improve listing/1 you wrote a predicate to generalize a term, I was wondering why didn’t you use subsumes_term/2? Perhaps I am missing something?

Subsumes_term/2

EricGT July 27, 2020, 10:35pm 2

Have you looked at my personal notes in this post.

1 Like

Topic		Replies	Views
Listing example: use case for new feature in 8.3.5 Nice to know	0	350	July 28, 2020
Match on structure, bind whole value Help! logtalk	22	2104	January 2, 2020
Program that returns what clauses are missing for a goal to succeed Help!	1	524	January 5, 2020
Declarative meaning of `more generic than`? General subsumes_term	30	433	October 20, 2023
Any way to get listing/1 to show just the predicates in a given module? Predicate	2	1343	August 5, 2021