constraint handling in prolog

1 definition found

constraint handling in prolog - Free On-line Dictionary of Computing (26 May 2007) :

  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].
  
     (1994-11-15)