API tools faq
paste
Advertisement
logicmoo

adduser pfc_tester

logicmoo
Mar 5th, 2018
273
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 26.08 KB | None | 0 0
raw download clone embed print report
  1. root@gitlab:/opt/logicmoo_workspace/packs_xtra/golorp# adduser pfc_tester
  2. Adding user `pfc_tester' ...
  3. Adding new group `pfc_tester' (1003) ...
  4. Adding new user `pfc_tester' (1003) with group `pfc_tester' ...
  5. Creating home directory `/home/pfc_tester' ...
  6. Copying files from `/etc/skel' ...
  7. Enter new UNIX password:
  8. Retype new UNIX password:
  9. passwd: password updated successfully
  10. Changing the user information for pfc_tester
  11. Enter the new value, or press ENTER for the default
  12.         Full Name []:
  13.         Room Number []:
  14.         Work Phone []:
  15.         Home Phone []:
  16.         Other []:
  17. Is the information correct? [Y/n]
  18. root@gitlab:/opt/logicmoo_workspace/packs_xtra/golorp#
  19. root@gitlab:/opt/logicmoo_workspace/packs_xtra/golorp# su - pfc_tester
  20. LOGICMOO_WS=/opt/logicmoo_workspace
  21. LD_LIBRARY_PATH=/usr/lib/jvm/java-8-oracle/jre/lib/amd64/server:/usr/lib
  22. pfc_tester@gitlab:~$ swipl
  23. Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.10-4-g74d6ac4-DIRTY)
  24. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  25. Please run ?- license. for legal details.
  26.  
  27. For online help and background, visit http://www.swi-prolog.org
  28. For built-in help, use ?- help(Topic). or ?- apropos(Word).
  29.  
  30. ?- pack_install(pfc).
  31. % Contacting server at http://www.swi-prolog.org/pack/query ... ok
  32. Install pfc@1.1.118 from GIT at https://github.com/TeamSPoon/pfc.git Y/n?
  33.  
  34. Create directory for packages
  35.    (1) * /home/pfc_tester/lib/swipl/pack
  36.    (2)   Cancel
  37.  
  38. Your choice?
  39. % Cloning into '/home/pfc_tester/lib/swipl/pack/pfc'...
  40. % Contacting server at http://www.swi-prolog.org/pack/query ... ok
  41. Warning: Package depends on the following:
  42. Warning:   "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  43. Warning:   "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  44. Warning:     "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  45. Warning:     "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  46. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  47. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  48. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  49. Warning:       "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  50. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  51. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  52. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  53. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  54. Warning:         "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  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:         "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  59. Warning:         "subclause_expansion", provided by subclause_expansion@1.1.118 from https://github.com/TeamSPoon/subclause_expansion.git
  60. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  61. Warning:           "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  62. Warning:       "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  63. Warning:       "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.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:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  67. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  68. Warning:       "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  69. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  70. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  71. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  72. Warning:   "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  73. Warning:     "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  74. Warning:       "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  75. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  76. Warning:     "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  77. Warning:     "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  78. Warning:       "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  79. Warning:       "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  80. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  81. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  82. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  83. Warning:         "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  84. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  85. Warning:         "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.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:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  89. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  90. Warning:         "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  91. Warning:           "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  92. Warning:             "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  93. Warning:               "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  94. Warning:     "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  95. Warning:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  96. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  97. Warning:     "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  98. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  99. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  100. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  101. Warning:       "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  102. Warning:       "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  103. Warning:       "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.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:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  107. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  108. Warning:       "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  109. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  110. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  111. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  112. Warning:     "subclause_expansion", provided by subclause_expansion@1.1.118 from https://github.com/TeamSPoon/subclause_expansion.git
  113. Warning:       "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  114. Warning:       "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  115. Warning:   "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  116. Warning:   "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  117. Warning:     "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  118. Warning:       "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  119. Warning:   "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  120. Warning:     "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  121. Warning:       "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  122. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  123. Warning:     "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  124. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  125. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  126. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  127. Warning:       "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  128. Warning:       "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  129. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  130. Warning:         "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  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:       "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  135. Warning:       "subclause_expansion", provided by subclause_expansion@1.1.118 from https://github.com/TeamSPoon/subclause_expansion.git
  136. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  137. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  138. Warning:     "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  139. Warning:     "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.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:     "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  143. Warning:       "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  144. Warning:     "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  145. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  146. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  147. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  148. Warning:   "no_repeats", provided by no_repeats@1.1.118 from https://github.com/TeamSPoon/no_repeats.git
  149. Warning:   "s_expression", provided by s_expression@1.1.118 from https://github.com/TeamSPoon/s_expression.git
  150. Warning:     "with_open_options", provided by with_open_options@1.1.118 from https://github.com/TeamSPoon/with_open_options.git
  151. Warning:   "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  152. Warning:     "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  153. Warning:   "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  154. Warning:     "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  155. Warning:       "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  156. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  157.  
  158. What do you wish to do
  159.    (1) * Install proposed dependencies
  160.    (2)   Only install requested package
  161.    (3)   Cancel
  162. Your choice? 1
  163. % "pfc.git" was downloaded 1 times
  164. % Cloning into '/home/pfc_tester/lib/swipl/pack/each_call_cleanup'...
  165.  
  166. i each_call_cleanup@1.1.118 - Each Call Redo Setup and Cleanup
  167. % Updating index for library /home/pfc_tester/lib/swipl/pack/each_call_cleanup/prolog/
  168. % Cloning into '/home/pfc_tester/lib/swipl/pack/file_scope'...
  169. i file_scope@1.1.118        - File local scoped efects
  170. % Updating index for library /home/pfc_tester/lib/swipl/pack/file_scope/prolog/
  171. % Cloning into '/home/pfc_tester/lib/swipl/pack/logicmoo_utils'...
  172. i logicmoo_utils@1.1.118    - Common predicates used by external Logicmoo Utils and Base
  173. % Updating index for library /home/pfc_tester/lib/swipl/pack/logicmoo_utils/prolog/
  174. % Cloning into '/home/pfc_tester/lib/swipl/pack/must_trace'...
  175. i must_trace@1.1.118        - Trace with your eyeballs instead of your fingers
  176. % Updating index for library /home/pfc_tester/lib/swipl/pack/must_trace/prolog/
  177. % Cloning into '/home/pfc_tester/lib/swipl/pack/clause_attvars'...
  178. i clause_attvars@1.1.118    - An alternate interface to the clause database to allow attributed variables to be asserted
  179. % Updating index for library /home/pfc_tester/lib/swipl/pack/clause_attvars/prolog/
  180. % Cloning into '/home/pfc_tester/lib/swipl/pack/dictoo'...
  181. i dictoo@1.1.118            - Dict-like OO Syntax
  182. % Cloning into '/home/pfc_tester/lib/swipl/pack/gvar_syntax'...
  183. i gvar_syntax@1.1.118       - Global Variable Syntax
  184. % Cloning into '/home/pfc_tester/lib/swipl/pack/hook_hybrid'...
  185. i hook_hybrid@1.1.118       - Hook assert retract call of *specific* predicates
  186. % Updating index for library /home/pfc_tester/lib/swipl/pack/hook_hybrid/prolog/
  187. % Cloning into '/home/pfc_tester/lib/swipl/pack/loop_check'...
  188. i loop_check@1.1.118        - New simple loop checking
  189. % Updating index for library /home/pfc_tester/lib/swipl/pack/loop_check/prolog/
  190. % Cloning into '/home/pfc_tester/lib/swipl/pack/with_thread_local'...
  191. i with_thread_local@1.1.118 - Call a Goal with local assertions
  192. % Updating index for library /home/pfc_tester/lib/swipl/pack/with_thread_local/prolog/
  193. % Cloning into '/home/pfc_tester/lib/swipl/pack/subclause_expansion'...
  194. i subclause_expansion@1.1.118 - More use specific versions of term/goal expansion hooks
  195. % Updating index for library /home/pfc_tester/lib/swipl/pack/subclause_expansion/prolog/
  196. % Cloning into '/home/pfc_tester/lib/swipl/pack/xlisting'...
  197. i xlisting@1.1.118          - Selective Interactive Non-Deterministic Tracing
  198. % Updating index for library /home/pfc_tester/lib/swipl/pack/xlisting/prolog/
  199. % Cloning into '/home/pfc_tester/lib/swipl/pack/no_repeats'...
  200. i no_repeats@1.1.118        - New ways to avoid duplicate solutions
  201. % Updating index for library /home/pfc_tester/lib/swipl/pack/no_repeats/prolog/
  202. % Cloning into '/home/pfc_tester/lib/swipl/pack/s_expression'...
  203. i s_expression@1.1.118      - Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF
  204. % Updating index for library /home/pfc_tester/lib/swipl/pack/s_expression/prolog/
  205. % Cloning into '/home/pfc_tester/lib/swipl/pack/with_open_options'...
  206. i with_open_options@1.1.118 - Utilities to open various objects for read/write
  207. % Updating index for library /home/pfc_tester/lib/swipl/pack/with_open_options/prolog/
  208. Package:                pfc
  209. Title:                  Pfc -- a package for forward chaining in Prolog
  210. Installed version:      1.1.118
  211. Author:                 Douglas R. Miles <logicmoo@gmail.com>
  212. Packager:               TeamSPoon/LogicMoo <https://github.com/TeamSPoon/>
  213. Home page:              https://github.com/TeamSPoon/pfc
  214. Download URL:           https://github.com/TeamSPoon/pfc/releases/*.zip
  215. Requires:               hook_hybrid, must_trace, loop_check, file_scope, xlisting, no_repeats, s_expression, each_call_cleanup, with_thread_local, logicmoo_utils
  216. Activate pack "pfc" Y/n? Y
  217. true.
  218.  
  219. ?- use_module(library(pfc)).
  220. % /home/pfc_tester/lib/swipl/pack/pfc/prolog/pfc.pl:27
  221. % WARNING: PFC_LEAN
  222. % /home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:110
  223. % mpred_fwc1((~_2287298, _2287298==>{dmsg(warn(conflict(_2287298)))})).
  224. %       Adding positive
  225. %               trigger: ~_1718
  226. %               body: mpred_positive_fact(_1718)*->pt(_1718,rhs([{dmsg(warn(conflict(_1718)))}]))
  227. %        Support: (~_1618,_1618==>{dmsg(warn(conflict(_1618)))}),mfl(baseKB,'/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',110)
  228. %       Adding positive
  229. %               trigger: ~_1718
  230. %               body: mpred_positive_fact(_1718)*->pt(_1718,rhs([{dmsg(warn(conflict(_1718)))}]))
  231. %        Support: (~_1618,_1618==>{dmsg(warn(conflict(_1618)))}),mfl(baseKB,'/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',110)
  232. %       Found positive trigger: ~_8610,_8610==>{dmsg(warn(conflict(_8610)))}
  233. %               body: mpred_positive_fact((~_8610,_8610==>{dmsg(warn(conflict(_8610)))}))*->rhs([\+ ~ (~_8610,_8610==>{dmsg(warn(conflict(_8610)))})])
  234. % /home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:132
  235. % warn(mtHybrid(user)).
  236. % warn(mtHybrid(user)).
  237. % warn(mtHybrid(user)).
  238. % warn(mtHybrid(user)).
  239. :- dynamic mpred_unload_option/2.
  240.  
  241.  
  242. % /home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:577
  243. % mpred_fwc1(mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl', never)).
  244. %       Found positive trigger: mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  245. %               body: mpred_positive_fact(mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)])
  246. %               RHS-Withdrawing-Negation: \+ ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  247. %       Support: mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never),pt(mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never),(mpred_positive_fact(mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)])))
  248. % mpred_withdraw/2 Could not find support unKnown_suppoRt to remove (fact): ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  249. %               RHS-Withdrawing-Negation: \+ ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  250. %       Support: mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never),pt(mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never),(mpred_positive_fact(mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)])))
  251. % mpred_withdraw/2 Could not find support unKnown_suppoRt to remove (fact): ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',never)
  252. :- dynamic mpred_unload_option/2.
  253.  
  254. mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl', never).
  255.  
  256. %   system_base.pfc compiled into system_base_lite 0.62 sec, 3 clauses
  257. % /home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl:137
  258. % mpred_fwc1(mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl', never)).
  259. %       Found positive trigger: mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  260. %               body: mpred_positive_fact(mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)])
  261. %               RHS-Withdrawing-Negation: \+ ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  262. %       Support: mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never),pt(mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never),(mpred_positive_fact(mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)])))
  263. % mpred_withdraw/2 Could not find support unKnown_suppoRt to remove (fact): ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  264. %               RHS-Withdrawing-Negation: \+ ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  265. %       Support: mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never),pt(mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never),(mpred_positive_fact(mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never))*->rhs([\+ ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)])))
  266. % mpred_withdraw/2 Could not find support unKnown_suppoRt to remove (fact): ~mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl',never)
  267. :- dynamic mpred_unload_option/2.
  268.  
  269. mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_autoexec.pfc.pl', never).
  270. mpred_unload_option('/home/pfc_tester/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl', never).
  271.  
  272. %   system_mdefault.pfc compiled into baseKB 0.04 sec, 0 clauses
  273. %   system_module_inheritance.pfc compiled into baseKB 0.00 sec, 0 clauses
  274. %   system_singleValued.pfc compiled into baseKB 0.21 sec, 0 clauses
  275. %  pfclib/system_autoexec.pfc compiled into baseKB 0.91 sec, 4 clauses
  276. % Started at Mon Mar  5 08:01:28 2018
  277. % 4.357 seconds cpu time for 16,045,350 inferences
  278. % 17,523 atoms, 11,439 functors, 11,049 predicates, 206 modules, 548,262 VM-codes
  279. %
  280. %                        Limit    Allocated       In use
  281. % Local  stack: 16,000,004,096      258,048        3,864 Bytes
  282. % Global stack: 16,000,004,096   12,578,800    4,044,080 Bytes
  283. % Trail  stack: 16,000,002,048    4,192,248        1,352 Bytes
  284. %
  285. % 34 garbage collections gained 28,213,032 bytes in 0.007 seconds.
  286. % 1 atom garbage collections gained 8,647 atoms in 0.008 seconds.
  287. % 72 clause garbage collections gained 4,151 clauses in 0.003 seconds.
  288. % Stack shifts: 6 local, 20 global, 16 trail in 0.003 seconds
  289. % 2 threads, 16 finished threads used 0.007 seconds
  290. true.
  291.  
  292. ?- ain(a==>b).
  293. true.
  294.  
  295. ?- ain(a).
  296. true.
  297.  
  298. ?- b.
  299. true ;
  300. false.
  301.  
  302. ?- mpred_retract(a).
  303. % found(mpred_rem_support(a,  (mfl(user, user_input, '$stream_position'(26375, 273, 0, 26375)), ax))).
  304. true.
  305.  
  306. ?- b.
  307. false.
  308.  
  309. ?-
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!