[1] : The Free On-line Dictionary of Computing (27 SEP 03)

constraint logic programming
     
        clp a programming framework based like prolog on lush
        or sld resolution, but in which unification has been
        replaced by a constraint solver.  a clp interpreter
        contains a prolog-like inference engine and an incremental
        constraint solver.  the engine sends constraints to the
        solver one at a time.  if the new constraint is consistent
        with the collected constraints it will be added to the set.
        if it was inconsistent, it will cause the engine to
        backtrack.
     
        clp is a variant.
     
        "constraint logic programming", j. jaffar et al, 14th popl,
        acm 1987.
     
        1994-11-01
     
     
see also:
prolog lush sld resolution unification constraint solver 
interpreter inference engine incremental constraint solver backtrack clp 

Constraint >> C Words
Constraint, definition of term: Constraint
constraint_pag1.html

Boolean Logic >> B Words
Boolean Logic, definition of term: Boolean Logic
boolean+logic_pag1.html