Tutorials
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.