Constraint logic programming: Difference between revisions

Content deleted Content added
m typo
m History: avoid redirect to CHIP
Line 181:
==History==
 
Constraint logic programming was introduced by Jaffar and Lassez in 1987. They generalized the observation that the term equations and disequations of [[Prolog II]] were a specific form of constraints, and generalized this idea to arbitrary constraint languages. The first implementations of this concept were [[Prolog III]], [[CLP(R)]], and [[CHIP (programming language)|CHIP]].
 
==References==