home *** CD-ROM | disk | FTP | other *** search
/ Power-Programmierung / CD1.mdf / magazine / drdobbs / 1986 / 04 / brie.apr next >
Text File  |  1986-04-30  |  6KB  |  176 lines

  1. ((cousin-of X Y)
  2.   (aunt-or-uncle-of Z X)
  3.   (child-of Y Z))
  4. ((aunt-or-uncle-of X Y)
  5.   (parent-of Z Y)
  6.   (sibling-of X Z))
  7. ((half-sibling-of X Y)
  8.   (mother-of Z X)
  9.   (mother-of Z Y)
  10.   (NOT ? ((sibling-of X Y)))
  11.   (NOT ? ((EQ X Y))))
  12. ((half-sibling-of X Y)
  13.   (father-of Z X)
  14.   (father-of Z Y)
  15.   (NOT ? ((sibling-of X Y)))
  16.   (NOT ? ((EQ X Y))))
  17. ((male X)
  18.   (father-of X Y))
  19. ((male john-viscar))
  20. ((male shaun-breeden))
  21. ((female X)
  22.   (mother-of X Y))
  23. ((female willena-breeden))
  24. ((female bonnie-breeden))
  25. ((female karen-breeden))
  26. ((female betty-breeden))
  27. ((female judy-tracey))
  28. ((wife-of X Y)
  29.   (wife X Y))
  30. ((wife-of judy-tracy tommy-breeden))
  31. ((wife X Y)
  32.   (mother-of X Z)
  33.   (father-of Y Z))
  34. ((husband X Y)
  35.   (wife Y X))
  36. ((husband-of X Y)
  37.   (husband X Y))
  38. ((husband-of john-viscar pauline-davis))
  39. ((descendant-of X Y)
  40.   (child-of X Y))
  41. ((descendant-of X Y)
  42.   (child-of Z Y)
  43.   (descendant-of X Z))
  44. ((child-of X Y)
  45.   (parent-of Y X))
  46. ((parent-of X Y)
  47.   (father-of X Y))
  48. ((parent-of X Y)
  49.   (mother-of X Y))
  50. ((ancestor-of X Y)
  51.   (parent-of X Y))
  52. ((ancestor-of X Y)
  53.   (parent-of Z Y)
  54.   (ancestor-of X Z))
  55. ((moher-of lavenia-mccollister robert-brown-jr))
  56. ((father-of elijah-brown robert-brown-sr))
  57. ((father-of robert-brown-sr robert-brown-jr))
  58. ((father-of john-mccollister lavenia-mccollister))
  59. ((father-of isam-mccollister john-mccollister))
  60. ((father-of mr-holt bettie-holt))
  61. ((father-of elias-presley margret-presley))
  62. ((father-of robert-brown-jr robert-brown-iii))
  63. ((father-of paul-h-sewall virginia-sewall))
  64. ((father-of paul-h-sewall paul-sewall-jr))
  65. ((father-of paul-sewall-jr peter-sewall))
  66. ((father-of paul-sewall-jr dee-dee-sewall))
  67. ((father-of paul-sewall-jr mark-sewall))
  68. ((father-of paul-sewall-jr paul-sewall-iii))
  69. ((father-of robert-brown-jr kenneth-brown))
  70. ((father-of robert-brown-sr amos-trice-brown))
  71. ((father-of robert-brown-sr james-elro-brown))
  72. ((father-of clarence-bailey-compton elanor-compon))
  73. ((father-of george-washington-compton clarence-bailey-compton))
  74. ((father-of samuel-compton george-washington-compton))
  75. ((father-of henry-sewall paul-h-sewall))
  76. ((father-of dr-james-d-nelson rachel-nelson))
  77. ((father-of robert-sewall henry-sewall))
  78. ((father-of paul-hebert evelina-hebert))
  79. ((father-of harry-breeden X)
  80.   (mother-of dorothy-wallace X))
  81. ((father-of berke-breeden harry-breeden))
  82. ((father-of john-wallace dorothy-wallace))
  83. ((father-of robert-brown-iii krystl-raquelle-brown))
  84. ((father-of paul-sewall-jr robert-sewall-ii))
  85. ((father-of danny-crider amy-crider))
  86. ((father-of bill-skirvin marty-skirvin))
  87. ((father-of bill-skirvin rodney-skirvin))
  88. ((father-of tommy-breeden thomas-andrew-breeden))
  89. ((father-of tommy-breeden suzanne-breeden))
  90. ((father-of john-alsop joy-alsop))
  91. ((father-of lester-stevens geneva-stevens))
  92. ((father-of strawder-breeden daren-breeden))
  93. ((father-of daren-breeden shaun-breeden))
  94. ((father-of strawder-breeden deidra-breeden))
  95. ((father-of robert-bishop krystal-bishop))
  96. ((father-of robert-bishop tiffany-bishop))
  97. ((father-of robert-brown-sr opal-brown))
  98. ((father-of strawder-breeden deva-breeden))
  99. ((father-of strawder-breeden stephanie-breeden))
  100. ((father-of johnny-wilson jonathan-wilson))
  101. ((father-of lester-stevens geneva-stevens))
  102. ((mother-of bettie-holt lavenia-mccollister))
  103. ((mother-of miss-hornsby robert-brown-sr))
  104. ((mother-of elizabeth-arthur john-mccollister))
  105. ((mother-of margret-e-presley betty-holt))
  106. ((mother-of virginia-sewall robert-brown-iii))
  107. ((mother-of elanor-compton virginia-sewall))
  108. ((mother-of lilian-givens X)
  109.   (father-of paul-sewall-jr X))
  110. ((mother-of virginia-sewall kenneth-brown))
  111. ((mother-of lavenia-mccollister amos-trice-brown))
  112. ((mother-of lavenia-mccollister james-elro-brown))
  113. ((mother-of sarah-virginia-sanford elanor-compton))
  114. ((mother-of mary-eliza-sanford clarence-bailey-compton))
  115. ((mother-of rachel-nelson paul-h-sewall))
  116. ((mother-of jane-kirk rachel-nelson))
  117. ((mother-of evelina-hebert henry-sewall))
  118. ((mother-of eugina-hamilton evelina-hebert))
  119. ((mother-of dorothy-wallace darlene-breeden))
  120. ((mother-of dorothy-wallace willena-breeden))
  121. ((mother-of dorothy-wallace karen-breeden))
  122. ((mother-of dorothy-wallace bonnie-breeden))
  123. ((mother-of dorothy-wallace tommy-breeden))
  124. ((mother-of dorothy-wallace dorothy-breeden))
  125. ((mother-of dorothy-wallace brenda-breeden))
  126. ((mother-of dorothy-wallace betty-breeden))
  127. ((mother-of dorothy-wallace strawder-breeden))
  128. ((mother-of flo-marsh harry-breeden))
  129. ((mother-of christine-xxx dorothy-wallace))
  130. ((mother-of darlene-breeden krystl-raquelle-brown))
  131. ((mother-of dorothy-breeden amy-crider))
  132. ((mother-of brenda-breeden X)
  133.   (father-of bill-skirvin X))
  134. ((mother-of joy-alsop suzanne-breeden))
  135. ((mother-of joy-alsop thomas-andrew-breeden))
  136. ((mother-of pauline-davis joy-alsop))
  137. ((mother-of myrtle-jackson geneva-stevens))
  138. ((mother-of tammy-xxx shaun-breeden))
  139. ((mother-of deidra-breeden krystal-bishop))
  140. ((mother-of deidra-breeden tiffany-bishop))
  141. ((mother-of lavenia-mccollister opal-brown))
  142. ((mother-of lavenia-mccollister robert-brown-jr))
  143. ((mother-of elanor-compton paul-sewall-jr))
  144. ((mother-of karen-breeden jonathan-wilson))
  145. ((mother-of geneva-stevens X)
  146.   (father-of strawder-breeden X))
  147. ((mother-of myrtle-jackson geneva-stevens))
  148. ((sibling-of X Y)
  149.   (mother-of Z X)
  150.   (mother-of Z Y)
  151.   (father-of x X)
  152.   (father-of x Y)
  153.   (NOT ? ((EQ X Y))))
  154. ((dict father-of))
  155. ((dict mother-of))
  156. ((dict male))
  157. ((dict female))
  158. ((dict wife))
  159. ((dict husband))
  160. ((dict parent-of))
  161. ((dict wife-of))
  162. ((dict husband-of))
  163. ((dict child-of))
  164. ((dict descendant-of))
  165. ((dict ancestor-of))
  166. ((dict moher-of))
  167. ((dict sibling-of))
  168. ((dict half-sibling-of))
  169. ((dict aunt-or-uncle-of))
  170. ((dict cousin-of))
  171. ncestor-of))
  172. ((dict moher-of))
  173. ((dict sibling-of))
  174. ((dict half-sibling-of))
  175. ((dict aunt-or-uncle-of))
  176. ((dict cousin-of