Constraint Solving by Martine Ceberio


Constraint programming originated fromĀ constraint logic programming, which embeds constraints into a logic program. The credit for this variant of logic programming goes to Jaffar and Lassez, who extended a specific class of constraints that were introduced earlier in Prolog II. The first implementations ofconstraint logic programming were Prolog III, CLP(R), and CHIP. SeveralĀ constraint logic programming interpreters exist today.

Short Tutorial on Constraint Programming

Tutorial on Soft Constraints

Leave a Reply