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.