Introducción
- 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.