Lenguaje Prolog

Prolog
Historia
Se trata de un lenguaje de programación ideado a principios de los años 70 en la Universidad de Aix-Marseille I (Marsella, Francia) por los profesores Alain Colmerauer y PhilippeRoussel. Nació de un proyecto que no tenía como objetivo la implementación de un lenguaje de programación, sino el procesamiento de lenguajes naturales. Alain Colmerauer y Robert Pasero trabajaban enla parte del procesado del lenguaje natural y Jean Trudel y Philippe Roussel en la parte de deducción e inferencia del sistema. Interesado por el método de resolución SL, Trudel persuadió a RobertKowalski para que se uniera al proyecto, dando lugar a una versión preliminar del lenguaje Prolog a finales de 1971 y apareciendo la versión definitiva en 1972. Esta primera versión de Prolog fueprogramada en ALGOL W.
Inicialmente se trataba de un lenguaje totalmente interpretado hasta que, en 1983, David H.D. Warren desarrolló un compilador capaz de traducir Prolog en un conjunto de instruccionesde una máquina abstracta denominada Warren Abstract Machine, o abreviadamente, WAM. Desde entonces Prolog es un lenguaje semi-interpretado.
Características
El sólido soporte matemático de PROLOG sehace evidente en el hecho de que gran parte de las cláusulas que conforman un programa corresponden, bien sea a expresiones de la lógica proposicional o a la de predicados de primer orden, para loscuales existe una clara semántica definida por las operaciones lógicas. Un programa se compone de un conjunto de hechos (cláusulas incondicionales) y reglas (cláusulas condicionales), sobre las cuales serealiza un proceso de inferencia que busca la verificación de determinados objetivos, lo que se constituye en su paradigma fundamental de computación. Bajo este enfoque un programa en PROLOG se puedeconsiderar como una teoría que representa el mundo que se está modelando, sobre la que se busca la demostración de teoremas (objetivos) que se desprendan de los axiomas y las reglas de derivación...