The Ciao clp(FD) Library. A Modular CLP Extension for Prolog

Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo +1

We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on C…