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 Split this topic July 28, 2020, 7:41pm 7

A post was split to a new topic: Listing example

Topic		Replies	Views
Clause/2 General swish	5	376	April 27, 2023
Composite term not checked Help!	11	222	October 25, 2023
Copy_term but without maintaining variable relationships? Predicate	10	467	July 28, 2021
Recently started woring with prolog and decided to make a text documenting my annoyances General	18	454	October 21, 2023
Term_expansion/2 vs goal_expansion/2 Predicate	5	672	October 17, 2020