Content deleted Content added
mNo edit summary |
|||
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''. The 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:
*[http://www.probp.com/ B-Prolog] ([[Prolog]] based)
|