projekt

rodzic(barbara,maja).
rodzic(barbara,zaneta).
rodzic(barbara,gerard).
rodzic(kazimierz,maja).
rodzic(kazimierz,zaneta).
rodzic(kazimierz,gerard).

rodzic(piotr,andrzej).
rodzic(natalia,andrzej).

rodzic(lena,jaroslaw).
rodzic(stefan,jaroslaw).
rodzic(zaneta,jarek).
rodzic(jaroslaw,jarek).

rodzic(andrzej,dominika).
rodzic(andrzej,dagmara).
rodzic(maja,dominika).
rodzic(maja,dagmara).

mezczyzna(andrzej).
mezczyzna(kazimierz).
mezczyzna(gerard).
mezczyzna(jarek).
mezczyzna(jaroslaw).
mezczyzna(piotr).
mezczyzna(stefan).

kobieta(dominika).
kobieta(dagmara).
kobieta(barbara).
kobieta(maja).
kobieta(zaneta).
kobieta(natalia).
kobieta(lena).


posiada(andrzej,pilka).
posiada(kazimierz,motocykl).
posiada(gerard,rower).
posiada(jarek,ksiazka).
posiada(jaroslaw,dzialka).
posiada(piotr,rower).
posiada(stefan,samochod).
posiada(dominika,motocykl).
posiada(dagmara,gitara).
posiada(barbara,ksiazka).
posiada(maja,dzialka).
posiada(zaneta,pilka).
posiada(natalia,rower).
posiada(lena,samochod).

szkola(andrzej,zawodowa).
szkola(kazimierz,zawodowa).
szkola(gerard,technikum).
szkola(jarek,liceum).
szkola(jaroslaw,zawodowa).
szkola(piotr,technikum).
szkola(stefan,liceum).
szkola(dominika,liceum).
szkola(dagmara,podstawowa).
szkola(barbara,technikum).
szkola(maja,liceum).
szkola(zaneta,technikum).
szkola(natalia,zawodowa).
szkola(lena,liceum).

lubi(andrzej,spacer).
lubi(kazimierz,odpoczywac).
lubi(gerard,komputer).
lubi(jarek,rowery).
lubi(jaroslaw,czytac).
lubi(piotr,grzyby).
lubi(stefan,spiewac).
lubi(dominika,rowery).
lubi(dagmara,czytac).
lubi(barbara,spiewac).
lubi(maja,grac).
lubi(zaneta,spacer).
lubi(natalia,grzyby).
lubi(lena,czytac).

podrozuje(andrzej,tak).
podrozuje(kazimierz,nie).
podrozuje(gerard,nie).
podrozuje(jarek,tak).
podrozuje(jaroslaw,nie).
podrozuje(piotr,tak).
podrozuje(stefan,tak).
podrozuje(dominika,tak).
podrozuje(dagmara,nie).
podrozuje(barbara,nie).
podrozuje(maja,tak).
podrozuje(zaneta,tak).
podrozuje(natalia,nie).
podrozuje(lena,nie).

graPilke(andrzej,tak).
graPilke(kazimierz,nie).
graPilke(gerard,nie).
graPilke(jarek,tak).
graPilke(jaroslaw,nie).
graPilke(piotr,tak).
graPilke(stefan,tak).
graPilke(dominika,tak).
graPilke(dagmara,nie).
graPilke(barbara,nie).
graPilke(maja,tak).
graPilke(zaneta,tak).
graPilke(natalia,nie).
graPilke(lena,nie).

wiek(andrzej,1969).
wiek(kazimierz,1949).
wiek(gerard,1980).
wiek(jarek,1992).
wiek(jaroslaw,1970).
wiek(piotr,1963).
wiek(stefan,1945).
wiek(dominika,1995).
wiek(dagmara,1992).
wiek(barbara,1960).
wiek(maja,1972).
wiek(zaneta,1970).
wiek(natalia,1961).
wiek(lena,1968).

rodzice(X, Y):- rodzic(X, Z), rodzic(Y, Z), X\=Y,!.
rodzenstwo(X, Y):- rodzic(Z, X), rodzic(Z, Y), X\=Y.

matka(X, Y):- rodzic(X, Y), kobieta(X).
ojciec(X, Y):- rodzic(X, Y), mezczyzna(X).

czy_matka(X):- matka(X, _).
czy_ojciec(X):-ojciec(X, _).

zona(X, Y):- kobieta(X), rodzice(X, Y).
maz(X, Y):- mezczyzna(X), rodzice(X, Y).

czy_zona(X):- zona(X, _).
czy_maz(X):- maz(X, _).

synowa(X, Y):- zona(X, Z), syn(Z, Y).
ziec(X, Y):- maz(X, Z), corka(Z, Y).

corka(X, Y):- rodzic(Y, X), kobieta(X).
syn(X, Y):- rodzic(Y, X), mezczyzna(X).

siostra(X, Y):- rodzic(Z, X), rodzic(Z, Y), kobieta(X), X\=Y.
brat(X, Y):- rodzic(Z, X), rodzic(Z, Y), mezczyzna(X), X\=Y.

babcia(X, Y):- matka(X, Z), rodzic(Z, Y).
dziadek(X, Y):- ojciec(X, Z), rodzic(Z, Y).

czy_babcia(X):- babcia(X, _).
czy_dziadek(X):- dziadek(X, _).

wnuczka(X, Y):- rodzice(Y, Z),corka(X,Z).
wnuk(X, Y):- rodzice(Y, Z), syn(X, Z).

wujek(X, Y):- rodzic(Z, Y), rodzenstwo(X, Z), mezczyzna(X).
ciocia(X, Y):- rodzic(Z, Y), rodzenstwo(X, Z), kobieta(X).

przodek(X, Y):- rodzic(X, Y).
przodek(X, Y):- rodzic(X, Z), przodek(Z, Y).

czy_lubi(X,Y):-lubi(X,Y).

co_posiada(X,Y):-posiada(X,Y).
czy_rodzenstwo(X,Y):-rodzenstwo(X,Y).

czy_szkola(X,Y):-szkola(X,Y).
czy_liceum(X,Y):-szkola(X,liceum),szkola(Y,liceum).
czy_technikum(X,Y):-szkola(X,technikum),szkola(Y,technikum).
czy_zawodowa(X,Y):-szkola(X,zawodowa),szkola(Y,zawodowa).
czy_podstawowa(X,Y):-szkola(X,podstawowa),szkola(Y,podstawowa).

kto_podrozuje(X,Y):-podrozuje(X,tak),podrozuje(Y,tak).
kto_nie_podrozuje(X,Y):-podrozuje(X,nie),podrozuje(Y,nie).

z_jakiego_roku(X, Y):- wiek(X, Y).
ile_ma_lat(X, Y):- wiek(X, Z), Y is 2015 - Z.

kto_grapilke(X,Y):-graPilke(X,tak),graPilke(Y,tak).
kto_nie_grapilke(X,Y):-graPilke(X,nie),graPilke(Y,nie).