Prolog

PROGRAMACIÓN LÓGICA
El lenguaje de programación PROLOG (“PROgrammation en LOGique”) fue
creado por Alain Colmerauer y sus colaboradores alrededor de 1970 en la Universidad
de Marseille-Aix1, sibien uno de los principales protagonistas de su desarrollo y
promoción fue Robert Kowalski2 de la Universidad de Edimburgh. Las investigaciones
de Kowalski proporcionaron el marco teórico, mientrasque los trabajos de Colmerauer
dieron origen al actual lenguaje de programación, construyendo el primer interprete
Prolog. David Warren3, de la Universidad de Edimburgh, desarrolló el primercompilador de Prolog (WAM – “Warren Abstract Machine”). Se pretendía usar la lógica
formal como base para un lenguaje de programación, es decir, era un primer intento de
diseñar un lenguaje de programaciónque posibilitara al programador especificar sus
problemas en lógica. Lo que lo diferencia de los demás es el énfasis sobre la
especificación del problema. Es un lenguaje para el procesamiento deinformación
simbólica. PROLOG es una realización aproximada del modelo de computación de
Programación Lógica sobre una máquina secuencial. Desde luego, no es la única
realización posible, pero sí esla mejor elección práctica, ya que equilibra por un lado la
preservación de las propiedades del modelo abstracto de Programación Lógica y por el
otro lado consigue que la implementación seaeficiente.
El lenguaje PROLOG juega un importante papel dentro de la Inteligencia
Artificial, y se propuso como el lenguaje nativo de las máquinas de la quinta generación
("Fifth Generation KernelLanguage", FGKL) que quería que fueran Sistemas de
Procesamiento de Conocimiento. La expansión y el uso de este lenguaje propició la
aparición de la normalización del lenguaje Prolog con la norma ISO(propuesta de junio
de 1993).
PROLOG es un lenguaje de programación para ordenadores que se basa en el
lenguaje de la Lógica de Primer Orden y que se utiliza para resolver problemas en los
que entran...