Constraint Handling In Prolog

Constraint Handling In Prolog

(language)(CHIP) A constraint logic programming languagedeveloped by M. Dincbas at ECRC, Munich, Germany in 1985which includes Boolean unification and a symbolicsimplex-like algorithm. CHIP introduced thedomain-variable model.

["The Constraint Logic Programming Language CHIP", M. Dincbaset al, Proc 2nd Intl Conf on Fifth Generation Computer Sys,Tokyo (Nov 1988), pp.249-264].

["Constraint Satisfaction in Logic Programming", VanHentenryck. Available from COSYTEC, 4 rue Jean Rostand,F91893 Orsay, France].