Recursividad en Prolog

Presentation on theme: "Recursividad en Prolog"— Presentation transcript:

1 Recursividad en Prolog
Programación Lógica Recursividad en Prolog

2 Relación ancestro

3 Relación Ancestro ancestro(X,Y):-parent(X,Y).
ancestro(X,Y):-parent(X,Z),ancestro(Z,Y).

4 Números naturales 1,2,3,4,5,…,… sucesor(X,Y):-Y is X+1.
Definir una relación recursiva para que dado un número indique si es un número natural o no

5 Números naturales natural_number(0).
natural_number(X):-natural_number(Y),sucesor(Y,X).

6 Más sobre recursividad
Función módulo Factorial(X,Y)

7 Enigma de Einstein 1- Hay cinco casas cada una con un color distinto.
2- En cada casa vive una persona de diferente nacionalidad 3- Cada una de las personas bebe una bebida distinta, fuma una marca de tabaco distinta y tiene una mascota distinta 4- La pregunta es: ¿Quién tiene un pez como mascota? - El noruego vive en la primera casa. - La persona que vive en la casa del medio bebe leche - El propietario de la casa amarilla fuma Dunhill. - El propietario de la casa verde bebe café. - El danés bebe té. - El alemán fuma Prince. - El sueco tiene un perro de mascota. - El que fuma BlueMaster bebe cerveza. - El que fuma Pall Mall tiene un pájaro de mascota. - La casa verde está la izquierda de la casa blanca. - El inglés vive en la casa roja. - El que fuma Blend vive al lado del que cuida gatos. - El que cuida caballos vive al lado del que fuma Dunhill. - El que fuma Blend tiene un vecino que bebe agua. - El noruego vive al lado de la casa azul.