New posts in meta-predicate

Collect all "minimum" solutions from a predicate

prolog backtracking aggregates prolog-setof meta-predicate

Prolog: Filtering a list?

list filter prolog meta-predicate

Most general higher-order constraint describing a sequence of integers ordered with respect to a relation

prolog clpfd topology meta-predicate

Definition of Reflexive Transitive Closure

prolog prolog-toplevel transitive-closure meta-predicate

Prolog map procedure that applies predicate to list elements

prolog map-function meta-predicate