Recursividad en Prolog Programación Lógica Recursividad en Prolog
Relación ancestro
Relación Ancestro ancestro(X,Y):-parent(X,Y). ancestro(X,Y):-parent(X,Z),ancestro(Z,Y).
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
Números naturales natural_number(0). natural_number(X):-natural_number(Y),sucesor(Y,X).
Más sobre recursividad Función módulo Factorial(X,Y)
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.