1. corka(renata, jan).
2. syn(adam, renata).
3. syn(adam, tomek).
4. syn(tomek, ela).
5. syn(tomek, marek).
6. matka(renata, izabela).
7. matka(renata, magda).
8. matka(zofia, renata).
9. matka(renata, adam).
10. matka(ela, tomek).
11. ojciec(maciek, izabela).
12. ojciec(tomek, magda).
13. ojciec(jan, renata).
14. ojciec(tomek, adam).
15. ojciec(marek, tomek).
16. kobieta(izabela).
17. kobieta(renata).
18. kobieta(magda).
19. kobieta(zofia).
20. kobieta(ela).
21. mezczyzna(adam).
22. mezczyzna(maciek).
23. mezczyzna(tomek).
24. mezczyzna(jan).
25. mezczyzna(marek).
26.  
27. dziadek(X, Y) :- ojciec(X,Z),(matka(Z,Y); ojciec(Z,Y)),mezczyzna(X).
28. babcia(X, Y) :- matka(X,Z),(matka(Z,Y); ojciec(Z,Y)), kobieta(X).
29.  
30.  
31.  
32. rodzic(jan, tomek).
33. rodzic(kasia, tomek).
34. rodzic(jan, magda).
35. rodzic(kasia, malgorzata).
36. potomek(jan).
37. potomek(kasia).
38. przodek(tomek).
39. przodek(magda).
40. przodek(malgorzata).
41. dziecko(X):- ojciec(_,X); matka(_,X).
42. syn(X):- dziecko(X), mezczyzna(X).
43. corka(X):- dziecko(X), kobieta(X).
44. ojciec(jan, janek).
45. ojciec(jan, gosia).
46. matka(malgorzata, janek).
47. kobieta(gosia).
48. kobieta(malgorzata).
49. mezczyzna(jan).
50. mezczyzna(janek).
51. testa(X) :- X is 1 + 2.
52. testb(X) :- X = 1 + 2.
53. potega(_,0,1).
54. potega(A,B,C) :- B>0, D is B-1, potega(A,D,E), C is E*A.
55.