Constraint Handling In Prolog

(language)

(CHIP) A constraint logic programming language developed by M. Dincbas at ECRC, Munich, Germany in 1985 which includes Boolean unification and a symbolic simplex-like algorithm. CHIP 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. Available from COSYTEC, 4 rue Jean Rostand, F91893 Orsay, France].

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

References in periodicals archive

RACES was written in CHIP (constraint handling in Prolog) 5.0 under a UNIX operating system on an HP/712 machine.

Ramp Activity Expert System for Scheduling and Coordination at an Airport

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.