Constraint logic programming embedded in an object-oriented language. The syntax is an extension of Edinburgh Prolog .
["Hierarchical Arc Consistency Applied to Numeric Processing in Constraint Logic Programming", G. Sidebottom et al, TR-91-06, CSS-IS, Simon Fraser U, and Comp Intell 8(4) (1992)].
ftp://cs.sfu.edu/pub/ecl/papers .
E-mail: expert@cs.sfu.edu .
(1994-12-08)