PROLOG

PROLOG (PROgramming in LOGic) es un lenguaje de programación interpretado que fue inventado en 1973 por Alain Colmeraurer. Se utiliza principalmente en programas de inteligencia artificial. Japón lo adoptó en la década de 1980 como el lenguaje oficial para la inteligencia artificial en un programa conocido "Quinta Generación".

Permite que a través de una regla se puedan obtener hechos o inferencias que permitan ubicar deducciones lógicas. PROLOG es un lenguaje declarativo y funcional. Carece de las declaraciones que se pueden observar en un lenguaje imperativo, como pueden ser las declaraciones de tipos, de variables, de procedimientos, etc.