Lenguajes
Prolog
Prolog, proveniente del francés Programation et Logique, es un lenguaje de programación lógico e interpretado, bastante popular en el medio de investigación en Inteligencia Artificial.
OPS5
Es una regla basada en el sistema de producción o lenguaje informático, notable como el primero de los lenguajes para ser utilizado en un existoso sistema experto, el sistema de R1/XCON utilizado para configurar computadoras VAX.
Mercury
Es un lenguaje de programación de logica funcional orientado a aplicaciones en el mundo real.
Kernel
Lisp
AIML
SAIL
MS-DOS
Smalltalk
