kobieta(ewa). kobieta(ala). kobieta(ola). kobieta(marta). kobieta(anna). kobieta(iza). mezczyzna(adam). mezczyzna(piotr). mezczyzna(pawel). mezczyzna(roman). mezczyzna(tomasz). mezczyzna(jan). rodzic(adam,ala). rodzic(adam,piotr). rodzic(adam,ola). rodzic(adam,pawel). rodzic(ewa,ala). rodzic(ewa,piotr). rodzic(ewa,ola). rodzic(ewa,pawel). rodzic(pawel,iza). rodzic(ola,roman). rodzic(anna,iza). rodzic(tomasz,roman). rodzic(jan,tomasz). rodzic(jan,anna). rodzic(marta,tomasz). rodzic(marta,anna). matka(X,Y):- rodzic(X,Y), kobieta(X). ojciec(X,Y):- rodzic(X,Y), mezczyzna(X). syn(X,Y):- rodzic(Y,X), mezczyzna(X). corka(X,Y):- rodzic(Y,X), kobieta(X). dziadek(X,Y):- ojciec(X,Y) mezczyzna(X). babcia(X,Y):- matka(X,Y), kobieta(X). brat(X,Y):- rodzic(Z,X), rodzic(Z,Y), mezczyzna(X), X\=Y. siostra(X,Y):- rodzic(Z,X), rodzic(Z,Y), kobieta(X), X\=Y. rodzenstwo(X,Y):- siostra(X,Y). rodzenstwo(X,Y):- brat(X,Y). ciocia(X,Y):- rodzic(Z,Y), siostra(X,Z). wuja(X,Y):- rodzic(Z,Y), brat(X,Z). kuzyn(X,Y):- rodzic(A,Y), rodzic(B,X), rodzenstwo(A,B). przodek(X,Y) :- rodzic(X,Y). przodek(X,Y):- rodzic(X,Z), przodek(Z,Y).