Ejercicios de Prolog

1. EJERCICIO 1
ÁRBOL GENEALÓGICO: IDENTIFICAR PARENTESCO FAMILIAR
%HECHOS
papa(walterio, ceci).
papa(walterio, karen).
papa(walterio, carlos).
papa(carlos, benjamin).
mama(esperanza, ceci).
mama(esperanza, karen).
mama(esperanza, carlos).
mama(ceci, domenican).
mama(ceci, geovanna).
mama(ceci, rafael).
mama(karen, ariana).
%HECHOS
abuelo(X,Y):-papa(X,Z),papa(Z,Y).
abuelo(X,Y):-papa(X,Z),mama(Z,Y).
abuelo(X,Y):-mama(X,Z),papa(Z,Y).
abuelo(X,Y):-mama(X,Z),mama(Z,Y).
nieto(X,Y):-abuelo(Y,X).
hermano(X,Y):-papa(Z,X),papa(Z,Y).
hermano(X,Y):-mama(Z,X),mama(Z,Y).
sobrino(X,Y):-hermano(Z,Y),papa(Z,X).
sobrino(X,Y):-hermano(Z,Y),mama(Z,X).
tio(X,Y):-sobrino(Y,X).
primo(X,Y):-tio(X,Z),papa(Z,Y),not(X=Y).
primo(X,Y):-tio(X,Z),mama(Z,Y),not(X=Y).

2. EJERCICIO 2
%Madre...donde (A,B) --- B es Madre de A
mama(domenica, cecibel).
mama(geovanna, cecibel).
mama(cecibel, esperanza).
mama(karen, espezanza).
mama(ariana, karen).
% Aahora vamos a definir las condiciones que 2 de las individuas sean Hermanas
% Hermanas...donde (A,B) --- A es Hermana de B
hermana(A,B):-
mama(A,M),
mama(B,M),
A == B.
% Definir el parentesco de Abuela-Nieta
% Nieto....donde (A,B) --- B es abuela de A
nieta(A,B):-
mama(A,M),
mama(M,B).

3. EJERCICIO 3
ANIMALES
%HECHOS
animal(michifuz).
animal(tweety).
animal(fido).
animal(flipper).
animal(cuchi).
mamiferos(gatos,michifuz).
mamiferos(perros,fido).
mamiferos(delfines,flipper).
aves(canarios,tweety).
felinos(gatos,michifuz).
pez(pezespada,cuchi).
puede_volar(aves,tweety).
puede_caminar(mamiferos,perros).
puede_caminar(mamiferos,gatos).
puede_caminar(mamiferos,flipper).
puede_caminar(felinos,gatos).
puede_correr(gatos,michifuz).
puede_nadar(peces,cuchi).
puede_nadar(delfines,flipper).

4. %REGLAS
animal(X):-puede_volar(X,Y),es_ave(X,Y).
animal(X):-puede_caminar(X,Y),es_ave(X,Y).
animal(X):-puede_correr(X,Y),es_ave(X,Y).
animal(X):-puede_nadar(X,Y),es_ave(X,Y).
animal(X):-puede_volar(X,Y),(X,Y).
animal(X):-puede_caminar(X,Y),es_ave(X,Y).
animal(X):-puede_correr(X,Y),es_ave(X,Y).
animal(X):-puede_nadar(X,Y),es_ave(X,Y).