PECOS

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].