home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / language / examples / logbsp1.log < prev    next >
Encoding:
Text File  |  1993-10-23  |  10.1 KB  |  259 lines
  1. ; Ausführung von LOGBSP.LOG mit VAXLISP
  2.  
  3. Dribbling to DISK$USER2:[I20.CAP27.LISP]LOGBSP.LOG;1
  4. Lisp> (goal () (mensch sokrates))
  5. Yes.
  6. CPU Time: 0.01 sec., Real Time: 0.01 sec.
  7. NIL
  8. Lisp> (goal () (fehlbar sokrates))
  9. Yes.
  10. CPU Time: 0.01 sec., Real Time: 0.01 sec.
  11. NIL
  12. Lisp> (goal (irgendjemand) (fehlbar irgendjemand))
  13. IRGENDJEMAND = SOKRATES
  14. IRGENDJEMAND = HANNIBAL
  15. No other solutions.
  16. CPU Time: 0.03 sec., Real Time: 0.04 sec.
  17. NIL
  18. Lisp> (goal () (hanoi 4))
  19. Lege eine Scheibe vom linken Stab zum rechten Stab.
  20. Lege eine Scheibe vom linken Stab zum mittleren Stab.
  21. Lege eine Scheibe vom rechten Stab zum mittleren Stab.
  22. Lege eine Scheibe vom linken Stab zum rechten Stab.
  23. Lege eine Scheibe vom mittleren Stab zum linken Stab.
  24. Lege eine Scheibe vom mittleren Stab zum rechten Stab.
  25. Lege eine Scheibe vom linken Stab zum rechten Stab.
  26. Lege eine Scheibe vom linken Stab zum mittleren Stab.
  27. Lege eine Scheibe vom rechten Stab zum mittleren Stab.
  28. Lege eine Scheibe vom rechten Stab zum linken Stab.
  29. Lege eine Scheibe vom mittleren Stab zum linken Stab.
  30. Lege eine Scheibe vom rechten Stab zum mittleren Stab.
  31. Lege eine Scheibe vom linken Stab zum rechten Stab.
  32. Lege eine Scheibe vom linken Stab zum mittleren Stab.
  33. Lege eine Scheibe vom rechten Stab zum mittleren Stab.
  34. Yes.
  35. CPU Time: 0.68 sec., Real Time: 0.97 sec.
  36. GC CPU Time: 1.53 sec., GC Real Time: 2.49 sec.
  37. NIL
  38. Lisp> (goal (ort) (geh draußen ort))
  39.  
  40. Fatal error in function PROLOG-FORM (signaled with ERROR).
  41. Bad number of arguments to GEH, wanted 4, received 3
  42.  
  43. Control Stack Debugger
  44. Frame #8: (PROLOG-FORM (GEH DRAUßEN _::ORT528)
  45.              (SYSTEM::%COMPILED-CLOSURE% (#(NIL (ORT) (_::ORT528)))
  46.               #<Compiled Function #:GOAL1-I3205 #x5AC328>) ... 
  47. Debug 1> quit
  48. CPU Time: 0.12 sec., Real Time: 5.21 sec.
  49. Lisp> (goal (ort) (geh draußen ort ()))
  50. ORT = DRAUßEN
  51. ORT = WINDFANG
  52. ORT = FLUR
  53. ORT = EßZIMMER
  54. ORT = KÜCHE
  55. ORT = WOHNZIMMER
  56. ORT = DIELE
  57. ORT = ARBEITSZIMMER
  58. ORT = BAD
  59. ORT = SCHLAFZIMMER
  60. ORT = SCHLAFZIMMER
  61. ORT = BAD
  62. ORT = DIELE
  63. ORT = ARBEITSZIMMER
  64. ORT = KÜCHE
  65. ORT = EßZIMMER
  66. ORT = WOHNZIMMER
  67. ORT = DIELE
  68. ORT = ARBEITSZIMMER
  69. ORT = BAD
  70. ORT = SCHLAFZIMMER
  71. ORT = SCHLAFZIMMER
  72. ORT = BAD
  73. ORT = DIELE
  74. ORT = ARBEITSZIMMER
  75. ORT = WOHNZIMMER
  76. ORT = DIELE
  77. ORT = ARBEITSZIMMER
  78. ORT = BAD
  79. ORT = SCHLAFZIMMER
  80. ORT = EßZIMMER
  81. ORT = KÜCHE
  82. ORT = SCHLAFZIMMER
  83. ORT = BAD
  84. ORT = DIELE
  85. ORT = ARBEITSZIMMER
  86. ORT = DRAUßEN
  87. No other solutions.
  88. CPU Time: 4.41 sec., Real Time: 5.58 sec.
  89. GC CPU Time: 1.53 sec., GC Real Time: 2.25 sec.
  90. NIL
  91. Lisp> (goal (praed-log-ausdruck) (sentence (every man loves a woman) () praed-log-ausdruck))
  92. PRAED-LOG-AUSDRUCK = (ALL _::X2269
  93.  (IMPL (MAN _::X2269)
  94.   (EXISTS _::X2309 (AND (WOMAN _::X2309) (LOVES _::X2269 _::X2309)))))
  95. No other solutions.
  96. CPU Time: 0.26 sec., Real Time: 0.30 sec.
  97. NIL
  98. Lisp> (load "logbsp.lsp")
  99. ; Loading contents of file DISK$USER2:[I20.CAP27.LISP]LOGBSP.LSP;10
  100. ;   EXAMPLE2
  101. ;   EXAMPLE3
  102. ; Finished loading DISK$USER2:[I20.CAP27.LISP]LOGBSP.LSP;10
  103. T
  104. Lisp> (eval ++)
  105. PRAED-LOG-AUSDRUCK = (ALL _::X2386
  106.  (==> (MAN _::X2386)
  107.   (EXISTS _::X2426 (& (WOMAN _::X2426) (LOVES _::X2386 _::X2426)))))
  108. No other solutions.
  109. CPU Time: 0.23 sec., Real Time: 0.30 sec.
  110. NIL
  111. Lisp> (goal (p) (sentence (a man that eats a apple loves every dog) () p))
  112. P = (EXISTS _::X2507
  113.  (&
  114.   (& (MAN _::X2507)
  115.    (EXISTS _::X2547 (& (APPLE _::X2547) (EATS _::X2507 _::X2547))))
  116.   (ALL _::X2587 (==> (DOG _::X2587) (LOVES _::X2507 _::X2587)))))
  117. No other solutions.
  118. CPU Time: 0.40 sec., Real Time: 0.58 sec.
  119. NIL
  120. Lisp> (goal (a b c p) (sentence (a b c) () p))
  121. A = EVERY, B = MAN, C = LIVES, P = (ALL _::X2710 (==> (MAN _::X2710) (LIVES _::X2710)))
  122. A = EVERY, B = MAN, C = BARKS, P = (ALL _::X2710 (==> (MAN _::X2710) (BARKS _::X2710)))
  123. A = EVERY, B = WOMAN, C = LIVES, P = (ALL _::X2710 (==> (WOMAN _::X2710) (LIVES _::X2710)))
  124. A = EVERY, B = WOMAN, C = BARKS, P = (ALL _::X2710 (==> (WOMAN _::X2710) (BARKS _::X2710)))
  125. A = EVERY, B = APPLE, C = LIVES, P = (ALL _::X2710 (==> (APPLE _::X2710) (LIVES _::X2710)))
  126. A = EVERY, B = APPLE, C = BARKS, P = (ALL _::X2710 (==> (APPLE _::X2710) (BARKS _::X2710)))
  127. A = EVERY, B = DOG, C = LIVES, P = (ALL _::X2710 (==> (DOG _::X2710) (LIVES _::X2710)))
  128. A = EVERY, B = DOG, C = BARKS, P = (ALL _::X2710 (==> (DOG _::X2710) (BARKS _::X2710)))
  129. A = A, B = MAN, C = LIVES, P = (EXISTS _::X3272 (& (MAN _::X3272) (LIVES _::X3272)))
  130. A = A, B = MAN, C = BARKS, P = (EXISTS _::X3272 (& (MAN _::X3272) (BARKS _::X3272)))
  131. A = A, B = WOMAN, C = LIVES, P = (EXISTS _::X3272 (& (WOMAN _::X3272) (LIVES _::X3272)))
  132. A = A, B = WOMAN, C = BARKS, P = (EXISTS _::X3272 (& (WOMAN _::X3272) (BARKS _::X3272)))
  133. A = A, B = APPLE, C = LIVES, P = (EXISTS _::X3272 (& (APPLE _::X3272) (LIVES _::X3272)))
  134. A = A, B = APPLE, C = BARKS, P = (EXISTS _::X3272 (& (APPLE _::X3272) (BARKS _::X3272)))
  135. A = A, B = DOG, C = LIVES, P = (EXISTS _::X3272 (& (DOG _::X3272) (LIVES _::X3272)))
  136. A = A, B = DOG, C = BARKS, P = (EXISTS _::X3272 (& (DOG _::X3272) (BARKS _::X3272)))
  137. A = JOHN, B = HAS, C = JOHN, P = (HAS JOHN JOHN)
  138. A = JOHN, B = HAS, C = MARY, P = (HAS JOHN MARY)
  139. A = JOHN, B = LOVES, C = JOHN, P = (LOVES JOHN JOHN)
  140. A = JOHN, B = LOVES, C = MARY, P = (LOVES JOHN MARY)
  141. A = JOHN, B = EATS, C = JOHN, P = (EATS JOHN JOHN)
  142. A = JOHN, B = EATS, C = MARY, P = (EATS JOHN MARY)
  143. A = MARY, B = HAS, C = JOHN, P = (HAS MARY JOHN)
  144. A = MARY, B = HAS, C = MARY, P = (HAS MARY MARY)
  145. A = MARY, B = LOVES, C = JOHN, P = (LOVES MARY JOHN)
  146. A = MARY, B = LOVES, C = MARY, P = (LOVES MARY MARY)
  147. A = MARY, B = EATS, C = JOHN, P = (EATS MARY JOHN)
  148. A = MARY, B = EATS, C = MARY, P = (EATS MARY MARY)
  149. No other solutions.
  150. CPU Time: 4.59 sec., Real Time: 5.21 sec.
  151. GC CPU Time: 1.71 sec., GC Real Time: 1.84 sec.
  152. NIL
  153. Lisp> (deflog list7
  154.         ((a1 a2 a3 a4 a5 a6 a7) (list7 (a1 a2 a3 a4 a5 a6 a7))) )
  155. (#S(HORNCLAUSE :VARS (A1 A2 A3 A4 A5 A6 A7)
  156.                :HEAD (LIST7 (A1 A2 A3 A4 A5 A6 A7)) :BODY NIL))
  157. Lisp> (goal (sent pred) (and (list7 sent) (sentence sent () pred)))
  158. SENT = (EVERY MAN THAT HAS EVERY MAN LIVES), PRED = (ALL _::X4366
  159.  (==>
  160.   (& (MAN _::X4366)
  161.    (ALL _::X4396 (==> (MAN _::X4396) (HAS _::X4366 _::X4396))))
  162.   (LIVES _::X4366)))
  163. SENT = (EVERY MAN THAT HAS EVERY MAN BARKS), PRED = (ALL _::X4366
  164.  (==>
  165.   (& (MAN _::X4366)
  166.    (ALL _::X4396 (==> (MAN _::X4396) (HAS _::X4366 _::X4396))))
  167.   (BARKS _::X4366)))
  168. SENT = (EVERY MAN THAT HAS EVERY WOMAN LIVES), PRED = (ALL _::X4366
  169.  (==>
  170.   (& (MAN _::X4366)
  171.    (ALL _::X4396 (==> (WOMAN _::X4396) (HAS _::X4366 _::X4396))))
  172.   (LIVES _::X4366)))
  173. SENT = (EVERY MAN THAT HAS EVERY WOMAN BARKS), PRED = (ALL _::X4366
  174.  (==>
  175.   (& (MAN _::X4366)
  176.    (ALL _::X4396 (==> (WOMAN _::X4396) (HAS _::X4366 _::X4396))))
  177.   (BARKS _::X4366)))
  178. SENT = (EVERY MAN THAT HAS EVERY APPLE LIVES), PRED = (ALL _::X4366
  179.  (==>
  180.   (& (MAN _::X4366)
  181.    (ALL _::X4396 (==> (APPLE _::X4396) (HAS _::X4366 _::X4396))))
  182.   (LIVES _::X4366)))
  183. SENT = (EVERY MAN THAT HAS EVERY APPLE BARKS), PRED = (ALL _::X4366
  184.  (==>
  185.   (& (MAN _::X4366)
  186.    (ALL _::X4396 (==> (APPLE _::X4396) (HAS _::X4366 _::X4396))))
  187.   (BARKS _::X4366)))
  188. SENT = (EVERY MAN THAT HAS EVERY DOG LIVES), PRED = (ALL _::X4366
  189.  (==>
  190.   (& (MAN _::X4366)
  191.    (ALL _::X4396 (==> (DOG _::X4396) (HAS _::X4366 _::X4396))))
  192.   (LIVES _::X4366)))
  193. ; usw. usw.
  194. SENT = (EVERY MAN EATS EVERY APPLE THAT LIVES), PRED = (ALL _::X4366
  195.  (==> (MAN _::X4366)
  196.   (ALL _::X16875
  197.    (==> (& (APPLE _::X16875) (LIVES _::X16875)) (EATS _::X4366 _::X16875)))))
  198. SENT = (EVERY MAN EATS EVERY APPLE THAT BARKS), PRED = (ALL _::X4366
  199.  (==> (MAN _::X4366)
  200.   (ALL _::X16875
  201.    (==> (& (APPLE _::X16875) (BARKS _::X16875)) (EATS _::X4366 _::X16875)))))
  202. CPU Time: 38.13 sec., Real Time: 58.13 sec.
  203. GC CPU Time: 89.93 sec., GC Real Time: 101.68 sec.
  204. Lisp> (prologtrace sentence)
  205. T
  206. Lisp> (prologtrace nounphrase)
  207. T
  208. Lisp> (prologtrace determiner)
  209. T
  210. Lisp> (prologtrace noun)
  211. T
  212. Lisp> (prologtrace determiner)
  213. T
  214. Lisp> (prologtrace verbphrase)
  215. T
  216. Lisp> (prologtrace transverb)
  217. T
  218. Lisp> (prologtrace intransverb)
  219. T
  220. Lisp> (goal (p) (sentence (a dog barks) () p))
  221. CALL = (SENTENCE (A DOG BARKS) NIL _::P17488)
  222. CALL = (NOUNPHRASE (A DOG BARKS) _::S217491 _::X17496 _::P117494 _::P17493)
  223. CALL = (DETERMINER (A DOG BARKS) _::S217499 _::X17505 _::P217503 _::P117502 _::P17501)
  224. RETURN = (DETERMINER (A DOG BARKS) (DOG BARKS) _::X17505 _::P217503 _::P117502
  225.  (EXISTS _::X17505 (& _::P217503 _::P117502)))
  226. CALL = (NOUN (DOG BARKS) _::S317500 _::X17505 _::P317504)
  227. RETURN = (NOUN (DOG BARKS) (BARKS) _::X17505 (DOG _::X17505))
  228. RETURN = (NOUNPHRASE (A DOG BARKS) (BARKS) _::X17496 _::P117494
  229.  (EXISTS _::X17496 (& (DOG _::X17496) _::P117494)))
  230. CALL = (VERBPHRASE (BARKS) _::S317492 _::X17496 _::P117494)
  231. CALL = (TRANSVERB (BARKS) _::S217535 _::X17538 _::Y17539 _::P117537)
  232. FAIL = (TRANSVERB (BARKS) _::S217535 _::X17538 _::Y17539 _::P117537)
  233. CALL = (INTRANSVERB (BARKS) _::S117550 _::X17552 _::P17551)
  234. RETURN = (INTRANSVERB (BARKS) NIL _::X17552 (BARKS _::X17552))
  235. RETURN = (VERBPHRASE (BARKS) NIL _::X17496 (BARKS _::X17496))
  236. RETURN = (SENTENCE (A DOG BARKS) NIL
  237.  (EXISTS _::X17512 (& (DOG _::X17512) (BARKS _::X17512))))
  238. P = (EXISTS _::X17512 (& (DOG _::X17512) (BARKS _::X17512)))
  239. REDO = (SENTENCE (A DOG BARKS) NIL
  240.  (EXISTS _::X17512 (& (DOG _::X17512) (BARKS _::X17512))))
  241. REDO = (VERBPHRASE (BARKS) NIL _::X17496 (BARKS _::X17496))
  242. REDO = (INTRANSVERB (BARKS) NIL _::X17552 (BARKS _::X17552))
  243. FAIL = (INTRANSVERB (BARKS) _::S117550 _::X17552 _::P17551)
  244. FAIL = (VERBPHRASE (BARKS) _::S317492 _::X17496 _::P117494)
  245. REDO = (NOUNPHRASE (A DOG BARKS) (BARKS) _::X17496 _::P117494
  246.  (EXISTS _::X17496 (& (DOG _::X17496) _::P117494)))
  247. REDO = (NOUN (DOG BARKS) (BARKS) _::X17505 (DOG _::X17505))
  248. FAIL = (NOUN (DOG BARKS) _::S317500 _::X17505 _::P317504)
  249. REDO = (DETERMINER (A DOG BARKS) (DOG BARKS) _::X17505 _::P217503 _::P117502
  250.  (EXISTS _::X17505 (& _::P217503 _::P117502)))
  251. FAIL = (DETERMINER (A DOG BARKS) _::S217499 _::X17505 _::P217503 _::P117502 _::P17501)
  252. FAIL = (NOUNPHRASE (A DOG BARKS) _::S217491 _::X17496 _::P117494 _::P17493)
  253. FAIL = (SENTENCE (A DOG BARKS) NIL _::P17488)
  254. No other solutions.
  255. CPU Time: 0.88 sec., Real Time: 5.96 sec.
  256. GC CPU Time: 20.33 sec., GC Real Time: 26.63 sec.
  257. NIL
  258. Lisp> (dribble)
  259.