|H ? «‹←→›»|
Language peer sets for CHIP:
Designed 1985 ↑
1980s languages ↑
Late Cold War↑
Experimental and other ↑
Experimental and other/1985↑
Experimental and other/de ↑
CHIP(ID:1131/chi010)alternate simple view
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
ResourcesGoogle 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