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
METALOG → CHIP   Evolution of
CHIP → Charme   Evolution of
References:
  • Dincbas, M.; P. Van Hentenryck, H. Simonis, A. Agg (1988) Dincbas, M.; P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. "The Constraint Logic Programming Language CHIP", Proc 2nd Intl Conf on Fifth Generation Computer Sys, Tokyo (Nov 1988), pp.249-264.
  • Van Hentenryck. (1989) Van Hentenryck. "Constraint Satisfaction in Logic Programming" Logic Programming Series, The MIT Press, Cambridge, MA, 1989.
  • Cohen, Jacques (1990) Cohen, Jacques "Constraint logic programming languages" CACM 33(07) July 1990
  • 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.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder