H ? «»

Language peer sets for CHIP:
Germany
Germany/1985
Designed 1985
1980s languages
Fifth generation
Late Cold War
Experimental and other
Experimental and other/1985
Experimental and other/de

CHIP(ID:1131/chi010)

alternate simple view
Country: Germany
Designed 1985
Published: 1985
Sammet category: Experimental and other


for 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.

Commercialised by COSYTEC


Related languages
METALOGCHIP   Evolution of
  CHIPCharme Evolution of

References:

1988

1989

  • Van Hentenryck. (1989) Van Hentenryck. "Constraint Satisfaction in Logic Programming" Logic Programming Series, The MIT Press, Cambridge, MA, 1989.

1990

1992

  • Aggoun, A. and N. Beldiceanu. (1992) Aggoun, A. and N. Beldiceanu. "Extending CHIP To Solve Complex Scheduling and Packing Problems" In Journ'ees Francophones De Programmation Logique, Lille, France, 1992.

ResourcesSearch in:Google Google scholar World Cat Yahoo Overture Teoma Alta Vista All the web Voila DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder