CHIP -
1. Early system on IBM 1103 or 1103A. Listed in CACM 2(5):16 (May 1959).
2. Constraint Handling In Prolog. M. Dincbas, ECRC Munich 1985.
Constraint logic language, includes boolean unification and a symbolic
simplex-like algorithm. Constraints over integers, rationals and booleans.
Symbolic constraints, cumulative constraints, and update demons.
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. V4 available from COSYTEC, 4 rue Jean
Rostand, F91893 Orsay, France.
info:
Comments, Experience, Additions
Next Language: C+@