Facebook
From Morose Elephant, 6 Years ago, written in Plain Text.
Embed
Download Paste or View Raw
Hits: 226
  1. kobieta(ewa).
  2. kobieta(ala).
  3. kobieta(ola).
  4. kobieta(marta).
  5. kobieta(anna).
  6. kobieta(iza).
  7.  
  8. mezczyzna(adam).
  9. mezczyzna(piotr).
  10. mezczyzna(pawel).
  11. mezczyzna(roman).
  12. mezczyzna(tomasz).
  13. mezczyzna(jan).
  14.  
  15. rodzic(adam,ala).
  16. rodzic(adam,piotr).
  17. rodzic(adam,ola).
  18. rodzic(adam,pawel).
  19. rodzic(ewa,ala).
  20. rodzic(ewa,piotr).
  21. rodzic(ewa,ola).
  22. rodzic(ewa,pawel).
  23. rodzic(pawel,iza).
  24. rodzic(ola,roman).
  25. rodzic(anna,iza).
  26. rodzic(tomasz,roman).
  27. rodzic(jan,tomasz).
  28. rodzic(jan,anna).
  29. rodzic(marta,tomasz).
  30. rodzic(marta,anna).
  31.  
  32. matka(X,Y):-
  33.         rodzic(X,Y),
  34.         kobieta(X).
  35.        
  36. ojciec(X,Y):-
  37.         rodzic(X,Y),
  38.         mezczyzna(X).
  39.  
  40. syn(X,Y):-
  41.         rodzic(Y,X),
  42.         mezczyzna(X).
  43.        
  44. corka(X,Y):-
  45.         rodzic(Y,X),
  46.         kobieta(X).
  47.        
  48. dziadek(X,Y):-
  49.         ojciec(X,Y)
  50.         mezczyzna(X).
  51.        
  52. babcia(X,Y):-
  53.         matka(X,Y),
  54.         kobieta(X).
  55.        
  56. brat(X,Y):-
  57.         rodzic(Z,X),
  58.         rodzic(Z,Y),
  59.         mezczyzna(X),
  60.         X\=Y.
  61.        
  62. siostra(X,Y):-
  63.         rodzic(Z,X),
  64.         rodzic(Z,Y),
  65.         kobieta(X),
  66.         X\=Y.
  67.        
  68. rodzenstwo(X,Y):-
  69.         siostra(X,Y).
  70. rodzenstwo(X,Y):-
  71.         brat(X,Y).
  72.        
  73. ciocia(X,Y):-
  74.         rodzic(Z,Y),
  75.         siostra(X,Z).
  76.        
  77. wuja(X,Y):-
  78.         rodzic(Z,Y),
  79.         brat(X,Z).
  80.        
  81. kuzyn(X,Y):-
  82.         rodzic(A,Y),
  83.         rodzic(B,X),
  84.         rodzenstwo(A,B).
  85.        
  86. przodek(X,Y) :-
  87.         rodzic(X,Y).
  88. przodek(X,Y):-
  89.         rodzic(X,Z),
  90.         przodek(Z,Y).
  91.        
  92.        
  93.        
  94.        
  95.        
  96.        
  97.