Constraint programming: Difference between revisions

Revision as of 14:43, 12 August 2005

Revision as of 14:45, 12 August 2005

Line 17:

*Mixed domains, involving two or more of the above

Constraint laguages are typically embedded in a host language. The first host language used was a [[logic programming|logic language]] ([[Prolog]]), so the field was initially called Constraint Logic Programming. THeThe two paradigms share many important features, like logical variables (i.e., once a variable is assigned a value, it cannot be changed), [[backtracking]]. Nowadays, most [[Prolog]] implementations include one or more libraries for constraint logic programming.

Some popular constraint languages are