API tools faq
paste
Advertisement
logicmoo

Untitled

logicmoo
Oct 27th, 2018
566
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 18.29 KB | None | 0 0
raw download clone embed print report
  1. root@gitlab:~# mkdir -p TRYIT
  2. root@gitlab:~# cd TRYIT/
  3. root@gitlab:~/TRYIT# git clone https://github.com/TeamSPoon/prologmud_I7
  4. Cloning into 'prologmud_I7'...
  5. remote: Enumerating objects: 583, done.
  6. remote: Counting objects: 100% (583/583), done.
  7. remote: Compressing objects: 100% (339/339), done.
  8. remote: Total 583 (delta 302), reused 473 (delta 192), pack-reused 0
  9. Receiving objects: 100% (583/583), 11.18 MiB | 5.96 MiB/s, done.
  10. Resolving deltas: 100% (302/302), done.
  11. root@gitlab:~/TRYIT# cd prologmud_I7/prolog/
  12. root@gitlab:~/TRYIT/prologmud_I7/prolog# swipl nldata/wn_frames.pl
  13. Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.18-18-g82c1e9564-DIRTY)
  14. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  15. Please run ?- license. for legal details.
  16.  
  17. For online help and background, visit http://www.swi-prolog.org
  18. For built-in help, use ?- help(Topic). or ?- apropos(Word).
  19.  
  20. root@gitlab:~/TRYIT/prologmud_I7/prolog# swipl nldata/wn_frames.pl
  21. Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.18-18-g82c1e9564-DIRTY)
  22. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  23. Please run ?- license. for legal details.
  24.  
  25. For online help and background, visit http://www.swi-prolog.org
  26. For built-in help, use ?- help(Topic). or ?- apropos(Word).
  27.  
  28. ?- pack_install(pfc).
  29. % Contacting server at http://www.swi-prolog.org/pack/query ... ok
  30. Install pfc@1.1.118 from GIT at https://github.com/TeamSPoon/pfc.git Y/n?
  31. % Cloning into '/root/lib/swipl/pack/pfc'...
  32. % Contacting server at http://www.swi-prolog.org/pack/query ... ok
  33. Warning: Package depends on the following:
  34. Warning:   "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  35. Warning:   "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  36. Warning:     "logicmoo_utils", provided by installed pack logicmoo_utils
  37. Warning:     "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  38. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  39. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  40. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  41. Warning:       "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  42. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  43. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  44. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  45. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  46. Warning:         "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  47. Warning:         "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  48. Warning:           "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  49. Warning:             "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  50. Warning:         "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  51. Warning:         "subclause_expansion", provided by subclause_expansion@1.1.118 from https://github.com/TeamSPoon/subclause_expansion.git
  52. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  53. Warning:           "logicmoo_utils", provided by installed pack logicmoo_utils
  54. Warning:       "logicmoo_utils", provided by installed pack logicmoo_utils
  55. Warning:       "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  56. Warning:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  57. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  58. Warning:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  59. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  60. Warning:       "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  61. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  62. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  63. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  64. Warning:   "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  65. Warning:     "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  66. Warning:       "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  67. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  68. Warning:     "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  69. Warning:     "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  70. Warning:       "logicmoo_utils", provided by installed pack logicmoo_utils
  71. Warning:       "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  72. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  73. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  74. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  75. Warning:         "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  76. Warning:         "logicmoo_utils", provided by installed pack logicmoo_utils
  77. Warning:         "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  78. Warning:           "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  79. Warning:             "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  80. Warning:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  81. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  82. Warning:         "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  83. Warning:           "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  84. Warning:             "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  85. Warning:               "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  86. Warning:     "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  87. Warning:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  88. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  89. Warning:     "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  90. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  91. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  92. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  93. Warning:       "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  94. Warning:       "logicmoo_utils", provided by installed pack logicmoo_utils
  95. Warning:       "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  96. Warning:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  97. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  98. Warning:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  99. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  100. Warning:       "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  101. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  102. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  103. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  104. Warning:     "subclause_expansion", provided by subclause_expansion@1.1.118 from https://github.com/TeamSPoon/subclause_expansion.git
  105. Warning:       "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  106. Warning:       "logicmoo_utils", provided by installed pack logicmoo_utils
  107. Warning:   "logicmoo_utils", provided by installed pack logicmoo_utils
  108. Warning:   "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  109. Warning:     "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  110. Warning:       "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  111. Warning:   "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  112. Warning:     "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  113. Warning:       "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  114. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  115. Warning:     "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  116. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  117. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  118. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  119. Warning:       "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  120. Warning:       "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  121. Warning:         "logicmoo_utils", provided by installed pack logicmoo_utils
  122. Warning:         "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  123. Warning:       "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  124. Warning:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  125. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  126. Warning:       "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  127. Warning:       "subclause_expansion", provided by subclause_expansion@1.1.118 from https://github.com/TeamSPoon/subclause_expansion.git
  128. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  129. Warning:         "logicmoo_utils", provided by installed pack logicmoo_utils
  130. Warning:     "logicmoo_utils", provided by installed pack logicmoo_utils
  131. Warning:     "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  132. Warning:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  133. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  134. Warning:     "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  135. Warning:       "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  136. Warning:     "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  137. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  138. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  139. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  140. Warning:   "no_repeats", provided by installed pack no_repeats
  141. Warning:   "s_expression", provided by s_expression@1.1.118 from https://github.com/TeamSPoon/s_expression.git
  142. Warning:     "with_open_options", provided by with_open_options@1.1.118 from https://github.com/TeamSPoon/with_open_options.git
  143. Warning:   "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  144. Warning:     "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  145. Warning:   "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  146. Warning:     "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  147. Warning:       "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  148. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  149.  
  150. What do you wish to do
  151.    (1) * Install proposed dependencies
  152.    (2)   Only install requested package
  153.    (3)   Cancel
  154.  
  155. Your choice?
  156. % "pfc.git" was downloaded 1 times
  157. % Cloning into '/root/lib/swipl/pack/each_call_cleanup'...
  158. i each_call_cleanup@1.1.118 - Each Call Redo Setup and Cleanup
  159. % Updating index for library /root/lib/swipl/pack/each_call_cleanup/prolog/
  160. % Cloning into '/root/lib/swipl/pack/file_scope'...
  161. i file_scope@1.1.118        - File local scoped efects
  162. % Updating index for library /root/lib/swipl/pack/file_scope/prolog/
  163. % Cloning into '/root/lib/swipl/pack/must_trace'...
  164. i must_trace@1.1.118        - Trace with your eyeballs instead of your fingers
  165. % Updating index for library /root/lib/swipl/pack/must_trace/prolog/
  166. % Cloning into '/root/lib/swipl/pack/clause_attvars'...
  167. i clause_attvars@1.1.118    - An alternate interface to the clause database to allow attributed variables to be asserted
  168. % Updating index for library /root/lib/swipl/pack/clause_attvars/prolog/
  169. % Cloning into '/root/lib/swipl/pack/dictoo'...
  170. i dictoo@1.1.118            - Dict-like OO Syntax
  171. % Cloning into '/root/lib/swipl/pack/gvar_syntax'...
  172. i gvar_syntax@1.1.118       - Global Variable Syntax
  173. % Cloning into '/root/lib/swipl/pack/hook_hybrid'...
  174. i hook_hybrid@1.1.118       - Hook assert retract call of *specific* predicates
  175. % Updating index for library /root/lib/swipl/pack/hook_hybrid/prolog/
  176. % Cloning into '/root/lib/swipl/pack/loop_check'...
  177. i loop_check@1.1.118        - New simple loop checking
  178. % Updating index for library /root/lib/swipl/pack/loop_check/prolog/
  179. % Cloning into '/root/lib/swipl/pack/with_thread_local'...
  180. i with_thread_local@1.1.118 - Call a Goal with local assertions
  181. % Updating index for library /root/lib/swipl/pack/with_thread_local/prolog/
  182. % Cloning into '/root/lib/swipl/pack/subclause_expansion'...
  183. i subclause_expansion@1.1.118 - More use specific versions of term/goal expansion hooks
  184. % Updating index for library /root/lib/swipl/pack/subclause_expansion/prolog/
  185. % Cloning into '/root/lib/swipl/pack/xlisting'...
  186. i xlisting@1.1.118          - Selective Interactive Non-Deterministic Tracing
  187. % Updating index for library /root/lib/swipl/pack/xlisting/prolog/
  188. % Cloning into '/root/lib/swipl/pack/s_expression'...
  189. i s_expression@1.1.118      - Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF
  190. % Updating index for library /root/lib/swipl/pack/s_expression/prolog/
  191. % Cloning into '/root/lib/swipl/pack/with_open_options'...
  192. i with_open_options@1.1.118 - Utilities to open various objects for read/write
  193. % Updating index for library /root/lib/swipl/pack/with_open_options/prolog/
  194. Package:                pfc
  195. Title:                  Pfc -- a package for forward chaining in Prolog
  196. Installed version:      1.1.118
  197. Author:                 Douglas R. Miles <logicmoo@gmail.com>
  198. Packager:               TeamSPoon/LogicMoo <https://github.com/TeamSPoon/>
  199. Home page:              https://github.com/TeamSPoon/pfc
  200. Download URL:           https://github.com/TeamSPoon/pfc/releases/*.zip
  201. Requires:               hook_hybrid, must_trace, loop_check, file_scope, xlisting, no_repeats, s_expression, each_call_cleanup, with_thread_local, logicmoo_utils
  202. Activate pack "pfc" Y/n?
  203. true.
  204.  
  205. ?- tellstems.
  206. true.
  207.  
  208. ?- ^D
  209. % halt
  210. root@gitlab:~/TRYIT/prologmud_I7/prolog# ls
  211. adv_chat80.pl  chat80  chat80.pl  marty_white  nldata  nomic_mu.pl  parser_sharing.pl  poor_bugger.pl  student_cis_554  tellstems  working
  212.  
  213. root@gitlab:~/TRYIT/prologmud_I7/prolog# swipl -l tellstems
  214. Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.18-18-g82c1e9564-DIRTY)
  215. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  216. Please run ?- license. for legal details.
  217.  
  218. For online help and background, visit http://www.swi-prolog.org
  219. For built-in help, use ?- help(Topic). or ?- apropos(Word).
  220.  
  221. ?- my_stems(X,aimlessness).
  222.  
  223. X = aimless ;
  224. X = purposeless.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!