La historia del lenguaje de programación Prolog

PROLOG (lógica de programación) es un lenguaje de programación declarativa de uso frecuente en la programación de aplicaciones de inteligencia artificial (AI). 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 se debería hacer algo.

orígenes

PROLOG fue creado entre 1971 y 1973 por Philippe Roussel y Alain Colmerauer como un lenguaje de desarrollo práctico basado en la idea de razonamiento deductivo automatizado. Las fórmulas de lenguaje permitido ser interpretados de una manera tal 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 aplicaciones 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 creado una arquitectura de máquina llamada "máquina abstracta", que podría guiar a las aplicaciones de PROLOG. Llamada la "máquina abstracta de Warren" (WAM), 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 de programación basado en la lógica original, que ha permitido adiciones a bases de datos relacionales para crear una nueva forma de base de datos mencionada bases de datos como dedutive. Desde la década de 1980 en adelante, que influyó en la formación de los sistemas inteligentes de computación, la programación lógica limitación, la programación lógica inductiva y aprendizaje automático.