Echidna

A 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 University

Computer Intelligence 8(4) (1992).