Programming with Sets; Constraint Logic Programming

Integrating Finite Domain Constraints and CLP with Sets

In this paper we propose a semantically well-founded combination of the constraint solvers used in the constraint programming languages CLP (SET) and CLP(ℱD). This work demonstrates that it is possible to provide efficient executions (through CLP …