home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / language / clisp / logbsp3.log < prev    next >
Encoding:
Text File  |  1993-10-23  |  11.8 KB  |  360 lines
  1. ; Ausführung von LOGBSP.LSP mit compiliertem CLISP
  2.  
  3. #<STRING-CHAR-FILE-STREAM #"LOGBSP.LOG">
  4. > (goal () (mensch sokrates))
  5. Yes.
  6. Real time: 0.09 sec.
  7. Run time: 0.09 sec.
  8. Space: 602 Bytes
  9. > (goal () (fehlbar sokrates))
  10. Yes.
  11. Real time: 0.12 sec.
  12. Run time: 0.12 sec.
  13. Space: 1490 Bytes
  14. > (goal (irgendjemand) (fehlbar irgendjemand))
  15. IRGENDJEMAND = SOKRATES 
  16. IRGENDJEMAND = HANNIBAL 
  17. No other solutions.
  18. Real time: 0.645 sec.
  19. Run time: 0.645 sec.
  20. Space: 3860 Bytes
  21. > (goal () (hanoi 4))
  22. Lege eine Scheibe vom linken Stab zum rechten Stab.
  23. Lege eine Scheibe vom linken Stab zum mittleren Stab.
  24. Lege eine Scheibe vom rechten Stab zum mittleren Stab.
  25. Lege eine Scheibe vom linken Stab zum rechten Stab.
  26. Lege eine Scheibe vom mittleren Stab zum linken Stab.
  27. Lege eine Scheibe vom mittleren Stab zum rechten Stab.
  28. Lege eine Scheibe vom linken Stab zum rechten Stab.
  29. Lege eine Scheibe vom linken Stab zum mittleren Stab.
  30. Lege eine Scheibe vom rechten Stab zum mittleren Stab.
  31. Lege eine Scheibe vom rechten Stab zum linken Stab.
  32. Lege eine Scheibe vom mittleren Stab zum linken Stab.
  33. Lege eine Scheibe vom rechten Stab zum mittleren Stab.
  34. Lege eine Scheibe vom linken Stab zum rechten Stab.
  35. Lege eine Scheibe vom linken Stab zum mittleren Stab.
  36. Lege eine Scheibe vom rechten Stab zum mittleren Stab.
  37. Yes.
  38. Real time: 13.46 sec.
  39. Run time: 13.46 sec.
  40. Space: 158724 Bytes
  41. > (goal (ort) (geh draußen ort ()))
  42. ORT = DRAUßEN 
  43. ORT = WINDFANG 
  44. ORT = FLUR 
  45. ORT = EßZIMMER 
  46. ORT = KÜCHE 
  47. ORT = WOHNZIMMER 
  48. ORT = DIELE 
  49. ORT = ARBEITSZIMMER 
  50. ORT = BAD 
  51. ORT = SCHLAFZIMMER 
  52. ORT = SCHLAFZIMMER 
  53. ORT = BAD 
  54. ORT = DIELE 
  55. ORT = ARBEITSZIMMER 
  56. ORT = KÜCHE 
  57. ORT = EßZIMMER 
  58. ORT = WOHNZIMMER 
  59. ORT = DIELE 
  60. ORT = ARBEITSZIMMER 
  61. ORT = BAD 
  62. ORT = SCHLAFZIMMER 
  63. ORT = SCHLAFZIMMER 
  64. ORT = BAD 
  65. ORT = DIELE 
  66. ORT = ARBEITSZIMMER 
  67. ORT = WOHNZIMMER 
  68. ORT = DIELE 
  69. ORT = ARBEITSZIMMER 
  70. ORT = BAD 
  71. ORT = SCHLAFZIMMER 
  72. ORT = EßZIMMER 
  73. ORT = KÜCHE 
  74. ORT = SCHLAFZIMMER 
  75. ORT = BAD 
  76. ORT = DIELE 
  77. ORT = ARBEITSZIMMER 
  78. ORT = DRAUßEN 
  79. No other solutions.
  80. Real time: 94.345 sec.
  81. Run time: 94.345 sec.
  82. Space: 1402934 Bytes
  83. GC: 7, GC time: 22.17 sec.
  84. > (goal (präd.log.ausdruck)
  85.         (sentence (every man loves a woman) () präd.log.ausdruck)
  86.   )
  87. PRÄD.LOG.AUSDRUCK = (ALL _::X1943
  88.  (==> (MAN _::X1943)
  89.   (EXISTS _::X1983 (& (WOMAN _::X1983) (LOVES _::X1943 _::X1983)))
  90.  )
  91.                     ) 
  92. No other solutions.
  93. Real time: 3.52 sec.
  94. Run time: 3.52 sec.
  95. Space: 70130 Bytes
  96. > (goal (p) (sentence (a man that eats a apple loves every dog) () p))
  97. P = (EXISTS _::X2064
  98.  (&
  99.   (& (MAN _::X2064)
  100.    (EXISTS _::X2104 (& (APPLE _::X2104) (EATS _::X2064 _::X2104)))
  101.   )
  102.   (ALL _::X2144 (==> (DOG _::X2144) (LOVES _::X2064 _::X2144)))
  103.  )
  104.     ) 
  105. No other solutions.
  106. Real time: 11.205 sec.
  107. Run time: 11.205 sec.
  108. Space: 128078 Bytes
  109. GC: 1, GC time: 3.64 sec.
  110. > (goal (a b c p) (sentence (a b c) () p))
  111. A = EVERY, B = MAN, C = LIVES, P = (ALL _::X2267
  112.  (==> (MAN _::X2267) (LIVES _::X2267))
  113.                                    ) 
  114. A = EVERY, B = MAN, C = BARKS, P = (ALL _::X2267
  115.  (==> (MAN _::X2267) (BARKS _::X2267))
  116.                                    ) 
  117. A = EVERY, B = WOMAN, C = LIVES, P = (ALL _::X2267
  118.  (==> (WOMAN _::X2267) (LIVES _::X2267))
  119.                                      ) 
  120. A = EVERY, B = WOMAN, C = BARKS, P = (ALL _::X2267
  121.  (==> (WOMAN _::X2267) (BARKS _::X2267))
  122.                                      ) 
  123. A = EVERY, B = APPLE, C = LIVES, P = (ALL _::X2267
  124.  (==> (APPLE _::X2267) (LIVES _::X2267))
  125.                                      ) 
  126. A = EVERY, B = APPLE, C = BARKS, P = (ALL _::X2267
  127.  (==> (APPLE _::X2267) (BARKS _::X2267))
  128.                                      ) 
  129. A = EVERY, B = DOG, C = LIVES, P = (ALL _::X2267
  130.  (==> (DOG _::X2267) (LIVES _::X2267))
  131.                                    ) 
  132. A = EVERY, B = DOG, C = BARKS, P = (ALL _::X2267
  133.  (==> (DOG _::X2267) (BARKS _::X2267))
  134.                                    ) 
  135. A = A, B = MAN, C = LIVES, P = (EXISTS _::X2827
  136.  (& (MAN _::X2827) (LIVES _::X2827))
  137.                                ) 
  138. A = A, B = MAN, C = BARKS, P = (EXISTS _::X2827
  139.  (& (MAN _::X2827) (BARKS _::X2827))
  140.                                ) 
  141. A = A, B = WOMAN, C = LIVES, P = (EXISTS _::X2827
  142.  (& (WOMAN _::X2827) (LIVES _::X2827))
  143.                                  ) 
  144. A = A, B = WOMAN, C = BARKS, P = (EXISTS _::X2827
  145.  (& (WOMAN _::X2827) (BARKS _::X2827))
  146.                                  ) 
  147. A = A, B = APPLE, C = LIVES, P = (EXISTS _::X2827
  148.  (& (APPLE _::X2827) (LIVES _::X2827))
  149.                                  ) 
  150. A = A, B = APPLE, C = BARKS, P = (EXISTS _::X2827
  151.  (& (APPLE _::X2827) (BARKS _::X2827))
  152.                                  ) 
  153. A = A, B = DOG, C = LIVES, P = (EXISTS _::X2827
  154.  (& (DOG _::X2827) (LIVES _::X2827))
  155.                                ) 
  156. A = A, B = DOG, C = BARKS, P = (EXISTS _::X2827
  157.  (& (DOG _::X2827) (BARKS _::X2827))
  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: 87.135 sec.
  173. Run time: 87.135 sec.
  174. Space: 1014450 Bytes
  175. GC: 7, GC time: 26.84 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 (sent pred) (and (list7 sent) (sentence sent () pred)))
  181. SENT = (EVERY MAN THAT HAS EVERY MAN LIVES), PRED = (ALL _::X3921
  182.  (==>
  183.   (& (MAN _::X3921) (ALL _::X3951 (==> (MAN _::X3951) (HAS _::X3921 _::X3951))))
  184.   (LIVES _::X3921)
  185.  )
  186.                                                     ) 
  187. SENT = (EVERY MAN THAT HAS EVERY MAN BARKS), PRED = (ALL _::X3921
  188.  (==>
  189.   (& (MAN _::X3921) (ALL _::X3951 (==> (MAN _::X3951) (HAS _::X3921 _::X3951))))
  190.   (BARKS _::X3921)
  191.  )
  192.                                                     ) 
  193. SENT = (EVERY MAN THAT HAS EVERY WOMAN LIVES), PRED = (ALL _::X3921
  194.  (==>
  195.   (& (MAN _::X3921)
  196.    (ALL _::X3951 (==> (WOMAN _::X3951) (HAS _::X3921 _::X3951)))
  197.   )
  198.   (LIVES _::X3921)
  199.  )
  200.                                                       ) 
  201. SENT = (EVERY MAN THAT HAS EVERY WOMAN BARKS), PRED = (ALL _::X3921
  202.  (==>
  203.   (& (MAN _::X3921)
  204.    (ALL _::X3951 (==> (WOMAN _::X3951) (HAS _::X3921 _::X3951)))
  205.   )
  206.   (BARKS _::X3921)
  207.  )
  208.                                                       ) 
  209. SENT = (EVERY MAN THAT HAS EVERY APPLE LIVES), PRED = (ALL _::X3921
  210.  (==>
  211.   (& (MAN _::X3921)
  212.    (ALL _::X3951 (==> (APPLE _::X3951) (HAS _::X3921 _::X3951)))
  213.   )
  214.   (LIVES _::X3921)
  215.  )
  216.                                                       ) 
  217. SENT = (EVERY MAN THAT HAS EVERY APPLE BARKS), PRED = (ALL _::X3921
  218.  (==>
  219.   (& (MAN _::X3921)
  220.    (ALL _::X3951 (==> (APPLE _::X3951) (HAS _::X3921 _::X3951)))
  221.   )
  222.   (BARKS _::X3921)
  223.  )
  224.                                                       ) 
  225. SENT = (EVERY MAN THAT HAS EVERY DOG LIVES), PRED = (ALL _::X3921
  226.  (==>
  227.   (& (MAN _::X3921) (ALL _::X3951 (==> (DOG _::X3951) (HAS _::X3921 _::X3951))))
  228.   (LIVES _::X3921)
  229.  )
  230.                                                     ) 
  231. SENT = (EVERY MAN THAT HAS EVERY DOG BARKS), PRED = (ALL _::X3921
  232.  (==>
  233.   (& (MAN _::X3921) (ALL _::X3951 (==> (DOG _::X3951) (HAS _::X3921 _::X3951))))
  234.   (BARKS _::X3921)
  235.  )
  236.                                                     ) 
  237. SENT = (EVERY MAN THAT HAS A MAN LIVES), PRED = (ALL _::X3921
  238.  (==>
  239.   (& (MAN _::X3921)
  240.    (EXISTS _::X4511 (& (MAN _::X4511) (HAS _::X3921 _::X4511)))
  241.   )
  242.   (LIVES _::X3921)
  243.  )
  244.                                                 ) 
  245. SENT = (EVERY MAN THAT HAS A MAN BARKS), PRED = (ALL _::X3921
  246.  (==>
  247.   (& (MAN _::X3921)
  248.    (EXISTS _::X4511 (& (MAN _::X4511) (HAS _::X3921 _::X4511)))
  249.   )
  250.   (BARKS _::X3921)
  251.  )
  252.                                                 ) 
  253. SENT = (EVERY MAN THAT HAS A WOMAN LIVES), PRED = (ALL _::X3921
  254.  (==>
  255.   (& (MAN _::X3921)
  256.    (EXISTS _::X4511 (& (WOMAN _::X4511) (HAS _::X3921 _::X4511)))
  257.   )
  258.   (LIVES _::X3921)
  259.  )
  260.                                                   ) 
  261. SENT = (EVERY MAN THAT HAS A WOMAN BARKS), PRED = (ALL _::X3921
  262.  (==>
  263.   (& (MAN _::X3921)
  264.    (EXISTS _::X4511 (& (WOMAN _::X4511) (HAS _::X3921 _::X4511)))
  265.   )
  266.   (BARKS _::X3921)
  267.  )
  268.                                                   ) 
  269. SENT = (EVERY MAN THAT HAS A APPLE LIVES), PRED = (ALL _::X3921
  270.  (==>
  271.   (& (MAN _::X3921)
  272.    (EXISTS _::X4511 (& (APPLE _::X4511) (HAS _::X3921 _::X4511)))
  273.   )
  274.   (LIVES _::X3921)
  275.  )
  276.                                                   ) 
  277. SENT = (EVERY MAN THAT HAS A APPLE BARKS), PRED = (ALL _::X3921
  278.  (==>
  279.   (& (MAN _::X3921)
  280.    (EXISTS _::X4511 (& (APPLE _::X4511) (HAS _::X3921 _::X4511)))
  281.   )
  282.   (BARKS _::X3921)
  283.  )
  284.                                                   ) 
  285. SENT = (EVERY MAN THAT HAS A DOG LIVES), PRED = (ALL _::X3921
  286.  (==>
  287.   (& (MAN _::X3921)
  288.    (EXISTS _::X4511 (& (DOG _::X4511) (HAS _::X3921 _::X4511)))
  289.   )
  290.   (LIVES _::X3921)
  291.  )
  292.                                                 ) 
  293. SENT = (EVERY MAN THAT HAS A DOG BARKS), PRED = (ALL _::X3921
  294.  (==>
  295.   (& (MAN _::X3921)
  296.    (EXISTS _::X4511 (& (DOG _::X4511) (HAS _::X3921 _::X4511)))
  297.   )
  298.   (BARKS _::X3921)
  299.  )
  300.                                                 ) 
  301. 1. Break> 
  302. Real time: 864.8 sec.
  303. Run time: 623.68 sec.
  304. Space: 2022354 Bytes
  305. GC: 53, GC time: 239.225 sec.
  306. > (prologtrace nounphrase)
  307. T
  308. > (prologtrace determiner)
  309. T
  310. > (prologtrace noun)
  311. T
  312. > (prologtrace verbphrase)
  313. T
  314. > (prologtrace transverb)
  315. T
  316. > (prologtrace intransverb)
  317. T
  318. > (goal (p) (sentence (a dog barks) () p))
  319. CALL = (NOUNPHRASE (A DOG BARKS) _::S25156 _::X5161 _::P15159 _::P5158) 
  320. CALL = (DETERMINER (A DOG BARKS) _::S25164 _::X5170 _::P25168 _::P15167
  321.  _::P5166
  322.        ) 
  323. RETURN = (DETERMINER (A . #1=(DOG BARKS)) #1# _::X5170 _::P25168 _::P15167
  324.  (EXISTS _::X5170 (& _::P25168 _::P15167))
  325.          ) 
  326. CALL = (NOUN (DOG BARKS) _::S35165 _::X5170 _::P35169) 
  327. RETURN = (NOUN (DOG . #1=(BARKS)) #1# _::X5170 (DOG _::X5170)) 
  328. RETURN = (NOUNPHRASE (A DOG . #1=(BARKS)) #1# _::X5161 _::P15159
  329.  (EXISTS _::X5161 (& (DOG _::X5161) _::P15159))
  330.          ) 
  331. CALL = (VERBPHRASE (BARKS) _::S35157 _::X5161 _::P15159) 
  332. CALL = (TRANSVERB (BARKS) _::S25197 _::X5200 _::Y5201 _::P15199) 
  333. FAIL = (TRANSVERB (BARKS) _::S25197 _::X5200 _::Y5201 _::P15199) 
  334. CALL = (INTRANSVERB (BARKS) _::S15212 _::X5214 _::P5213) 
  335. RETURN = (INTRANSVERB (BARKS) NIL _::X5214 (BARKS _::X5214)) 
  336. RETURN = (VERBPHRASE (BARKS) NIL _::X5161 (BARKS _::X5161)) 
  337. P = (EXISTS _::X5176 (& (DOG _::X5176) (BARKS _::X5176))) 
  338. REDO = (VERBPHRASE (BARKS) NIL _::X5161 (BARKS _::X5161)) 
  339. REDO = (INTRANSVERB (BARKS) NIL _::X5214 (BARKS _::X5214)) 
  340. FAIL = (INTRANSVERB (BARKS) _::S15212 _::X5214 _::P5213) 
  341. FAIL = (VERBPHRASE (BARKS) _::S35157 _::X5161 _::P15159) 
  342. REDO = (NOUNPHRASE (A DOG . #1=(BARKS)) #1# _::X5161 _::P15159
  343.  (EXISTS _::X5161 (& (DOG _::X5161) _::P15159))
  344.        ) 
  345. REDO = (NOUN (DOG . #1=(BARKS)) #1# _::X5170 (DOG _::X5170)) 
  346. FAIL = (NOUN (DOG BARKS) _::S35165 _::X5170 _::P35169) 
  347. REDO = (DETERMINER (A . #1=(DOG BARKS)) #1# _::X5170 _::P25168 _::P15167
  348.  (EXISTS _::X5170 (& _::P25168 _::P15167))
  349.        ) 
  350. FAIL = (DETERMINER (A DOG BARKS) _::S25164 _::X5170 _::P25168 _::P15167
  351.  _::P5166
  352.        ) 
  353. FAIL = (NOUNPHRASE (A DOG BARKS) _::S25156 _::X5161 _::P15159 _::P5158) 
  354. No other solutions.
  355. Real time: 28.1 sec.
  356. Run time: 28.1 sec.
  357. Space: 90586 Bytes
  358. GC: 3, GC time: 13.685 sec.
  359. > (dribble)
  360.