Constraint logiC programming embedded in an objeCt-oriented language. The syntax is an extension of Edinburgh Prolog. ["HierarChiCal ArCConsistenCy 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: Cs.sfu.edu>. (1994-12-08)