from
The Free On-line Dictionary of Computing (8 July 2008)
Constraint Handling In Prolog
<language> (CHIP) A {constraint logic programming} language
developed by M. Dincbas at {ECRC}, Munich, Germany in 1985
which includes {Boolean unification} and a symbolic
{simplex}-like {algorithm}. CHIP introduced the
{domain-variable model}.
["The Constraint Logic Programming Language CHIP", M. Dincbas
et al, Proc 2nd Intl Conf on Fifth Generation Computer Sys,
Tokyo (Nov 1988), pp.249-264].
["Constraint Satisfaction in Logic Programming", Van
Hentenryck. Available from COSYTEC, 4 rue Jean Rostand,
F91893 Orsay, France].
(1994-11-15)