C
Programación funcional.
LISP
Haskell
Pascal
Programación estructurada.
Mercury
Programación orientada a objetos.
Prolog
JAVA
C++
Lógico.