API tools faq
paste
Advertisement
logicmoo

PFC INSTALL

logicmoo
Nov 7th, 2017
677
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 32.72 KB | None | 0 0
raw download clone embed print report
  1. root@gitlab:/home/dmiles/logicmoo_workspace/packs_usr/wam_common_lisp/prolog/wam_cl# adduser pfc_test_user
  2. Adding user `pfc_test_user' ...
  3. Adding new group `pfc_test_user' (1007) ...
  4. Adding new user `pfc_test_user' (1007) with group `pfc_test_user' ...
  5. Creating home directory `/home/pfc_test_user' ...
  6. Changing the user information for pfc_test_user
  7. Enter the new value, or press ENTER for the default
  8.        Full Name []:
  9.        Room Number []:
  10.        Work Phone []:
  11.        Home Phone []:
  12.        Other []:
  13. Is the information correct? [Y/n]
  14. root@gitlab:/home/dmiles/logicmoo_workspace/packs_usr/wam_common_lisp/prolog/wam_cl# su - pfc_test_user
  15. cd /mnt/dddd/workspace/runtime
  16. cd /mnt/dddd/workspace/phase02-jrtl/platform
  17. export DISPLAY=10.0.0.122:0.0
  18. ~ /home/dmiles/logicmoo_workspace/packs_usr/logicmoo_base/t/examples/fol
  19. ~ /home/dmiles/logicmoo_workspace/packs_usr/prologmud_samples/prolog/prologmud_sample_games /home/dmiles/logicmoo_workspace/packs_usr/logicmoo_base/t/examples/fol
  20. pfc_test_user@gitlab:~$ swipl
  21. Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.2)
  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.  
  32. Create directory for packages
  33.   (1) * /home/pfc_test_user/lib/swipl/pack
  34.   (2)   Cancel
  35.  
  36. Your choice?
  37. % Cloning into '/home/pfc_test_user/lib/swipl/pack/pfc'...
  38. % Contacting server at http://www.swi-prolog.org/pack/query ... ok
  39. Warning: Package depends on the following:
  40. Warning:   "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  41. Warning:   "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  42. Warning:     "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  43. Warning:     "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  44. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  45. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  46. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  47. Warning:       "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  48. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  49. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  50. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  51. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  52. Warning:         "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  53. Warning:         "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  54. Warning:           "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  55. Warning:             "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  56. Warning:         "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  57. Warning:         "subclause_expansion", provided by subclause_expansion@1.1.118 from https://github.com/TeamSPoon/subclause_expansion.git
  58. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  59. Warning:           "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  60. Warning:       "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  61. Warning:       "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  62. Warning:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  63. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  64. Warning:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  65. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  66. Warning:       "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  67. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  68. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  69. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  70. Warning:   "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  71. Warning:     "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  72. Warning:       "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  73. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  74. Warning:     "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  75. Warning:     "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  76. Warning:       "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  77. Warning:       "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  78. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  79. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  80. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  81. Warning:         "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  82. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  83. Warning:         "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  84. Warning:           "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  85. Warning:             "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  86. Warning:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  87. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  88. Warning:         "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  89. Warning:           "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  90. Warning:             "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  91. Warning:               "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  92. Warning:     "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  93. Warning:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  94. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  95. Warning:     "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  96. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  97. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  98. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  99. Warning:       "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  100. Warning:       "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  101. Warning:       "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  102. Warning:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  103. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  104. Warning:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  105. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  106. Warning:       "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  107. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  108. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  109. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  110. Warning:     "subclause_expansion", provided by subclause_expansion@1.1.118 from https://github.com/TeamSPoon/subclause_expansion.git
  111. Warning:       "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  112. Warning:       "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  113. Warning:   "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  114. Warning:   "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  115. Warning:     "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  116. Warning:       "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  117. Warning:   "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  118. Warning:     "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  119. Warning:       "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  120. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  121. Warning:     "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  122. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  123. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  124. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.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:       "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  127. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  128. Warning:         "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  129. Warning:       "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  130. Warning:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  131. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  132. Warning:       "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  133. Warning:       "subclause_expansion", provided by subclause_expansion@1.1.118 from https://github.com/TeamSPoon/subclause_expansion.git
  134. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  135. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  136. Warning:     "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  137. Warning:     "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  138. Warning:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  139. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  140. Warning:     "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  141. Warning:       "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  142. Warning:     "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  143. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  144. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  145. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  146. Warning:   "no_repeats", provided by no_repeats@1.1.118 from https://github.com/TeamSPoon/no_repeats.git
  147. Warning:   "s_expression", provided by s_expression@1.1.118 from https://github.com/TeamSPoon/s_expression.git
  148. Warning:     "with_open_options", provided by with_open_options@1.1.118 from https://github.com/TeamSPoon/with_open_options.git
  149. Warning:   "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  150. Warning:     "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  151. Warning:   "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  152. Warning:     "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  153. Warning:       "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  154. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  155.  
  156. What do you wish to do
  157.   (1) * Install proposed dependencies
  158.   (2)   Only install requested package
  159.   (3)   Cancel
  160.  
  161. Your choice?
  162. % "pfc.git" was downloaded 3 times
  163. % Cloning into '/home/pfc_test_user/lib/swipl/pack/each_call_cleanup'...
  164. i each_call_cleanup@1.1.118 - Each Call Redo Setup and Cleanup
  165. % Updating index for library /home/pfc_test_user/lib/swipl/pack/each_call_cleanup/prolog/
  166. % Cloning into '/home/pfc_test_user/lib/swipl/pack/file_scope'...
  167. i file_scope@1.1.118        - File local scoped efects
  168. % Updating index for library /home/pfc_test_user/lib/swipl/pack/file_scope/prolog/
  169. % Cloning into '/home/pfc_test_user/lib/swipl/pack/logicmoo_utils'...
  170. i logicmoo_utils@1.1.118    - Common predicates used by external Logicmoo Utils and Base
  171. % Updating index for library /home/pfc_test_user/lib/swipl/pack/logicmoo_utils/prolog/
  172. % Cloning into '/home/pfc_test_user/lib/swipl/pack/must_trace'...
  173. i must_trace@1.1.118        - Trace with your eyeballs instead of your fingers
  174. % Updating index for library /home/pfc_test_user/lib/swipl/pack/must_trace/prolog/
  175. % Cloning into '/home/pfc_test_user/lib/swipl/pack/clause_attvars'...
  176. i clause_attvars@1.1.118    - An alternate interface to the clause database to allow attributed variables to be asserted
  177. % Updating index for library /home/pfc_test_user/lib/swipl/pack/clause_attvars/prolog/
  178. % Cloning into '/home/pfc_test_user/lib/swipl/pack/dictoo'...
  179. i dictoo@1.1.118            - Dict-like OO Syntax
  180. % Cloning into '/home/pfc_test_user/lib/swipl/pack/gvar_syntax'...
  181. i gvar_syntax@1.1.118       - Global Variable Syntax
  182. % Cloning into '/home/pfc_test_user/lib/swipl/pack/hook_hybrid'...
  183. i hook_hybrid@1.1.118       - Hook assert retract call of *specific* predicates
  184. % Updating index for library /home/pfc_test_user/lib/swipl/pack/hook_hybrid/prolog/
  185. % Cloning into '/home/pfc_test_user/lib/swipl/pack/loop_check'...
  186. i loop_check@1.1.118        - New simple loop checking
  187. % Updating index for library /home/pfc_test_user/lib/swipl/pack/loop_check/prolog/
  188. % Cloning into '/home/pfc_test_user/lib/swipl/pack/with_thread_local'...
  189. i with_thread_local@1.1.118 - Call a Goal with local assertions
  190. % Updating index for library /home/pfc_test_user/lib/swipl/pack/with_thread_local/prolog/
  191. % Cloning into '/home/pfc_test_user/lib/swipl/pack/subclause_expansion'...
  192. i subclause_expansion@1.1.118 - More use specific versions of term/goal expansion hooks
  193. % Updating index for library /home/pfc_test_user/lib/swipl/pack/subclause_expansion/prolog/
  194. % Cloning into '/home/pfc_test_user/lib/swipl/pack/xlisting'...
  195. i xlisting@1.1.118          - Selective Interactive Non-Deterministic Tracing
  196. % Updating index for library /home/pfc_test_user/lib/swipl/pack/xlisting/prolog/
  197. % Cloning into '/home/pfc_test_user/lib/swipl/pack/no_repeats'...
  198. i no_repeats@1.1.118        - New ways to avoid duplicate solutions
  199. % Updating index for library /home/pfc_test_user/lib/swipl/pack/no_repeats/prolog/
  200. % Cloning into '/home/pfc_test_user/lib/swipl/pack/s_expression'...
  201. i s_expression@1.1.118      - Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF
  202. % Updating index for library /home/pfc_test_user/lib/swipl/pack/s_expression/prolog/
  203. % Cloning into '/home/pfc_test_user/lib/swipl/pack/with_open_options'...
  204. i with_open_options@1.1.118 - Utilities to open various objects for read/write
  205. % Updating index for library /home/pfc_test_user/lib/swipl/pack/with_open_options/prolog/
  206. Package:                pfc
  207. Title:                  Pfc -- a package for forward chaining in Prolog
  208. Installed version:      1.1.118
  209. Author:                 Douglas R. Miles <logicmoo@gmail.com>
  210. Packager:               TeamSPoon/LogicMoo <https://github.com/TeamSPoon/>
  211. Home page:              https://github.com/TeamSPoon/pfc
  212. Download URL:           https://github.com/TeamSPoon/pfc/releases/*.zip
  213. Requires:               hook_hybrid, must_trace, loop_check, file_scope, xlisting, no_repeats, s_expression, each_call_cleanup, with_thread_local, logicmoo_utils
  214. Activate pack "pfc" Y/n?
  215. true.
  216.  
  217. ?- ^D
  218. % halt
  219. pfc_test_user@gitlab:~$ swipl
  220. Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.2)
  221. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  222. Please run ?- license. for legal details.
  223.  
  224. For online help and background, visit http://www.swi-prolog.org
  225. For built-in help, use ?- help(Topic). or ?- apropos(Word).
  226.  
  227. ?- use_module(library(pfc)).
  228. % /home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:110
  229. % baseKB:mpred_fwc1((~_2260058, _2260058==>{dmsg(warn(conflict(_2260058)))})).
  230. %       Adding positive
  231. %               trigger: ~_2272090
  232. %               body: mpred_positive_fact(_2272090)*->pt(_2272090,rhs([{dmsg(warn(conflict(_2272090)))}]))
  233. %        Support: (~_2268736,_2268736==>{dmsg(warn(conflict(_2268736)))}),mfl(baseKB,'/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',110)
  234. %       Found positive trigger: ~_2277826,_2277826==>{dmsg(warn(conflict(_2277826)))}
  235. %               body: mpred_positive_fact((~_2277826,_2277826==>{dmsg(warn(conflict(_2277826)))}))*->rhs([\+ ~ (~_2277826,_2277826==>{dmsg(warn(conflict(_2277826)))})])
  236. % /home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:132
  237. % warn(mtHybrid(user)).
  238. :- dynamic mpred_unload_option/2.
  239.  
  240.  
  241. % /home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:577
  242. % baseKB:mpred_fwc1(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl', never)).
  243. %       Found positive trigger: mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  244. %               body: mpred_positive_fact(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)])
  245. %               RHS-Withdrawing-Negation: \+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  246. %       Support: mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never),pt(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never),(mpred_positive_fact(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)])))
  247. % mpred_withdraw/2 Could not find support unKnown_suppoRt to remove (fact): ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  248. :- dynamic mpred_unload_option/2.
  249.  
  250. mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl', never).
  251.  
  252. %   system_base.pfc compiled into system_base_lite 0.49 sec, 4 clauses
  253. % /home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl:137
  254. % baseKB:mpred_fwc1(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl', never)).
  255. %       Found positive trigger: mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  256. %               body: mpred_positive_fact(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)])
  257. %               RHS-Withdrawing-Negation: \+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  258. %       Support: mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never),pt(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never),(mpred_positive_fact(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)])))
  259. % mpred_withdraw/2 Could not find support unKnown_suppoRt to remove (fact): ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  260. :- dynamic mpred_unload_option/2.
  261.  
  262. mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl', never).
  263. mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl', never).
  264.  
  265. %   system_mdefault.pfc compiled into baseKB 0.03 sec, 0 clauses
  266. %   system_module_inheritance.pfc compiled into baseKB 0.00 sec, 0 clauses
  267. %   system_singleValued.pfc compiled into baseKB 0.12 sec, 0 clauses
  268. %  pfclib/system_autoexec.pfc compiled into baseKB 0.69 sec, 4 clauses
  269. % Started at Tue Nov  7 15:05:43 2017
  270. % 4.320 seconds cpu time for 16,696,186 inferences
  271. % 15,238 atoms, 10,831 functors, 10,650 predicates, 197 modules, 524,294 VM-codes
  272. %
  273. %                        Limit    Allocated       In use
  274. % Local  stack: 16,000,004,096      258,048        3,864 Bytes
  275. % Global stack: 16,000,004,096   25,161,712   18,096,944 Bytes
  276. % Trail  stack: 16,000,002,048    6,289,400        7,512 Bytes
  277. %
  278. % 2 garbage collections gained 76,088 bytes in 0.000 seconds.
  279. % 1 atom garbage collections gained 8,174 atoms in 0.015 seconds.
  280. % 61 clause garbage collections gained 2,062 clauses in 0.003 seconds.
  281. % Stack shifts: 4 local, 13 global, 9 trail in 0.002 seconds
  282. % 2 threads, 0 finished threads used 0.000 seconds
  283. true.
  284.  
  285. ?- make.
  286. % Updating index for library /home/pfc_test_user/lib/swipl/pack/clause_attvars/prolog/
  287. % Updating index for library /home/pfc_test_user/lib/swipl/pack/each_call_cleanup/prolog/
  288. % Updating index for library /home/pfc_test_user/lib/swipl/pack/file_scope/prolog/
  289. % Updating index for library /home/pfc_test_user/lib/swipl/pack/hook_hybrid/prolog/
  290. % Updating index for library /home/pfc_test_user/lib/swipl/pack/logicmoo_utils/prolog/
  291. % Updating index for library /home/pfc_test_user/lib/swipl/pack/loop_check/prolog/
  292. % Updating index for library /home/pfc_test_user/lib/swipl/pack/must_trace/prolog/
  293. % Updating index for library /home/pfc_test_user/lib/swipl/pack/no_repeats/prolog/
  294. % Updating index for library /home/pfc_test_user/lib/swipl/pack/s_expression/prolog/
  295. % Updating index for library /home/pfc_test_user/lib/swipl/pack/subclause_expansion/prolog/
  296. % Updating index for library /home/pfc_test_user/lib/swipl/pack/with_open_options/prolog/
  297. % Updating index for library /home/pfc_test_user/lib/swipl/pack/with_thread_local/prolog/
  298. % Updating index for library /home/pfc_test_user/lib/swipl/pack/xlisting/prolog/
  299. % prolog:make_hook(before, []).
  300. % prolog:make_hook(after, []).
  301. ERROR: /home/pfc_test_user/lib/swipl/pack/s_expression/prolog/sexpr_reader.pl:566:
  302.        source_sink `'chars.pro'' does not exist
  303. Warning: /home/pfc_test_user/lib/swipl/pack/s_expression/prolog/sexpr_reader.pl:566:
  304.         Goal (directive) failed: sexpr_reader:use_module('chars.pro')
  305. % Found new meta-predicates in iteration 1 (0.521 sec)
  306. % :- meta_predicate mpred_kb_ops:without_running(0).
  307. % :- meta_predicate mpred_core:must_ex(0).
  308. % :- meta_predicate mpred_core:clause_u_attv_m(*,0,*,*,*,*).
  309. % :- meta_predicate baseKB:t(7,?,?,?,?,?,?,?).
  310. % :- meta_predicate baseKB:t(1,?).
  311. % :- meta_predicate baseKB:t(6,?,?,?,?,?,?).
  312. % :- meta_predicate baseKB:t(4,?,?,?,?).
  313. % :- meta_predicate baseKB:t(5,?,?,?,?,?).
  314. % :- meta_predicate baseKB:t(3,?,?,?).
  315. % :- meta_predicate baseKB:t(2,?,?).
  316. % Restarting analysis ...
  317. true.
  318.  
  319. ?- ^D
  320. % halt
  321. pfc_test_user@gitlab:~$ swipl
  322. Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.2)
  323. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  324. Please run ?- license. for legal details.
  325.  
  326. For online help and background, visit http://www.swi-prolog.org
  327. For built-in help, use ?- help(Topic). or ?- apropos(Word).
  328.  
  329. ?- mpred_add(test123).
  330. ERROR: Undefined procedure: mpred_add/1 (DWIM could not correct goal)
  331. ?- ^D
  332. % halt
  333. pfc_test_user@gitlab:~$ swipl
  334. Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.2)
  335. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  336. Please run ?- license. for legal details.
  337.  
  338. For online help and background, visit http://www.swi-prolog.org
  339. For built-in help, use ?- help(Topic). or ?- apropos(Word).
  340.  
  341. ?- use_module(library(pfc)).
  342. % /home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:110
  343. % baseKB:mpred_fwc1((~_2258780, _2258780==>{dmsg(warn(conflict(_2258780)))})).
  344. %       Adding positive
  345. %               trigger: ~_2270812
  346. %               body: mpred_positive_fact(_2270812)*->pt(_2270812,rhs([{dmsg(warn(conflict(_2270812)))}]))
  347. %        Support: (~_2267458,_2267458==>{dmsg(warn(conflict(_2267458)))}),mfl(baseKB,'/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',110)
  348. %       Found positive trigger: ~_2276548,_2276548==>{dmsg(warn(conflict(_2276548)))}
  349. %               body: mpred_positive_fact((~_2276548,_2276548==>{dmsg(warn(conflict(_2276548)))}))*->rhs([\+ ~ (~_2276548,_2276548==>{dmsg(warn(conflict(_2276548)))})])
  350. % /home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:132
  351. % warn(mtHybrid(user)).
  352. :- dynamic mpred_unload_option/2.
  353.  
  354.  
  355. % /home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:577
  356. % baseKB:mpred_fwc1(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl', never)).
  357. %       Found positive trigger: mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  358. %               body: mpred_positive_fact(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)])
  359. %               RHS-Withdrawing-Negation: \+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  360. %       Support: mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never),pt(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never),(mpred_positive_fact(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)])))
  361. % mpred_withdraw/2 Could not find support unKnown_suppoRt to remove (fact): ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  362. :- dynamic mpred_unload_option/2.
  363.  
  364. mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl', never).
  365.  
  366. %   system_base.pfc compiled into system_base_lite 0.52 sec, 4 clauses
  367. % /home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl:137
  368. % baseKB:mpred_fwc1(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl', never)).
  369. %       Found positive trigger: mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  370. %               body: mpred_positive_fact(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)])
  371. %               RHS-Withdrawing-Negation: \+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  372. %       Support: mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never),pt(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never),(mpred_positive_fact(mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)])))
  373. % mpred_withdraw/2 Could not find support unKnown_suppoRt to remove (fact): ~mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  374. :- dynamic mpred_unload_option/2.
  375.  
  376. mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl', never).
  377. mpred_unload_option('/home/pfc_test_user/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl', never).
  378.  
  379. %   system_mdefault.pfc compiled into baseKB 0.04 sec, 0 clauses
  380. %   system_module_inheritance.pfc compiled into baseKB 0.00 sec, 0 clauses
  381. %   system_singleValued.pfc compiled into baseKB 0.12 sec, 0 clauses
  382. %  pfclib/system_autoexec.pfc compiled into baseKB 0.72 sec, 4 clauses
  383. % Started at Tue Nov  7 15:11:46 2017
  384. % 4.416 seconds cpu time for 16,694,009 inferences
  385. % 15,246 atoms, 10,831 functors, 10,655 predicates, 197 modules, 524,356 VM-codes
  386. %
  387. %                        Limit    Allocated       In use
  388. % Local  stack: 16,000,004,096      258,048        3,864 Bytes
  389. % Global stack: 16,000,004,096   25,161,712   18,091,672 Bytes
  390. % Trail  stack: 16,000,002,048    6,289,400        6,760 Bytes
  391. %
  392. % 2 garbage collections gained 76,088 bytes in 0.000 seconds.
  393. % 1 atom garbage collections gained 8,166 atoms in 0.015 seconds.
  394. % 59 clause garbage collections gained 2,039 clauses in 0.003 seconds.
  395. % Stack shifts: 4 local, 13 global, 9 trail in 0.002 seconds
  396. % 2 threads, 0 finished threads used 0.000 seconds
  397. true.
  398.  
  399. ?- mpred_add(test123).
  400. true.
  401.  
  402. ?- mpred_add(test123==>bar1234).
  403. true.
  404.  
  405. ?- listing(bar1234).
  406. :- dynamic bar1234/0.
  407. :- multifile bar1234/0.
  408. :- public bar1234/0.
  409. :- module_transparent bar1234/0.
  410.  
  411. bar1234.
  412. bar1234 :-
  413.         inherit_above(user, bar1234).
  414.  
  415. true.
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!