CLP(FD): solution number count speedup...

Undesirable properties of CLPB...

Unknown procedure card/2 in knights and knaves puzzle...

What is the most elegant way to find 16-bit numbers which satisfy some conditions?...

Prolog Constraint Processing : Packing Squares...

Count solutions in a CSP...

Print the results in a txt file with prolog...

Can prolog be used to determine invalid inference?...

Prolog implement and/2, or/2, nand/2, nor/2, xor/2...

Generating random values where a constraint does and does not hold...

Solving CNF using Prolog...

Prolog SAT Solver...

How to construct a list from two lists in prolog...

Simple boolean expression testing...

Building a logical expression from structure data for clpb...

Bertrand Russell Puzzle...