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)]. . E-mail: s.sfu.edu>. (1994-12-08)