Datalog - rodinné vztahy

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). 

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).
 

# query
# manzelka(michaela,josef)?
# sestra(jitka,michaela)?
# svagrova(A,B)?