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?

Have you looked at my personal notes in this post .

The reason was to fix the @EricGT example listing. Given some head, we should list all clauses that unify with this head. So, the nice thing is that if you have a concrete goal (with some instantiated arguments) and you ask for listing of that goal you only get the matching clauses. We should h…

[image] jan: So, the nice thing is that if you have a concrete goal (with some instantiated arguments) and you ask for listing of that goal you only get the matching clauses. This is very useful, especially for large databases. Thanks!

Care to add some details with examples and post it as one of Nice to know Useful code Wiki

Subsumes_term/2

Help! Predicate

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

Subsumes_term/2

Related topics