Diseñado en 1970 en la universidad de Aix-Marseille por los profesores Alain Colmerauer y PhillipeRoussel, su nombre proviene del francesProgramation et Logique, es popular en los círculos de interés en Inteligencia Artificial.
Inicialmente era un lenguaje interpretado, hasta que a mediados de la década de los 70's David Warren desarrollo un compilador, que convertía el programa en Prolog a un conjunto de instrucciones de una máquina abstracta denominada Warren Abstract Machine, o WAM.Su sintaxis y semántica son considerados simples y claros, su paradigma de programación es el declarativo y un programa en Prolog se compone de cláusulas que constituyen reglas del tipo modus ponens, es decir, "Si es verdad el antecendente, entonces es verdad el consecuente". No obstante, la forma de escribir las cláusulas es al contrario de lo habitual. Primero se escribe el consecuente y luego el antecedente.
No hay comentarios:
Publicar un comentario