PROLOG ( Programming Logic) es un lenguaje de programación declarativa de uso frecuente en la programación de la inteligencia artificial ( AI) aplicaciones. Un lenguaje declarativo es un lenguaje de programación que determina lo que debe hacerse como resultado de criterios específicos , en lugar de cómo debe hacerse algo. Orígenes

PROLOG fue creado entre 1971 y 1973 por Philippe Roussel y Alain Colmerauer como lenguaje de desarrollo práctico basado en la idea del razonamiento deductivo automatizado. El lenguaje permitió fórmulas para ser interpretados de tal manera que una conclusión lógica podría ser alcanzado . PROLOG fue concebido originalmente como una manera de automatizar el procesamiento del lenguaje natural, pero pronto se empezó a utilizar para el desarrollo de una aplicación más general. Fue utilizado por primera vez para tomar decisiones deductivos basados ​​en la información escrita en francés .
Implementación

En 1983 , David H. Warren creó una arquitectura de máquina llamada " máquina abstracta , " lo que podría guiar aplicaciones PROLOG . Llamado el "Warren Abstract Machine" (WAM ) , que se convirtió en el método de aplicación estándar para PROLOG .
Influencia

PROLOG ha tenido una serie de efectos en el campo de la informática. A medida que el langauge programación lógica basada en original, que ha permitido adiciones a las bases de datos relacionales para crear una nueva forma de base de datos a que se refiere como bases de datos dedutive . Desde la década de 1980 en adelante, que influyó en la formación de los sistemas inteligentes de computación , programación lógica limitación , la programación lógica inductiva , y el aprendizaje de la máquina.