Computing (FOLDOC) dictionary
Jump to user comments
Constraint Logic Programming (Real).
joxan@watson.ibm.com of
IBM TJWRC and S. Michaylov of
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
Significant CLP(R) applications have been published in diverse
areas such as molecular biology, finance and physical
modelling.
the authors. It is free for academic and research purposes.
E-mail: Roland Yap roland@bruce.cs.monash.edu.au.
["The CLP(R) Language and System", J. Jaffar et al, IBM RR
RC16292 (#72336) (Nov 1990)].
(1992-10-14)