object-oriented, constraint, imperative, functional, prototype-based
dynamic system
Lisp, Prolog, Erlang
oz