CHIP:
A constraint logic programming language developed by M. Dincbas at the European Computer-Industry Research Centre, Munich, Germany in 1985 which includes Boolean unification and a symbolic simplex-like algorithm. CHIP introduced the domain-variable model.