Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
CLP(R)
Jump to user comments
Constraint Logic Programming (Real).
arithmetic constraints developed by Joxan Jaffar
joxan@watson.ibm.com of IBM TJWRC and S. Michaylov of
The implementation contains a byte-code compiler and a
built-in constraint solver which deals with linear arithmetic
and contains a mechanism for delaying nonlinear constraints
until they become linear. Since CLP(R) is a superse of
PROLOG, the system is also usable as a general-purpose
logic programming language. There are also powerful
facilities for meta programming with constraints.