rodina.dlg

rodic(josef, tana).
rodic(josef, sona).
rodic(josef, petr).
rodic(michaela, tana).
rodic(michaela, sona).
rodic(eva, michaela).
rodic(pavel,michaela).
rodic(miluska,josef).
rodic(josefstarsi,josef).
rodic(pavel, jitka).
rodic(eva, jitka).

muz(josef).
muz(pavel).
muz(josefstarsi).
muz(petr).

zena(micheala).
zena(sona).
zena(tana).
zena(eva).
zena(jitka).

manzel(josef,michaela).
manzel(pavel,eva).
manzelka(A, B) :- manzel(B, A).

manzele(A, B) :- manzel(A, B), !.
manzele(A, B) :- manzel(B, A).

predek(A, B) :- rodic(A, B).
predek(A, B) :- rodic(A, C),  predek(C, B).


otec(A, B) :- muz(A), rodic(A,B). 
dedecek(A,B) :- muz(A), rodic(A,C), rodic(C,B).

sourozenec(A,B):- rodic(C,A), rodic(C,B).
sestra(A,B):- sourozenec(A,B), zena(A).
bratr(A,B):- sourozenec(A,B), muz(A).

svagrova(A,B):- sestra(A,C),manzelka(C,B).