1. INTRODUCCIÓN
Prolog es un lenguaje de programación lógica, su primera versión fue
desarrollada a principios de la década de 70’ por Colmerauer en la universidad
de Marsella, está orientado a la especificación de relaciones para responder
consultas, en ese sentido Prolog es similar a un sistema de base de datos,
aunque en el contexto de la inteligencia artificial se prefiere hablar de bases de
conocimiento, enfatizando la complejidad estructural de los datos y de las
deducciones que se pueden obtener de ellos.
Prolog es un lenguaje declarativo basado en reglas de la lógica, lo que lo
diferencia enormemente de otros lenguajes más populares tales
como Fortran, Pascal, C o Java.
MARCO TEÓRICO
PROGRAMACIÓN EN PROLOG
Existen dos tipos de cláusulas: Hechos y Reglas. Una regla es del tipo:
Cabeza :- Cuerpo.
Se lee: "La cabeza es verdad si el cuerpo es verdad".
El cuerpo de una regla consiste en llamadas a predicados, que son llamados los
objetivos de las reglas.
El predicado ,/2 (es decir, un operador de paridad 2 (que recibe 2 argumentos) y
de nombre , ) denota conjunción de objetivos, y el
operador ;/2 denota disyunción. Conjunciones y disyunciones pueden sólo
aparecer en el cuerpo, no en la cabeza de la regla. En realidad la disyunción no
es un operador básico o predefinido, sino que está meta-programado así:
';' (A,_) :- A.
';' (_,B) :- B.
Las cláusulas sin cuerpo (es decir, antecedente) son llamados hechos porque
siempre son ciertos. Un ejemplo de un hecho es:
gato(pepe).
2. Que es equivalente a la regla:
gato(pepe) :- true.
El predicado predefinido true/0 siempre es verdad.
Dado el hecho anterior, se puede preguntar:
¿ es pepe un gato?
?- gato(pepe).
Yes
¿ Qué cosas son gatos?
?- gato(X).
X = pepe
CONCLUSIÓN
Prolog permite describir estructuras de datos y objetivos por ser un lenguaje
declarativo. El Lenguaje Prolog tiene una estructura de programación orientada
a dar soluciones a problemas del área de aplicación de la Inteligencia Artificial
mediante estructuras de programación orientadas a la resolución de problemas
de una manera fácil por medio de hechos y reglas.
BIGLIOGRAFÍA
Colmerauer, Alain y Roussel, Philippe. La naissance de Prolog, julio de
2010.
BERGIN, Thomas J. y GIBSON, Richard G., History of Programming
Languages II, New York, ACM Press, Addison-Wesley, 2011, ISBN 0-201-
89502-1
Kowalski, R. A. The early years of logic programming.El lenguaje PROLOG,
artículo en el periódico ABC del 12 de octubre de 2010.