Tutorial de PROLOG

Sistemas Inteligentes de Gestión

Tutorial de PROLOG

© Juan Carlos Cubero & Fernando Berzal

Sistemas Inteligentes de Gestión: PROLOG 1

Índice
Programación de sistemas expertos en PROLOG ............................................................ 3
El lenguaje PROLOG ....................................................................................................... 5
Símbolosdel Lenguaje ................................................................................................. 5
Hechos .......................................................................................................................... 6
Preguntas u objetivos .................................................................................................... 6
Especificación de hechos.............................................................................................. 9
Estrategia de control de PROLOG ................................................................................. 11
Operadores predefinidos ................................................................................................. 14
Reglas............................................................................................................................. 15
Representación de reglas ............................................................................................ 15
Formato de las Reglas ................................................................................................ 16
Backtracking en las reglas.......................................................................................... 18
Eficiencia en el uso de reglas ..................................................................................... 24
Uso de la variable anónima ........................................................................................ 25
Unificación (=)............................................................................................................... 27
Aritmética ....................................................................................................................... 29
Recursividad ................................................................................................................... 31
Listas............................................................................................................................... 34
Modificación de la memoria de trabajo .......................................................................... 38
El corte (!)....................................................................................................................... 39
El operador de negación (not) ........................................................................................ 44Sistemas Inteligentes de Gestión: PROLOG 2

Programación de sistemas expertos en PROLOG
El PROLOG, cuyo nombre proviene del francés “PROgrammation en
LOGique”, es un lenguaje de programación declarativa muy utilizado en Inteligencia
Artificial, principalmente en Europa.
El lenguaje fue a principios de los años 70 en la Universidad de Aix-Marseille
(Marsella, Francia) por los profesoresAlain Colmerauer y Philippe Roussel, como
resultado de un proyecto de procesamiento de lenguajes naturales. Alain Colmerauer y
Robert Pasero trabajaban en la parte del procesamiento 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, cuya versión definitiva apareció en 1972.
La primera versión de PROLOG fue programada en ALGOL W e, inicialmente,
se trataba de un lenguaje totalmente interpretado. 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...