Untitled

rodzice(jan,ewa,adam,m).
rodzice(jan,ewa,maria,k).
rodzice(adam,halina,monika,k).
rodzice(adam,halina,norbert,m).
rodzice(piotr,maria,krzysztof,m).
ojciec(edward,halina,k).
matka(monika,maciej,m).

rodzic(R,X):-rodzice(R,_,X,_);rodzice(_,R,X,_);matka(R,X,_);ojciec(R,X,_).
mezczyzna(X):-rodzice(_,_,X,m).
kobieta(X):-rodzice(_,_,X,k).
ojciec(O,D):-rodzice(O,_,D,_);ojciec(O,D,_).
matka(M,D):-rodzice(_,M,D,_);matka(M,D,_).
brat(X,Y):-rodzic(R,X),rodzic(R,Y),mezczyzna(X),X\==Y.
siostra(X,Y):-rodzic(R,X),rodzic(R,Y),kobieta(X),X\==Y.
dziadek(X,Y):-rodzic(R,Y),ojciec(X,R),X\==Y.
babcia(B,W):-rodzic(R,W),matka(B,R),B\==W.
syn(S,R):-ojciec(R,S);matka(R,S),mezczyzna(S).
corka(C,R):-ojciec(R,C);matka(R,C),kobieta(C).
dziecko(D,R):-rodzic(R,D).
stryj(S,D):-ojciec(O,D),brat(S,O).
wuj(W,D):-matka(M,D),brat(W,M).