[1] : The Free On-line Dictionary of Computing (27 SEP 03)

constraint handling in prolog
     
         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
     
     
see also:
constraint logic programming ecrc boolean unification simplex algorithm domain-variable model 

Prolog >> P Words
Prolog, definition of term: Prolog
prolog_pag1.html

Handling >> H Words
Handling, definition of term: Handling
handling_pag1.html

Constraint >> C Words
Constraint, definition of term: Constraint
constraint_pag1.html