A constraint-based language, built on the object-oriented module of le-lisp.
["Pecos Reference Manual", ILOG, 1990. ILOG, 12 av Raspail, BP 7, F94251 Gentilly, France].
Computing Dictionary