Lisp: uniform syntax, interpreted,
mostly functional.
ML: functional, with strong, static
typing and type inference.
Java: typical syntax, compiled,
mostly object-oriented.
Prolog: logic programming paradigm,
unification and resolution,
weakly typed.
Perl: permissive syntax, compiled,
multi-paradigm, scripting.