This page is only kept for historical reference. As of May 2016, it is superseded by more recent material that is available from:

Benchmarks for library(clpb)

All benchmarks mentioned in The Boolean Constraint Solver of SWI-Prolog: System Description, submitted to FLOPS'2016, are available from:


Other usage examples:

Please check out the library's documentation for usage information:

Please write to or use the clpb tag on Stackoverflow if you have any questions about CLP(B).

Related Prolog programs and texts are available at

Thank you for your interest in SWI-Prolog and this library! I hope to see you in Kochi in 2016.

Markus Triska, Sept. 20th, 2015