- 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).