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