muz(tomas).
muz(petr).
muz(jan).
muz(jiri).
muz(josef).
muz(lukas).
muz(bartolomej).
zena(lucie).
zena(zdislava).
zena(petra).
zena(hana).
zena(johana).
zena(anna).
rodic(tomas,josef).
rodic(tomas,anna).
rodic(lucie,josef).
rodic(lucie,anna).
rodic(petr,johana).
rodic(petr,bartolomej).
rodic(zdislava,johana).
rodic(zdislava,bartolomej).
rodic(jan,lukas).
rodic(petra,lukas).
rodic(jiri,tomas).
rodic(jiri,petr).
rodic(jiri,jan).
rodic(hana,tomas).
rodic(hana,petr).
rodic(hana,jan).

otec(X,Y) :- rodic(X,Y), muz(X).
matka(X,Y) :- rodic(X,Y), zena(X).
dite(X,Y) :- rodic(Y,X).
sourozenec(X,Y) :- rodic(Z,X), rodic (Z,Y).
bratr(X,Y) :- sourozenec(X,Y), muz(X).
sestra(X,Y) :- sourozenec(X,Y), zena(X).
manzel(X,Y) :- dite(Z,X), dite(Z,Y), muz(X).
manzelka(X,Y) :- dite(Z,X), dite(Z,Y),zena(X).


