Tugurium/GTI

Glosario Terminología Informática

Prolog

0 Programation Logique
Programación Lógica
1997-03-27

0 Prolog
Lenguaje de programación para inteligencia artificial que hace uso de la lógica de predicados. Fue desarrollado por Alain Colmerauer y Philippe Roussel en la Universidad de Marsella en 1972. El primer compilador lo construyó el matemático Robert Kowalski, del Imperial College de Londres.
Es el lenguaje declarativo más utilizado en aplicaciones de Inteligencia Artificial en Europa y Japón. Un programa en Prolog no es más que un conjunto de claúsulas de Horn que representan hechos y reglas. El corte de una parte inexplorada de un árbol de búsqueda Prolog, puede usarse para implementar una forma de negación, algo que las claúsulas de Horn no pueden hacer. La ejecución de un programa se sustituye por la realización de una pregunta o consulta sobre los objetos y sus relaciones. El intérprete o compilador intenta entonces contestar esta consulta construyendo un árbol de búsqueda.
Existen tres dialectos diferentes: el original de Marsella, el de la Universidad de Edimburgo en Escocia y el del Imperial College de Londres. Actualmente se considera como estándar el Prolog de Edimburgo.
La versión del Hola Mundo en Prolog:

hello_world :-
write("Hello, World!"), nl.
2004-04-23
1972
Desarrollo del lenguaje Prolog por Alain Colmerauer y Philippe Roussel en la Universidad de Marsella (Francia).