CLP(FD) Constraint Logic Programming over Finite Domains
This tutorial is for reasonably experienced SWI-Prolog programmers who want to use clp(fd). Additionally, this tutorial will be useful for Prolog programmers using other versions of Prolog who want to use clp(fd). The emphasis of this tutorial is not on the theory. The author is not a mathematician and the tutorial will probably not be of much use to competent mathematicians who can approach the material via the academic literature. This tutorial should give you a grasp of the fundamentals of constraint systems on finite domains.
Edit resource New resource