Advertisement
logicmoo

Untitled

May 1st, 2019
657
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 6.18 KB | None | 0 0
  1. G:\opt\CYC_JRTL_with_CommonLisp\platform\e2c\shrdlu\consoleshrdlu>clisp -M lispinit.mem -i loader.lisp
  2.   i i i i i i i       ooooo    o        ooooooo   ooooo   ooooo
  3.   I I I I I I I      8     8   8           8     8     o  8    8
  4.   I  \ `+' /  I      8         8           8     8        8    8
  5.   \  `-+-'  /       8         8           8      ooooo   8oooo
  6.     `-__|__-'        8         8           8           8  8
  7.        |            8     o   8           8     o     8  8
  8.  ------+------       ooooo    8oooooo  ooo8ooo   ooooo   8
  9.  
  10. Copyright (c) Bruno Haible, Michael Stoll 1992, 1993
  11. Copyright (c) Bruno Haible, Marcus Daniels 1994-1997
  12. Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998
  13. Copyright (c) Bruno Haible, Sam Steingold 1999
  14.  
  15. ;; Loading file loader.lisp ...
  16. ;;  Loading file fixes.lisp ...
  17. ;;  Loading of file fixes.lisp is finished.
  18. ;;  Loading file progmr.lisp ...
  19. ;;  Loading of file progmr.lisp is finished.
  20. ;;  Loading file cgram.lisp ...
  21. ;;  Loading of file cgram.lisp is finished.
  22. ;;  Loading file syscom.lisp ...
  23. ;;  Loading of file syscom.lisp is finished.
  24. ;;  Loading file smutil.lisp ...
  25. ;;  Loading of file smutil.lisp is finished.
  26. ;;  Loading file smspec.lisp ...
  27. ;;  Loading of file smspec.lisp is finished.
  28. ;;  Loading file smass.lisp ...
  29. ;;  Loading of file smass.lisp is finished.
  30. ;;  Loading file dictio.lisp ...
  31. ;;  Loading of file dictio.lisp is finished.
  32. ;;  Loading file morpho.lisp ...
  33. ;;  Loading of file morpho.lisp is finished.
  34. ;;  Loading file show.lisp ...
  35. ;;  Loading of file show.lisp is finished.
  36. ;;  Loading file blockl.lisp ...
  37. ;;  Loading of file blockl.lisp is finished.
  38. ;;  Loading file plnr.lisp ...
  39. ;;  Loading of file plnr.lisp is finished.
  40. ;;  Loading file setup.lisp ...
  41. ;;  Loading of file setup.lisp is finished.
  42. ;;  Loading file thtrac.lisp ...
  43. ;;  Loading of file thtrac.lisp is finished.
  44. ;;  Loading file blockp.lisp ...
  45. ;;  Loading of file blockp.lisp is finished.
  46. ;;  Loading file data.lisp ...
  47. ;;  Loading of file data.lisp is finished.
  48. ;;  Loading file newans.lisp ...
  49. ;;  Loading of file newans.lisp is finished.
  50. ;;  Loading file mover.lisp ...
  51. ;;  Loading of file mover.lisp is finished.
  52.  
  53. SHRDLU version UMR-1.0
  54. Loaded 5/1/2019 in CLISP 1999-07-22 (July 1999)
  55.  
  56.  
  57. READY
  58. PICKUP BIG RED BLOCK
  59.  
  60. *SORRY I DON'T KNOW THE WORD " PICKUP ".
  61. PLEASE TYPE <LF> AND CONTINUE THE SENTENCE.
  62. READY
  63.  .
  64. I DON'T UNDERSTAND.
  65. READY
  66. PICK UP BIG RED BLOCK.
  67. I DON'T UNDERSTAND.
  68. READY
  69. Pick up a big red block.
  70. ~MOVING HAND TO (100 340 500)~
  71. ~GRASPING BLOCK B7~
  72. ~MOVING HAND TO (285 970 200)~
  73. ~LETTING GO~
  74. ~MOVING HAND TO (100 450 300)~
  75. ~GRASPING BLOCK B6~
  76. ~MOVING HAND TO (100 450 1000)~
  77. OK .
  78.  
  79. READY
  80. Grasp the pyramid.
  81. I DON'T KNOW WHICH PYRAMID YOU MEAN.
  82. READY
  83. Find a block which is taller than the one you are holding and put it into the box.
  84. ~CHOOSING BLOCK B10~
  85. ~MOVING HAND TO (200 420 300)~
  86. ~LETTING GO~
  87. ~MOVING HAND TO (400 690 400)~
  88. ~GRASPING BLOCK B10~
  89. ~MOVING HAND TO (700 890 401)~
  90. ~LETTING GO~
  91. OK .
  92.  
  93. READY
  94.  
  95.  
  96.  
  97.  
  98.  
  99.  
  100.  
  101.  
  102. but new CLISP...
  103.  
  104.  
  105. root@gitlab:/mnt/gggg/opt/CYC_JRTL_with_CommonLisp/platform/e2c/shrdlu/consoleshrdlu# clisp -ansi
  106.  i i i i i i i       ooooo    o        ooooooo   ooooo   ooooo
  107.  I I I I I I I      8     8   8           8     8     o  8    8
  108.  I  \ `+' /  I      8         8           8     8        8    8
  109.    \  `-+-'  /       8         8           8      ooooo   8oooo
  110.    `-__|__-'        8         8           8           8  8
  111.         |            8     o   8           8     o     8  8
  112.   ------+------       ooooo    8oooooo  ooo8ooo   ooooo   8
  113.  
  114. Welcome to GNU CLISP 2.49.60+ (2017-06-25) <http://clisp.org/>
  115.  
  116. Copyright (c) Bruno Haible, Michael Stoll 1992, 1993
  117. Copyright (c) Bruno Haible, Marcus Daniels 1994-1997
  118. Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998
  119. Copyright (c) Bruno Haible, Sam Steingold 1999-2000
  120. Copyright (c) Sam Steingold, Bruno Haible 2001-2010
  121.  
  122. Type :h and hit Enter for context help.
  123.  
  124. [1]> (load "loader.lisp")
  125. ;; Loading file loader.lisp ...
  126. ;;  Loading file fixes.lisp ...
  127. ;;  Loaded file fixes.lisp
  128. ;;  Loading file progmr.lisp ...
  129. ;;  Loaded file progmr.lisp
  130. ;;  Loading file cgram.lisp ...
  131. ;;  Loaded file cgram.lisp
  132. ;;  Loading file syscom.lisp ...
  133. ;;  Loaded file syscom.lisp
  134. ;;  Loading file smutil.lisp ...
  135. ;;  Loaded file smutil.lisp
  136. ;;  Loading file smspec.lisp ...
  137. ;;  Loaded file smspec.lisp
  138. ;;  Loading file smass.lisp ...
  139. ;;  Loaded file smass.lisp
  140. ;;  Loading file dictio.lisp ...
  141. ;;  Loaded file dictio.lisp
  142. ;;  Loading file morpho.lisp ...
  143. ;;  Loaded file morpho.lisp
  144. ;;  Loading file show.lisp ...
  145. ;;  Loaded file show.lisp
  146. ;;  Loading file blockl.lisp ...
  147. ;;  Loaded file blockl.lisp
  148. ;;  Loading file plnr.lisp ...
  149. ;;  Loaded file plnr.lisp
  150. ;;  Loading file setup.lisp ...
  151. ;;  Loaded file setup.lisp
  152. ;;  Loading file thtrac.lisp ...
  153. ;;  Loaded file thtrac.lisp
  154. ;;  Loading file blockp.lisp ...
  155. ;;  Loaded file blockp.lisp
  156. ;;  Loading file data.lisp ...
  157. ;;  Loaded file data.lisp
  158. ;;  Loading file newans.lisp ...
  159. ;;  Loaded file newans.lisp
  160. ;;  Loading file mover.lisp ...
  161. ;;  Loaded file mover.lisp
  162.  
  163. SHRDLU version UMR-1.0
  164. Loaded 4/30/2019 in CLISP 2.49.60+ (2017-06-25) (built on lgw01-amd64-012.buildd [127.0.1.1])
  165.  
  166. You are now in a read-eval-print loop.
  167. Type "go" to enter ready state.
  168.  
  169. >>> go
  170.  
  171. READY
  172. PICK UP A BIG RED BLOCK.
  173.  
  174. >1 #### PARSING: (CLAUSE MAJOR TOPLEVEL)
  175. >2 #### PARSING: (NG TIME)
  176. >2 PARSE FAILED
  177. >2 #### PARSING: (VG IMPER)
  178. >2 PARSE SUCEEDED: VG  (PICK)
  179. >2 #### PARSING: (NG OBJ OBJ1)
  180. >2 PARSE SUCEEDED: NG  (A BIG RED BLOCK)
  181. >1 PARSE SUCEEDED: CLAUSE  (PICK UP A BIG RED BLOCK)
  182.  
  183. (THAND (THGOAL (|#PICKUP| #:OSS4) (THDBF MUMBLE) (THUSE TC-2)) (VALUEPUT) (SETQ SUCCESS T) (SETQ PLAN2 PLAN))
  184.  
  185. *** - APPLY: dotted argument list given to #<FUNCTION THTRUE (&REST X) (DECLARE (SYSTEM::IN-DEFUN THTRUE)) (BLOCK THTRUE T)> : TC-2
  186. The following restarts are available:
  187. SKIP           :R1      skip (INITIALSTUFF 'UMR-1.0 NIL)
  188. RETRY          :R2      retry (INITIALSTUFF 'UMR-1.0 NIL)
  189. STOP           :R3      stop loading file /mnt/gggg/opt/CYC_JRTL_with_CommonLisp/platform/e2c/shrdlu/consoleshrdlu/loader.lisp
  190. ABORT          :R4      Abort main loop
  191. Break 1 [2]>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement