kobieta(teresa).
kobieta(ewa).
kobieta(marzena).
kobieta(zofia).
kobieta(malgorzata).
kobieta(maria).
kobieta(patrycja).
kobieta(karolina).


man(rafal).
man(zbigniew).
man(stanislaw).
man(marek).
man(mauro).
man(ryszard).
man(mateusz).


rodzic(zbigniew,rafal).
rodzic(teresa,rafal).
rodzic(zbigniew,marzena).
rodzic(teresa,marzena).
rodzic(stanislaw,zbigniew).
rodzic(zofia,zbigniew).
rodzic(marek,teresa).
rodzic(maria,teresa).
rodzic(marek,ewa).
rodzic(maria,ewa).
rodzic(marek,ryszard).
rodzic(maria,ryszard).
rodzic(ryszard,karolina).
rodzic(malgorzata,karolina).
rodzic(ryszard,mateusz).
rodzic(malgorzata,mateusz).
rodzic(ewa,patrycja).
rodzic(mauro,patrycja).


mama(Rodzic,Dziecko):-rodzic(Rodzic,Dziecko),
kobieta(Rodzic).

tata(Rodzic,Dziecko):-rodzic(Rodzic,Dziecko),
man(Rodzic).

syn(Rodzic,Dziecko):-rodzic(Rodzic,Dziecko),
man(Dziecko).

corka(Rodzic,Dziecko):-rodzic(Rodzic,Dziecko),
kobieta(Dziecko).

dziadek(Dziadek,Wnuk):-rodzic(Dziadek,Rodzic),
rodzic(Rodzic,Wnuk),
man(Dziadek).

babcia(Babcia,Wnuk):-rodzic(Babcia,Rodzic),
rodzic(Rodzic,Wnuk),
kobieta(Babcia).

malzenstwo(Osoba1,Osoba2):-rodzic(Osoba1,Dziecko),
rodzic(Osoba2,Dziecko),
Osoba1\=Osoba2.

brat_rodzony(Brat1,Brat2):-mama(Mama,Brat1),
mama(Mama,Brat2),
tata(Tata,Brat1),
tata(Tata,Brat2),
(man(Brat1);man(Brat2)),
Brat1\=Brat2.

siostra_rodzona(Siostra1,Siostra2):-mama(Mama,Siostra1),
mama(Mama,Siostra2),
tata(Tata,Siostra1),
tata(Tata,Siostra2),
(kobieta(Siostra1);kobieta(Siostra2)),
Siostra1\=Siostra2.

% stryj (rodzony) = brat ojca
stryj(Stryj,Bratanek):-brat_rodzony(Stryj,Tata),
tata(Tata,Bratanek).

% ciota (ojczysta) = siostra ojca
ciocia(Ciocia,Bratanek):-siostra_rodzona(Ciocia,Mama),
mama(Mama,Bratanek).

% wuj (rodzony) = brat matki
wuj(Wuj,Siostrzeniec):-brat_rodzony(Wuj,Mama),
mama(Mama,Siostrzeniec).

% ciota (macierzysta) = siostra matki
ciota(Ciota,Siostrzeniec):-siostra_rodzona(Ciota,Mama),
mama(Mama,Siostrzeniec).

% stryjna = żona brata ojca
stryjna(Zona,Wujek):-malzenstwo(Zona,Wujek),
kobieta(Zona).

% wujna = żona brata matki
wujna(Zona,Wujek):-malzenstwo(Zona,Wujek),
kobieta(Zona).

kuzynka(Kuzynka,Kuzyn):-rodzic(Ciocia,Kuzynka),
ciocia(Ciocia,Kuzyn),
kobieta(Kuzynka).

kuzyn(Kuzyn1,Kuzyn2):-rodzic(Ciocia,Kuzyn1),
ciocia(Ciocia,Kuzyn2),
man(Kuzyn1).