manual prolog

UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA
Programación Lógica + Manual de laboratorio + Dr. Antonio Rodríguez Díaz

UNIDAD 1 - PROLOG
1.1 INTRODUCCIÓN.
Prolog representa el lenguaje principal en la categoría de Programación
Lógica. A diferencia de otros lenguajes, Prolog no es un lenguaje de
programación para usos generales, sino que esta orientado a resolver
problemas usando el cálculo depredicados. Las aplicaciones de Prolog
provienen en general de dos dominios distintos:
Preguntas a bases de datos: Las bases de datos modernas indican
típicamente relaciones entre los elementos que están guardados en la base de
datos. Pero no todas estas relaciones se pueden indicar. Por ejemplo, en
una línea aérea puede haber entradas que indiquen números de vuelo,
ubicación, hora desalida, ubicación y hora de llegada. Sin embargo, si un
individuo necesita hacer un viaje que requiera cambiar de avión en algún punto
intermedio, es probable que la relación no este especificada en forma explícita.
Pruebas matemáticas. También se pueden especificar las relaciones entre
objetos matemáticos a través de una serie de reglas y sería deseable un
mecanismo para generar pruebas deteoremas a partir de este modelo. Aunque
la búsqueda ascendente inherente en LISP da cabida a la construcción de de
sistemas generadores de pruebas, seria eficaz un lenguaje orientado a mayor
grado hacia la prueba de propiedades de relaciones.
Estas dos aplicaciones son similares y se pueden resolver usando Prolog .El
objetivo para Prolog era proporcionar las especificaciones de una solución ypermitir que la computadora dedujera la secuencia de ejecución para esa
solución, en vez de especificar un algoritmo para la solución de un problema,
como es el caso normal de casi todos los lenguajes.
1.2 HISTORIA.
El desarrollo de Prolog se inicio en 1970 con Alain Coulmeauer y Philippe
Roussel, quienes estaban interesados en desarrollar un lenguaje para hacer
deducciones a partir de texto. Elnombre corresponde a "PROgramming in
Logic” (Programación en lógica). Prolog fue desarrollado en Marsella, Francia,
en 1972. El principio de resolución de Kowalski, de la Universidad de
Edimburgo pareció un modelo apropiado para desarrollar sobre el mecanismo
de inferencia. Con la limitación de la resolución de cláusulas de Horn, la
unificación condujo a un sistema eficaz donde el nodeterminismo inherente de
la resolución se manejó por medio de un proceso de exploración a la inversa, el
cual se podía implementar con facilidad.
La primera implementación de Prolog se completó en 1972 usando el
compilador de ALGOL W de Wirth y los aspectos básicos del lenguaje actual se
concluyeron en 1973. El uso de Prolog se extendió gradualmente entre quienes

1

UNIVERSIDAD AUTÓNOMA DEBAJA CALIFORNIA
Programación Lógica + Manual de laboratorio + Dr. Antonio Rodríguez Díaz

se dedicaban a la programación lógica principalmente por contacto personal y
no a través de una comercialización del producto. Existen varias versiones
diferentes, aunque bastante similares. Aunque no hay un estándar del Prolog,
la versión desarrollada en la Universidad de Edimburgo ha llegado a serutilizada ampliamente. El uso de este lenguaje no se extendió sino hasta los
años ochenta. La falta de desarrollos de aplicaciones eficaces de Prolog inhibió
su difusión.
1.3 BREVE PERSPECTIVA DEL LENGUAJE.
Un programa en Prolog se compone de una serie de hechos, relaciones
concretas entre objetos de datos (hechos) y un conjunto de reglas, es decir, un
patrón de relaciones entre los objetos dela base de datos .Estos hechos y
reglas se introducen en la base de datos a través de una operación de
consulta.
Un programa se ejecuta cuando el usuario introduce una pregunta un conjunto
de términos que deben ser todos ciertos. Los hechos y las reglas de la base de
datos se usan para determinar cuáles sustituciones de variables de la pregunta
(llamadas unificación) son congruentes con la...