A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems

Nikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe

Many logic programming based approaches can be used to describe and solve combinatorial search problems. On the one hand there are definite programs and constraint logic programs t…