¿Qué es el lenguaje Prolog?
Es
un lenguaje de programación lógico e interpretado usado
habitualmente en el campo de la Inteligencia artificial.
Historia
Prolog
es un lenguaje de programación simple pero poderoso desarrollado en
la Universidad de Aix-Marseille (Marsella, Francia) por los
profesores Alain Colmerauer y Philippe Roussel, como una
herramienta práctica para programación lógica. 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 en la 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 Robert Kowalski 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 fue programada 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 instrucciones de una máquina abstracta denominada
Warren Abstract Machine, o abreviadamente, WAM. Desde entonces Prolog es un
lenguaje semi-interpretado.
Si
bien en un principio se trataba de un lenguaje de uso reducido, la aparición de
intérpretes del mismo para microordenadores de 8 bits (ej: micro-PROLOG) y para
ordenadores domésticos de 16 bits (ej: Turbo PROLOG de Borland, entre
otros muchos) a lo largo de la década de 1980 contribuyó notablemente
a su popularización.Otro importante factor en su difusión fue la adopción del
mismo para el desarrollo del proyecto de la quinta generación de computadoras a
principios de la década de los 1980, en cuyo contexto se desarrolló la
implementación paralelizada del lenguaje llamada KL1 y del que deriva parte del
desarrollo moderno de Prolog. Las primeras versiones del lenguaje diferían, en
sus diferentes implementaciones, en muchos aspectos de sus sintaxis, empleándose
mayormente como forma normalizada el dialecto propuesto por la Universidad
de Edimburgo , hasta que en 1995 se estableció un estándar
ISO (ISO/IEC 13211-1), llamado ISO-Prolog.
No hay comentarios.:
Publicar un comentario