martes, 19 de abril de 2016

Árbol Genealógico Prolog

esposo(sara,atanacio).
esposo(elba,elfago).
esposo(elsa,santiago).

padre(yessica,santiago).
padre(rodrigo,santiago).
padre(santiago,elfago).
padre(elsa,atanacio).
padre(alondra,rodrigo).

madre(yessica,elsa).
madre(rodrigo,elsa).
madre(santiago,elba).
madre(elsa,sara).


hermano(elsa,virginia).


hermano(X,Y) :-
padre(X,Z),
padre(Y,Z).
hermano(X,Y) :-
madre(X,W),
madre(Y,W).

abuelo(X,Y) :-
padre(X,Z),
padre(Z,Y).

tia(X,Y) :-
madre(X,Z),
hermano(Z,Y).

sobrino(X,Y) :-
hermano(X,Z),
padre(Y,Z).

No hay comentarios:

Publicar un comentario