Advertisement
Guest User

Untitled

a guest
Jan 18th, 2019
84
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.13 KB | None | 0 0
  1. rodzic(kasia,robert).
  2. rodzic(tomek,robert).
  3. rodzic(tomek,eliza).
  4.  
  5. kobieta(kasia).
  6. kobieta(eliza).
  7.  
  8. mezczyzna(tomek).
  9. mezczyzna(robert).
  10. kobieta(X) → Kasia, Eliza
  11. mezczyzna(X). → Tomek, Robert
  12. mezczyzna(reksio). → False
  13. rodzic(kasia,robert). → True ( Czy kasia jest rodzicem roberta)
  14. rodzic(kasia,X).→ robert (Czyim rodzicem jest kasia?)
  15. rodzic(Y,robert). → kasia, tomek (Kto jest rodzicem roberta?)
  16. rodzic(kasia,robert).
  17. rodzic(tomek,robert).
  18. rodzic(tomek,eliza).
  19. rodzic(robert,anna).
  20. rodzic(robert,magda).
  21. rodzic(magda,jan).
  22.  
  23. kobieta(kasia).
  24. kobieta(eliza).
  25. kobieta(magda).
  26. kobieta(anna).
  27.  
  28. mezczyzna(tomek).
  29. mezczyzna(robert).
  30. mezczyzna(jan).
  31.  
  32.  
  33.  
  34. matka(X,Y) :-
  35. rodzic(X,Y),
  36. kobieta(X).
  37.  
  38. ojciec(X,Y) :-
  39. rodzic(X,Y),
  40. mezczyzna(X).
  41.  
  42. siostra(X,Y) :-
  43. rodzic(Z,X),
  44. rodzic(K,X),
  45. rodzic(Z,Y),
  46. rodzic(K,Y),
  47. kobieta(Y).
  48.  
  49. brat(X,Y) :-
  50. rodzic(Z,X),
  51. rodzic(K,X),
  52. rodzic(Z,Y),
  53. rodzic(K,Y),
  54. mezczyzna(Y).
  55.  
  56. dziadek(X,Y) :-
  57. rodzic(X,Z),
  58. rodzic(Z,Y),
  59. mezczyzna(X).
  60.  
  61. babcia(X,Y) :-
  62. rodzic(X,Z),
  63. rodzic(Z,Y),
  64. kobieta(X).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement