%Lab01:
%fakty
rodzic(marek, maciej).
rodzic(marek, natalia).
rodzic(ela, maciej).
rodzic(ela, natalia).
rodzic(jadwiga, marek).
rodzic(jadwiga, waldek).
rodzic(jadwiga, ula).
rodzic(jadwiga, elau).
rodzic(jan, marek).
rodzic(jan, waldek).
rodzic(jan, ula).
rodzic(jan, elau).
rodzic(celina, ela).
rodzic(celina, leszek).
rodzic(celina, marekp).
rodzic(stefan, ela).
rodzic(stefan, leszek).
rodzic(stefan, marekp).
rodzic(waldek, gosia).
rodzic(waldek, beata).
rodzic(hanna, gosia).
rodzic(hanna, beata).
rodzic(elau, rafal).
rodzic(elau, ola).
rodzic(elau, bartek).
rodzic(elau, michal).
rodzic(elau, magda).
rodzic(mietek, rafal).
rodzic(mietek, ola).
rodzic(mietek, bartek).
rodzic(mietek, michal).
rodzic(mietek, magda).
rodzic(ula, kasia).
rodzic(ula, iza).
rodzic(andrzej, kasia).
rodzic(andrzej, iza).

mezczyzna(maciej).
mezczyzna(marek).
mezczyzna(waldek).
mezczyzna(stefan).
mezczyzna(jan).
mezczyzna(leszek).
mezczyzna(marekp).
mezczyzna(mietek).
mezczyzna(andrzej).
mezczyzna(rafal).

%reguly/relacje
kobieta(X):- \+(mezczyzna(X)).
dziecko(X,Y):-rodzic(Y, X).
para(X,Y):-rodzic(X,Z),rodzic(Y,Z),X\=Y.
corka(C, X):-rodzic(X,C),kobieta(C).
syn(S, X):-rodzic(X,S),mezczyzna(S).
ojciec(O, X):-rodzic(O,X),mezczyzna(O).
matka(M, X):-rodzic(M,X),kobieta(M).
rodzenstwo(X,Y):-rodzic(A,X),rodzic(A,Y),X\=Y.
brat(B,Y):-rodzenstwo(B,Y), mezczyzna(B).
siostra(S,Y):-rodzenstwo(S,Y), kobieta(S).
maz(M, Y):-para(M, Y), mezczyzna(M).
zona(Z, Y):-para(Z, Y), kobieta(Z).
bratowa(B, Y):-zona(B, X),brat(X,Y).
bratanica(B, Y):-corka(B, X), brat(X, Y).
stryj(S, Y):-brat(S, X), ojciec(X, Y).
szwagier(S, Y):-(maz(S, X), siostra(X, Y));(brat(S, X), zona(X, Y)).
szwagierka(S, Y):-siostra(S, X), zona(X, Y).
szwagierka(S, Y):-siostra(S, X), maz(X, Y).
wuj(W, Z):-(brat(W, X), matka(X, Z));(maz(W, X), siostra(X, Y), matka(Y, Z)).
siostrzenica(S, Y):-corka(S, X), siostra(X, Y).
siostrzeniec(S, Y):-syn(S, X), siostra(X,Y).
bratanek(B, Y):-syn(B,X), brat(X,Y).
synowa(S, Y):-zona(S,X), syn(X, Y).
ziec(Z, Y):-maz(Z, X), corka(X, Y).
tesc(T, Y):-ojciec(T, X),(maz(X, Y);zona(X, Y)).
tesciowa(T, Y):-matka(T, X),(maz(X, Y);zona(X, Y)).