prolog

Introducción a Prolog

Ing. Bruno López Takeyas

INTRODUCCIÓN A PROLOG
• Lenguaje

declarativo

(opuesto

a

procedimentales) basado en reglas de la
lógica
• PROLOG = “Programming inLogic”
• Originado en Europa a principios de los
70’s por Alain Colmerauer (Universidad
de Marsella, Francia)

Programas
en Prolog

Hechos
Reglas

• La información se extrae por medio deconsultas
http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Introducción a Prolog

Ing. Bruno López Takeyas

HECHOS
• Proposiciones:
o “Juan es un programador”
o“El león es un mamífero”

programador(juan).
mamifero(leon).
• Nótese

que

se

anota

primero

el

predicado y entre paréntesis el sujeto de
la proposición

SINTAXIS
• Variables:Mayúsculas.
• Constantes: Minúsculas.
• Cada afirmación debe terminar con un
punto.
• No se aceptan constantes con espacios
en blanco, en lugar de ello se usa elhttp://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Introducción a Prolog

guión

Ing. Bruno López Takeyas

bajo

(_).

P.

ejem.

primer_ministro.
• Los

comentarios

empiezancon

el

símbolo %

RELACIONES
o “Juan es el padre de Miguel”

padre(juan, miguel).

REGLAS
• Sentencias condicionales
• “Si el león come carne, entonces es
carnívoro”carnivoro(leon):- comecarne(leon)

http://www.itnuevolaredo.edu.mx/takeyas

Email: takeyas@itnuevolaredo.edu.mx

Introducción a Prolog

Ing. Bruno López Takeyas

CONJUNCIONES
• Emplea el operador lógicoAND
• Se utiliza la coma ( , )

tia(X,Y):-hermana(X,Z),padre(Z,Y).
AND

Regla
(Condición)

DISYUNCIONES
• Emplea el operador lógico OR
• Se utiliza el punto y coma ( ; )hijo(X,Y):-padre(Y,X);madre(Y,X).
Regla
(Condición)

http://www.itnuevolaredo.edu.mx/takeyas

OR

Email: takeyas@itnuevolaredo.edu.mx

Introducción a Prolog

Ing. Bruno López Takeyas

CONSULTAS
• No...