Le-Lisp
Built on
PECOS (2351)
OO constraint-based language