Advertisement
Guest User

Untitled

a guest
May 19th, 2019
96
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.64 KB | None | 0 0
  1. person(alfred,male).
  2. person(bob,male).
  3. person(beatrice,female).
  4. person(david,male).
  5. person(elisa,female).
  6. person(eric,male).
  7. person(fred,male).
  8. person(james,male).
  9. person(terry,male).
  10. person(terri,female).
  11. person(wendy,female).
  12. person(art,male).
  13. person(alice,female).
  14. person(cornelia,female).
  15. person(melvin,male).
  16. person(maria,female).
  17. person(carl,male).
  18. person(gail,female).
  19. person(harry,male).
  20. person(helen,female).
  21. person(janet,female).
  22. person(kari,female).
  23. person(karl,male).
  24. person(nero,male).
  25. person(nonnie,female).
  26. person(neil,male).
  27. person(jane,female).
  28. person(jack,male).
  29. person(calvin,male).
  30. person(regina,female).
  31. person(leon,male).
  32. person(oma,female).
  33. person(owen,male).
  34. person(rachel,female).
  35. person(susan,female).
  36. person(steve,male).
  37. parent(ann,david).
  38. parent(beatrice,eric).
  39. parent(beatrice,gail).
  40. parent(callie,karl).
  41. parent(kari,nero).
  42. parent(lorrie,oma).
  43. parent(lorrie,paul).
  44. parent(lorrie,rachel).
  45. parent(elisa,umo).
  46. parent(elisa,wendy).
  47. parent(fannie,cornelia).
  48. parent(fannie,melvin).
  49. parent(fannie,nancy).
  50. parent(helen,prissie).
  51. parent(helen,jane).
  52. parent(janet,jack).
  53. parent(janet,calvin).
  54. parent(janet,christy).
  55. parent(nonnie,angela).
  56. parent(nonnie,ray).
  57. parent(alfred,elisa).
  58. parent(bob,eric).
  59. parent(bob,fannie).
  60. parent(bob,gail).
  61. parent(bob,harry).
  62. parent(carl,karl).
  63. parent(carl,lorrie).
  64. parent(carl,mark).
  65. parent(karl,janet).
  66. parent(karl,nero).
  67. parent(leon,oma).
  68. parent(leon,paul).
  69. parent(leon,rachel).
  70. parent(david,jonas).
  71. parent(david,terry).
  72. parent(eric,umo).
  73. parent(eric,wendy).
  74. parent(eric,art).
  75. parent(fred,cornelia).
  76. parent(fred,melvin).
  77. parent(fred,nancy).
  78. parent(harry,prissie).
  79. parent(harry,jane).
  80. parent(james,jack).
  81. parent(james,calvin).
  82. parent(james,christy).
  83. parent(nero,angela).
  84. parent(nero,ray).
  85. parent(harry,frederick).
  86. married(ann,alfred).
  87. married(beatrice,bob).
  88. married(elisa,eric).
  89. married(fannie,fred).
  90. married(gail,george).
  91. married(janet,james).
  92. married(lorrie,leon).
  93. married(oma,owen).
  94. married(paula,paul).
  95. married(susan,steve).
  96. married(wendy,walt).
  97. married(maria,melvin).
  98. married(prissie,peter).
  99. married(jane,jack).
  100. married(regina,ray).
  101. ojciec(X,Y)<-person(X,male)&parent(X,Y).
  102. matka(X,Y)<-person(X,female)&parent(X,Y).
  103. maz(X,Y)<-person(X,male)&person(Y,female)&married(Y,X).
  104. maz(X,Y)<-person(X,male)&person(Y,female)&married(X,Y).
  105. zona(X,Y)<-person(X,female)&person(Y,male)&married(X,Y).
  106. zona(X,Y)<-person(X,female)&person(Y,male)&married(Y,X).
  107. syn(X,Y)<-parent(Y,X)&person(X,male).
  108. corka(X,Y)<-parent(Y,X)&person(X,female).
  109. brat(X,Y)<-person(X,male)&parent(Z,X)&parent(Z,Y)&X\=Y.
  110. siostra(X,Y)<-person(X,female)&parent(Z,X)&parent(Z,Y)&X\=Y.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement