home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / language / examples / logbsp2.log < prev    next >
Encoding:
Text File  |  1993-10-23  |  9.7 KB  |  292 lines
  1. ; Ausführung von LOGBSP.LSP mit interpretiertem CLISP
  2.  
  3. #<STRING-CHAR-FILE-STREAM #"LOGBSP.LOG">
  4. > (goal () (mensch sokrates))
  5. Yes.
  6. Real time: 0.17 sec.
  7. Run time: 0.17 sec.
  8. Space: 744 Bytes
  9. > (goal () (fehlbar sokrates))
  10. Yes.
  11. Real time: 0.34 sec.
  12. Run time: 0.34 sec.
  13. Space: 1658 Bytes
  14. > (goal (irgendjemand) (fehlbar irgendjemand))
  15. IRGENDJEMAND = SOKRATES 
  16. IRGENDJEMAND = HANNIBAL 
  17. No other solutions.
  18. Real time: 1.15 sec.
  19. Run time: 1.15 sec.
  20. Space: 4968 Bytes
  21. > (gc)
  22. 266250
  23. > (goal () (hanoi 4))
  24. Lege eine Scheibe vom linken Stab zum rechten Stab.
  25. Lege eine Scheibe vom linken Stab zum mittleren Stab.
  26. Lege eine Scheibe vom rechten Stab zum mittleren Stab.
  27. Lege eine Scheibe vom linken Stab zum rechten Stab.
  28. Lege eine Scheibe vom mittleren Stab zum linken Stab.
  29. Lege eine Scheibe vom mittleren Stab zum rechten Stab.
  30. Lege eine Scheibe vom linken Stab zum rechten Stab.
  31. Lege eine Scheibe vom linken Stab zum mittleren Stab.
  32. Lege eine Scheibe vom rechten Stab zum mittleren Stab.
  33. Lege eine Scheibe vom rechten Stab zum linken Stab.
  34. Lege eine Scheibe vom mittleren Stab zum linken Stab.
  35. Lege eine Scheibe vom rechten Stab zum mittleren Stab.
  36. Lege eine Scheibe vom linken Stab zum rechten Stab.
  37. Lege eine Scheibe vom linken Stab zum mittleren Stab.
  38. Lege eine Scheibe vom rechten Stab zum mittleren Stab.
  39. Yes.
  40. Real time: 34.495 sec.
  41. Run time: 34.495 sec.
  42. Space: 191434 Bytes
  43. > (goal (ort) (geh draußen ort ()))
  44. ORT = DRAUßEN 
  45. ORT = WINDFANG 
  46. ORT = FLUR 
  47. ORT = EßZIMMER 
  48. ORT = KÜCHE 
  49. ORT = WOHNZIMMER 
  50. ORT = DIELE 
  51. ORT = ARBEITSZIMMER 
  52. ORT = BAD 
  53. ORT = SCHLAFZIMMER 
  54. ORT = SCHLAFZIMMER 
  55. ORT = BAD 
  56. ORT = DIELE 
  57. ORT = ARBEITSZIMMER 
  58. ORT = KÜCHE 
  59. ORT = EßZIMMER 
  60. ORT = WOHNZIMMER 
  61. ORT = DIELE 
  62. ORT = ARBEITSZIMMER 
  63. ORT = BAD 
  64. ORT = SCHLAFZIMMER 
  65. ORT = SCHLAFZIMMER 
  66. ORT = BAD 
  67. ORT = DIELE 
  68. ORT = ARBEITSZIMMER 
  69. ORT = WOHNZIMMER 
  70. ORT = DIELE 
  71. ORT = ARBEITSZIMMER 
  72. ORT = BAD 
  73. ORT = SCHLAFZIMMER 
  74. ORT = EßZIMMER 
  75. ORT = KÜCHE 
  76. ORT = SCHLAFZIMMER 
  77. ORT = BAD 
  78. ORT = DIELE 
  79. ORT = ARBEITSZIMMER 
  80. ORT = DRAUßEN 
  81. No other solutions.
  82. Real time: 401.89 sec.
  83. Run time: 401.89 sec.
  84. Space: 1548942 Bytes
  85. GC: 8, GC time: 26.76 sec.
  86. > (goal (präd.log.ausdruck) (sentence (every man loves a woman) () präd.log.ausdruck))
  87. PRÄD.LOG.AUSDRUCK = (ALL _::X1942
  88.  (==> (MAN _::X1942)
  89.   (EXISTS _::X1982 (& (WOMAN _::X1982) (LOVES _::X1942 _::X1982)))
  90.  )
  91.                     ) 
  92. No other solutions.
  93. Real time: 14.07 sec.
  94. Run time: 14.07 sec.
  95. Space: 73382 Bytes
  96. > (goal (p) (sentence (a man that eats a apple loves every dog) () p))
  97. P = (EXISTS _::X2063
  98.  (&
  99.   (& (MAN _::X2063)
  100.    (EXISTS _::X2103 (& (APPLE _::X2103) (EATS _::X2063 _::X2103)))
  101.   )
  102.   (ALL _::X2143 (==> (DOG _::X2143) (LOVES _::X2063 _::X2143)))
  103.  )
  104.     ) 
  105. No other solutions.
  106. Real time: 26.085 sec.
  107. Run time: 26.085 sec.
  108. Space: 133210 Bytes
  109. GC: 1, GC time: 4.28 sec.
  110. > (goal (a b c p) (sentence (a b c) () p))
  111. A = EVERY, B = MAN, C = LIVES, P = (ALL _::X2266
  112.  (==> (MAN _::X2266) (LIVES _::X2266))
  113.                                    ) 
  114. A = EVERY, B = MAN, C = BARKS, P = (ALL _::X2266
  115.  (==> (MAN _::X2266) (BARKS _::X2266))
  116.                                    ) 
  117. A = EVERY, B = WOMAN, C = LIVES, P = (ALL _::X2266
  118.  (==> (WOMAN _::X2266) (LIVES _::X2266))
  119.                                      ) 
  120. A = EVERY, B = WOMAN, C = BARKS, P = (ALL _::X2266
  121.  (==> (WOMAN _::X2266) (BARKS _::X2266))
  122.                                      ) 
  123. A = EVERY, B = APPLE, C = LIVES, P = (ALL _::X2266
  124.  (==> (APPLE _::X2266) (LIVES _::X2266))
  125.                                      ) 
  126. A = EVERY, B = APPLE, C = BARKS, P = (ALL _::X2266
  127.  (==> (APPLE _::X2266) (BARKS _::X2266))
  128.                                      ) 
  129. A = EVERY, B = DOG, C = LIVES, P = (ALL _::X2266
  130.  (==> (DOG _::X2266) (LIVES _::X2266))
  131.                                    ) 
  132. A = EVERY, B = DOG, C = BARKS, P = (ALL _::X2266
  133.  (==> (DOG _::X2266) (BARKS _::X2266))
  134.                                    ) 
  135. A = A, B = MAN, C = LIVES, P = (EXISTS _::X2826
  136.  (& (MAN _::X2826) (LIVES _::X2826))
  137.                                ) 
  138. A = A, B = MAN, C = BARKS, P = (EXISTS _::X2826
  139.  (& (MAN _::X2826) (BARKS _::X2826))
  140.                                ) 
  141. A = A, B = WOMAN, C = LIVES, P = (EXISTS _::X2826
  142.  (& (WOMAN _::X2826) (LIVES _::X2826))
  143.                                  ) 
  144. A = A, B = WOMAN, C = BARKS, P = (EXISTS _::X2826
  145.  (& (WOMAN _::X2826) (BARKS _::X2826))
  146.                                  ) 
  147. A = A, B = APPLE, C = LIVES, P = (EXISTS _::X2826
  148.  (& (APPLE _::X2826) (LIVES _::X2826))
  149.                                  ) 
  150. A = A, B = APPLE, C = BARKS, P = (EXISTS _::X2826
  151.  (& (APPLE _::X2826) (BARKS _::X2826))
  152.                                  ) 
  153. A = A, B = DOG, C = LIVES, P = (EXISTS _::X2826
  154.  (& (DOG _::X2826) (LIVES _::X2826))
  155.                                ) 
  156. A = A, B = DOG, C = BARKS, P = (EXISTS _::X2826
  157.  (& (DOG _::X2826) (BARKS _::X2826))
  158.                                ) 
  159. A = JOHN, B = HAS, C = JOHN, P = (HAS JOHN JOHN) 
  160. A = JOHN, B = HAS, C = MARY, P = (HAS JOHN MARY) 
  161. A = JOHN, B = LOVES, C = JOHN, P = (LOVES JOHN JOHN) 
  162. A = JOHN, B = LOVES, C = MARY, P = (LOVES JOHN MARY) 
  163. A = JOHN, B = EATS, C = JOHN, P = (EATS JOHN JOHN) 
  164. A = JOHN, B = EATS, C = MARY, P = (EATS JOHN MARY) 
  165. A = MARY, B = HAS, C = JOHN, P = (HAS MARY JOHN) 
  166. A = MARY, B = HAS, C = MARY, P = (HAS MARY MARY) 
  167. A = MARY, B = LOVES, C = JOHN, P = (LOVES MARY JOHN) 
  168. A = MARY, B = LOVES, C = MARY, P = (LOVES MARY MARY) 
  169. A = MARY, B = EATS, C = JOHN, P = (EATS MARY JOHN) 
  170. A = MARY, B = EATS, C = MARY, P = (EATS MARY MARY) 
  171. No other solutions.
  172. Real time: 231.325 sec.
  173. Run time: 231.325 sec.
  174. Space: 1065112 Bytes
  175. GC: 9, GC time: 36.11 sec.
  176. > (deflog list7 ((a1 a2 a3 a4 a5 a6 a7) (list7 (a1 a2 a3 a4 a5 a6 a7))))
  177. (#S(HORNCLAUSE :VARS (A1 A2 A3 A4 A5 A6 A7)
  178.     :HEAD (LIST7 (A1 A2 A3 A4 A5 A6 A7)) :BODY NIL
  179. )  )
  180. > (goal (x) (list7 x))
  181. X = (_::A13894 _::A23895 _::A33896 _::A43897 _::A53898 _::A63899 _::A73900) 
  182. No other solutions.
  183. Real time: 1.085 sec.
  184. Run time: 1.085 sec.
  185. Space: 6058 Bytes
  186. > (goal (sent pred) (and (list7 sent) (sentence sent () pred)))
  187. SENT = (EVERY MAN THAT HAS EVERY MAN LIVES), PRED = (ALL _::X3928
  188.  (==>
  189.   (& (MAN _::X3928) (ALL _::X3958 (==> (MAN _::X3958) (HAS _::X3928 _::X3958))))
  190.   (LIVES _::X3928)
  191.  )
  192.                                                     ) 
  193. SENT = (EVERY MAN THAT HAS EVERY MAN BARKS), PRED = (ALL _::X3928
  194.  (==>
  195.   (& (MAN _::X3928) (ALL _::X3958 (==> (MAN _::X3958) (HAS _::X3928 _::X3958))))
  196.   (BARKS _::X3928)
  197.  )
  198.                                                     ) 
  199. SENT = (EVERY MAN THAT HAS EVERY WOMAN LIVES), PRED = (ALL _::X3928
  200.  (==>
  201.   (& (MAN _::X3928)
  202.    (ALL _::X3958 (==> (WOMAN _::X3958) (HAS _::X3928 _::X3958)))
  203.   )
  204.   (LIVES _::X3928)
  205.  )
  206.                                                       ) 
  207. SENT = (EVERY MAN THAT HAS EVERY WOMAN BARKS), PRED = (ALL _::X3928
  208.  (==>
  209.   (& (MAN _::X3928)
  210.    (ALL _::X3958 (==> (WOMAN _::X3958) (HAS _::X3928 _::X3958)))
  211.   )
  212.   (BARKS _::X3928)
  213.  )
  214.                                                       ) 
  215. 1. Break> 
  216. Real time: 80.28 sec.
  217. Run time: 79.51 sec.
  218. Space: 306816 Bytes
  219. GC: 5, GC time: 22.25 sec.
  220. > (prologtrace nounphrase)
  221. T
  222. > (prologtrace determiner)
  223. T
  224. > (prologtrace noun)
  225. T
  226. > (prologtrace verbphrase)
  227. T
  228. > (prologtrace transverb)
  229. T
  230. > (prologtrace intransverb)
  231. T
  232. > (goal (p) (sentence (a dog barks) () p))
  233. CALL = (NOUNPHRASE (A DOG BARKS) _::S24373 _::X4378 _::P14376 _::P4375) 
  234. CALL = (DETERMINER (A DOG BARKS) _::S24381 _::X4387 _::P24385 _::P14384
  235.  _::P4383
  236.        ) 
  237. RETURN = (DETERMINER (A . #1=(DOG BARKS)) #1# _::X4387 _::P24385 _::P14384
  238.  (EXISTS _::X4387 (& _::P24385 _::P14384))
  239.          ) 
  240. CALL = (NOUN (DOG BARKS) _::S34382 _::X4387 _::P34386) 
  241. RETURN = (NOUN (DOG . #1=(BARKS)) #1# _::X4387 (DOG _::X4387)) 
  242. RETURN = (NOUNPHRASE (A DOG . #1=(BARKS)) #1# _::X4378 _::P14376
  243.  (EXISTS _::X4378 (& (DOG _::X4378) _::P14376))
  244.          ) 
  245. CALL = (VERBPHRASE (BARKS) _::S34374 _::X4378 _::P14376) 
  246. CALL = (TRANSVERB (BARKS) _::S24414 _::X4417 _::Y4418 _::P14416) 
  247. FAIL = (TRANSVERB (BARKS) _::S24414 _::X4417 _::Y4418 _::P14416) 
  248. CALL = (INTRANSVERB (BARKS) _::S14429 _::X4431 _::P4430) 
  249. RETURN = (INTRANSVERB (BARKS) NIL _::X4431 (BARKS _::X4431)) 
  250. RETURN = (VERBPHRASE (BARKS) NIL _::X4378 (BARKS _::X4378)) 
  251. P = (EXISTS _::X4393 (& (DOG _::X4393) (BARKS _::X4393))) 
  252. REDO = (VERBPHRASE (BARKS) NIL _::X4378 (BARKS _::X4378)) 
  253. REDO = (INTRANSVERB (BARKS) NIL _::X4431 (BARKS _::X4431)) 
  254. FAIL = (INTRANSVERB (BARKS) _::S14429 _::X4431 _::P4430) 
  255. FAIL = (VERBPHRASE (BARKS) _::S34374 _::X4378 _::P14376) 
  256. REDO = (NOUNPHRASE (A DOG . #1=(BARKS)) #1# _::X4378 _::P14376
  257.  (EXISTS _::X4378 (& (DOG _::X4378) _::P14376))
  258.        ) 
  259. REDO = (NOUN (DOG . #1=(BARKS)) #1# _::X4387 (DOG _::X4387)) 
  260. FAIL = (NOUN (DOG BARKS) _::S34382 _::X4387 _::P34386) 
  261. REDO = (DETERMINER (A . #1=(DOG BARKS)) #1# _::X4387 _::P24385 _::P14384
  262.  (EXISTS _::X4387 (& _::P24385 _::P14384))
  263.        ) 
  264. FAIL = (DETERMINER (A DOG BARKS) _::S24381 _::X4387 _::P24385 _::P14384
  265.  _::P4383
  266.        ) 
  267. FAIL = (NOUNPHRASE (A DOG BARKS) _::S24373 _::X4378 _::P14376 _::P4375) 
  268. No other solutions.
  269. Real time: 36.5 sec.
  270. Run time: 36.5 sec.
  271. Space: 105458 Bytes
  272. GC: 2, GC time: 8.95 sec.
  273. > (goal (x y) (and (equal x (a b . x)) (equal y (b a . y))))
  274. X = #1=(A B . #1#), Y = #2=(B A . #2#) 
  275. No other solutions.
  276. Real time: 2.715 sec.
  277. Run time: 2.715 sec.
  278. Space: 5830 Bytes
  279. > (goal (x y) (and (equal x (a b . x)) (equal y (b a . y)) (equal x (a . y))))
  280. X = #1=(A . #2=(B . #1#)), Y = #2# 
  281. No other solutions.
  282. Real time: 1.395 sec.
  283. Run time: 1.395 sec.
  284. Space: 7170 Bytes
  285. > (goal (x y c) (and (equal x (c . x)) (equal y (a . y)) (equal x y)))
  286. X = #1=(A . #1#), Y = #1#, C = A 
  287. No other solutions.
  288. Real time: 1.545 sec.
  289. Run time: 1.545 sec.
  290. Space: 7398 Bytes
  291. > (dribble)
  292.