Term expansion for a list of terms...

Combing generator results and writing result to stream...

Constraints over arbitrary length sublists using CLP(FD)...

Deep Reverse in PROLOG - Lists...

Prolog - simplify derivative...

CLPFD domain declaration with in or inequalities...

prolog catch all clause that's only active if no other clause is...

Constrain integer to be in set...

Tree leaf traversal in Prolog...

Prolog - subsitution and evaluation...

Prolog: how to do "check(a++b++c++d equals d++a++c++b) -> yes"...

Controlling Prolog variable value selection...

Prolog - formulas in propositional logic...