muz(iluvatar).
muz(elros).
muz(elrond).
muz(john).
muz(paul).
muz(george).
muz(ringo).

zena(clare).
zena(lucy).
zena(mary).
zena(jane).
zena(linda).

otec(iluvatar,elrond).
otec(iluvatar,elros).
otec(elros,clare).
otec(elros,lucy).
otec(elrond,paul).
otec(elrond,george).
otec(paul,john).
otec(george,mary).
otec(john,ringo).
otec(john,jane).

matka(clare,john).
matka(lucy,mary).
matka(linda,ringo).
matka(mary,jane).


rodic(X,Y) :- otec(X,Y).
rodic(X,Y) :- matka(X,Y).

je_matka(X) :- matka(X,_).

%tyto pravidla doplnte
sourozenec(X,Y) :- rodic(R, X), rodic(R, Y), X \== Y.
teta(X,Y) :- sestra(X , R), rodic(R, Y).
sestra(X,Y) :- zena(X), sourozenec(X, Y).
deda(X,Y) :- muz(X), rodic(R, Y), rodic(X, R).