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