muz(adam).
muz(jan).
muz(martin).
muz(petr).
muz(vojtech).

zena(alena).
zena(martina).
zena(petra).

% rodic(R, D) :- R je rodicem D.
rodic(adam, martin).
rodic(adam, jan).

rodic(jan, martina).
rodic(alena, martina).

rodic(petra, adam).
rodic(petr, alena).

% otec(O, D) :- O je otcem D.
otec(Otec, Dite) :- rodic(Otec, Dite), muz(Otec).
% otec(S, R) :- S je synem R.
syn(Syn, Rodic) :- rodic(Rodic, Syn), muz(Syn).

sourozenec(X, Y) :- rodic(R, X), rodic(R, Y), X \= Y.

predek(A, S) :- rodic(A, S). predek(A, S) :- rodic(A, A2), predek(A2, S).