dont worry your a dream on the dance floor

El Lenguaje de
Programación
PROLOG

De M. Teresa Escrig:
A mi marido Pedro Martín,
que aunque físicamente ya no esté aquí,
sigue presente en mi corazón y en mi recuerdo.
A Daniel y a mis padres,
por su amor incondicional que me ha ayudado a superar momentos muy duros.

De Julio Pacheco:
A Sonia,
por la entrega que me hace poner en todo lo que vivimos juntos.

De Francisco Toledo:A Sergio y Mónica

Prefacio
Este libro ha nacido como resultado de ocho años de experiencia en la enseñanza
del lenguaje de programación PROLOG, impartida en cuarto curso de la carrera de
Ingeniería Informática de la Universidad Jaume I de Castellón.
La primera vez que me puse a programar en PROLOG, para el desarrollo de mi
tesis doctoral, recuerdo que me fascinó la forma de trabajardel lenguaje y los
resultados que se podían obtener con él. Claro que rompía los esquemas de otros
lenguajes de programación que conocía, como el Pascal y el C, lenguajes orientados
al procedimiento a seguir para resolver el problema. PROLOG tiene un punto de
vista más descriptivo o declarativo, es decir, especifica aquello que se quiere
conseguir para resolver el problema, no cómo se va aresolver. En todos estos años
que llevo en la enseñanza de este lenguaje, eso mismo les ha pasado a todos mis
alumnos y por eso sigo disfrutando de su enseñanza. Al finalizar las tres horas de
prácticas semanales, tengo que invitar a los alumnos, lo más amablemente posible y
con una sonrisa de satisfacción y complicidad en la boca, a que abandonen la sala
de ordenadores porque otro profesor consus alumnos están esperando en la puerta.
PROLOG es un lenguaje de programación especialmente indicado para modelar
problemas que impliquen objetos y las relaciones entre ellos. Está basado en los
siguientes mecanismos básicos: unificación, estructuras de datos basadas en árboles
y backtracking automático. La sintaxis del lenguaje incluye la declaración de
hechos, preguntas y reglas. Con ladefinición de este pequeño conjunto de
conceptos se consigue un lenguaje de programación muy potente y flexible,
ampliamente utilizado (junto con el lenguaje de programación LISP) en
aplicaciones que utilizan técnicas de Inteligencia Artificial.
PROLOG tiene sus fundamentos en la lógica matemática. En el plan de estudios
vigente en nuestra Universidad desde su comienzo en 1991, tanto ellenguaje
PROLOG como sus fundamentos lógicos, se estudian en la misma asignatura
“Lenguajes de Programación III”, en cuarto curso de la Ingeniería Informática. Los
fundamentos lógicos se ven en la parte teórica, en 25 horas, y el lenguaje PROLOG
en la parte de laboratorio, en 50 horas. Ambas partes comienzan a la vez, aunque la
parte teórica sea el fundamento de la parte práctica de la asignatura.Sin embargo,
como Ivan Bratko apunta en su libro “PROLOG. Programming for Artificial
Intelligence”: una introducción matemática fuerte no es conveniente si el propósito
es enseñar PROLOG como una herramienta de programación práctica. Así que el
presente libro sólo contiene los principios de enseñanza del PROLOG y sus
principales aplicaciones, tal y como son utilizadas en parte práctica dedicha
asignatura. Otro volumen de este mismo libro titulado “Principios de la
Programación Lógica” contiene los fundamentos en lógica de primer orden, tal y
como son utilizados en la teoría de la misma asignatura.
En este momento y hasta que se publique, este libro de teoría puede conseguirse en
la página web del grupo de investigación “Intelligent Control Systems” de la

I

PrefacioUniversidad “Jaume I” (http://ics.uji.es). También están disponibles en esta página
una selección de proyectos resueltos por los alumnos.
El contenido del libro se puede estructurar en tres partes. La parte I la forman los
capítulos 1, 2, 3 y 4 que constituyen la base para el aprendizaje del lenguaje
PROLOG, incluyendo el manejo de listas y el corte en PROLOG. La parte II está
compuesta por los...