Remove item from multiple lists...

Prolog Higher-order reduce predicate...

Higher-order predicates...

Module expansion of goals passed to library meta-predicates...

Relying on rule order...

Prolog Operator Expected Error...

How can I use a functor name like a variable in Prolog?...

Reverse lookup in Prolog? (how do I find everything that is true about X?)...

Prolog GNU - Univ operator? Explanation of it...

What kind of meta argument is the first argument of predicate_property/2?...