corka(renata, jan).
syn(adam, renata).
syn(adam, tomek).
syn(tomek, ela).
syn(tomek, marek).
matka(renata, izabela).
matka(renata, magda).
matka(zofia, renata).
matka(renata, adam).
matka(ela, tomek).
ojciec(maciek, izabela).
ojciec(tomek, magda).
ojciec(jan, renata).
ojciec(tomek, adam).
ojciec(marek, tomek).
kobieta(izabela).
kobieta(renata).
kobieta(magda).
kobieta(zofia).
kobieta(ela).
mezczyzna(adam).
mezczyzna(maciek).
mezczyzna(tomek).
mezczyzna(jan).
mezczyzna(marek).

dziadek(X, Y) :- ojciec(X,Z),(matka(Z,Y); ojciec(Z,Y)),mezczyzna(X).
babcia(X, Y) :- matka(X,Z),(matka(Z,Y); ojciec(Z,Y)), kobieta(X).



rodzic(jan, tomek).
rodzic(kasia, tomek).
rodzic(jan, magda).
rodzic(kasia, malgorzata).
potomek(jan).
potomek(kasia).
przodek(tomek).
przodek(magda).
przodek(malgorzata).
dziecko(X):- ojciec(_,X); matka(_,X).
syn(X):- dziecko(X), mezczyzna(X).
corka(X):- dziecko(X), kobieta(X).
ojciec(jan, janek).
ojciec(jan, gosia).
matka(malgorzata, janek).
kobieta(gosia).
kobieta(malgorzata).
mezczyzna(jan).
mezczyzna(janek).
testa(X) :- X is 1 + 2.
testb(X) :- X = 1 + 2.
potega(_,0,1).
potega(A,B,C) :- B>0, D is B-1, potega(A,D,E), C is E*A.