API tools faq
paste
Advertisement
logicmoo

PrologMUD

logicmoo
Mar 31st, 2017
345
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 179.49 KB | None | 0 0
raw download clone embed print report
  1.    Call: (184) [system] functor(tcp_socket(_16916),_16936,1)
  2.    Exit: (184) [system] functor(tcp_socket(_16916),tcp_socket,1)
  3.    Call: (184) [system] arg(1,tcp_socket(_16916),_16938)
  4.    Exit: (184) [system] arg(1,tcp_socket(_16916),_16916)
  5.    Call: (184) [system] memberchk(tcp_socket=_16916,[port(3020),workers(16)])
  6.    Fail: (182) [swi_option] swi_option:option(tcp_socket(_16912),[port(3020),workers(16)])
  7.    Redo: (181) [thread_httpd] thread_httpd:make_socket(3020,thread_httpd:[port(3020),workers(16)],_16930)
  8.    Unify: (181) [thread_httpd] thread_httpd:make_socket(3020,thread_httpd:[port(3020),workers(16)],_16930)
  9.    Call: (182) [socket] socket:tcp_socket(_16926)
  10.    Exit: (182) [socket] socket:tcp_socket('$socket'(1))
  11.    Call: (182) [socket] socket:tcp_setopt('$socket'(1),reuseaddr)
  12.    Exit: (182) [socket] socket:tcp_setopt('$socket'(1),reuseaddr)
  13.    Call: (182) [socket] socket:tcp_bind('$socket'(1),3020)
  14.    Exception: (182) [socket] socket:tcp_bind('$socket'(1),3020) ? exit
  15.  
  16. Oops previous instance is still alive
  17.  
  18. kill -9 $(lsof -t -i:3020 -sTCP:LISTEN) 2> /dev/null ; rm -rf ~/lib/swipl/pack ; swipl --noegg -g "pack_install(prologmud_samples)" -g "consult(library('prologmud_sample_games/run_mud_server'))"
  19.  
  20. prologmud@dev3:~$ kill -9 $(lsof -t -i:3020 -sTCP:LISTEN) 2> /dev/null ; rm -rf ~/lib/swipl/pack ; swipl --noegg -g "pack_install(prologmud_samples)" -g "consult(library('prologmud_sample_games/run_mud_server'))"
  21. % Contacting server at http://www.swi-prolog.org/pack/query ... ok
  22. Install prologmud_samples@1.1.118 from GIT at https://github.com/TeamSPoon/prologmud_samples.git Y/n?
  23.  
  24. Create directory for packages
  25.    (1) * /home/prologmud/lib/swipl/pack
  26.    (2)   Cancel
  27.  
  28. Your choice?
  29. % Cloning into '/home/prologmud/lib/swipl/pack/prologmud_samples'...
  30. % Contacting server at http://www.swi-prolog.org/pack/query ... ok
  31. Warning: Package depends on the following:
  32. Warning:   "prologmud", provided by prologmud@1.1.118 from https://github.com/TeamSPoon/prologmud.git
  33. Warning:     "logicmoo_base", provided by logicmoo_base@1.1.118 from https://github.com/TeamSPoon/logicmoo_base.git
  34. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  35. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  36. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  37. Warning:       "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  38. Warning:       "eggdrop", provided by eggdrop@1.1.118 from https://github.com/TeamSPoon/eggdrop.git
  39. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  40. Warning:         "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  41. Warning:           "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  42. Warning:             "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  43. Warning:               "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  44. Warning:           "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  45. Warning:         "predicate_streams", provided by predicate_streams@1.1.118 from https://github.com/TeamSPoon/predicate_streams.git
  46. Warning:       "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  47. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  48. Warning:         "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  49. Warning:           "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  50. Warning:             "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  51. Warning:               "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  52. Warning:           "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  53. Warning:       "instant_prolog_docs", provided by instant_prolog_docs@1.1.118 from https://github.com/TeamSPoon/instant_prolog_docs.git
  54. Warning:         "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  55. Warning:           "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  56. Warning:             "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  57. Warning:               "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  58. Warning:           "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  59. Warning:       "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  60. Warning:       "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  61. Warning:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  62. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  63. Warning:       "multimodal_dcg", provided by multimodal_dcg@1.1.118 from https://github.com/TeamSPoon/multimodal_dcg.git
  64. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  65. Warning:       "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  66. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  67. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  68. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  69. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  70. Warning:       "pfc", provided by pfc@1.1.118 from https://github.com/TeamSPoon/pfc.git
  71. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  72. Warning:         "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  73. Warning:           "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  74. Warning:           "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  75. Warning:             "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  76. Warning:               "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  77. Warning:                 "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  78. Warning:             "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  79. Warning:         "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.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:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  84. Warning:           "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  85. Warning:             "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  86. Warning:             "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  87. Warning:               "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  88. Warning:                 "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  89. Warning:                   "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  90. Warning:               "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  91. Warning:           "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  92. Warning:             "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  93. Warning:               "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  94. Warning:           "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  95. Warning:             "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  96. Warning:               "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  97. Warning:                 "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  98. Warning:             "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  99. Warning:           "subclause_expansion", provided by subclause_expansion@1.1.118 from https://github.com/TeamSPoon/subclause_expansion.git
  100. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  101. Warning:             "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.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:         "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.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:           "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  111. Warning:         "no_repeats", provided by no_repeats@1.1.118 from https://github.com/TeamSPoon/no_repeats.git
  112. Warning:         "s_expression", provided by s_expression@1.1.118 from https://github.com/TeamSPoon/s_expression.git
  113. Warning:           "with_open_options", provided by with_open_options@1.1.118 from https://github.com/TeamSPoon/with_open_options.git
  114. Warning:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  115. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  116. Warning:         "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  117. Warning:           "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  118. Warning:             "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  119. Warning:               "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  120. Warning:       "prologmud", provided by prologmud@1.1.118 from https://github.com/TeamSPoon/prologmud.git
  121. Warning:       "s_expression", provided by s_expression@1.1.118 from https://github.com/TeamSPoon/s_expression.git
  122. Warning:         "with_open_options", provided by with_open_options@1.1.118 from https://github.com/TeamSPoon/with_open_options.git
  123. Warning:       "subclause_expansion", provided by subclause_expansion@1.1.118 from https://github.com/TeamSPoon/subclause_expansion.git
  124. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  125. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  126. Warning:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.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:       "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  129. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  130. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  131. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  132. Warning:       "xlisting_web", provided by xlisting_web@1.1.118 from https://github.com/TeamSPoon/xlisting_web.git
  133. Warning:         "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  134. Warning:           "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  135. Warning:             "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  136. Warning:               "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  137. Warning:     "pfc", provided by pfc@1.1.118 from https://github.com/TeamSPoon/pfc.git
  138. Warning:       "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  139. Warning:       "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  140. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  141. Warning:         "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  142. Warning:           "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  143. Warning:             "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  144. Warning:               "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  145. Warning:           "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  146. Warning:       "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  147. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  148. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  149. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.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:         "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  152. Warning:           "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  153. Warning:           "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.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. Warning:             "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  158. Warning:         "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  159. Warning:           "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  160. Warning:             "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  161. Warning:         "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  162. Warning:           "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  163. Warning:             "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  164. Warning:               "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  165. Warning:           "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  166. Warning:         "subclause_expansion", provided by subclause_expansion@1.1.118 from https://github.com/TeamSPoon/subclause_expansion.git
  167. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  168. Warning:           "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  169. Warning:       "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  170. Warning:       "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  171. Warning:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  172. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  173. Warning:       "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  174. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  175. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  176. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  177. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  178. Warning:       "no_repeats", provided by no_repeats@1.1.118 from https://github.com/TeamSPoon/no_repeats.git
  179. Warning:       "s_expression", provided by s_expression@1.1.118 from https://github.com/TeamSPoon/s_expression.git
  180. Warning:         "with_open_options", provided by with_open_options@1.1.118 from https://github.com/TeamSPoon/with_open_options.git
  181. Warning:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  182. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  183. Warning:       "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  184. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  185. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  186. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  187.  
  188. What do you wish to do
  189.    (1) * Install proposed dependencies
  190.    (2)   Only install requested package
  191.    (3)   Cancel
  192.  
  193. Your choice?
  194. % "prologmud_samples.git" was downloaded 2 times
  195. % Cloning into '/home/prologmud/lib/swipl/pack/prologmud'...
  196. i prologmud@1.1.118         - Online text adventure game - MUD Server
  197. % Cloning into '/home/prologmud/lib/swipl/pack/logicmoo_base'...
  198. i logicmoo_base@1.1.118     - LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints
  199. % Cloning into '/home/prologmud/lib/swipl/pack/clause_attvars'...
  200. i clause_attvars@1.1.118    - An alternate interface to the clause database to allow attributed variables to be asserted
  201. % Cloning into '/home/prologmud/lib/swipl/pack/dictoo'...
  202. i dictoo@1.1.118            - Dict-like OO Syntax
  203. % Cloning into '/home/prologmud/lib/swipl/pack/gvar_syntax'...
  204. i gvar_syntax@1.1.118       - Global Variable Syntax
  205. % Cloning into '/home/prologmud/lib/swipl/pack/each_call_cleanup'...
  206. i each_call_cleanup@1.1.118 - Each Call Redo Setup and Cleanup
  207. % Updating index for library /home/prologmud/lib/swipl/pack/each_call_cleanup/prolog/
  208. % Cloning into '/home/prologmud/lib/swipl/pack/eggdrop'...
  209. i eggdrop@1.1.118           - Hook up to an existing IRC Client called an Eggdrop
  210. % Cloning into '/home/prologmud/lib/swipl/pack/logicmoo_utils'...
  211. i logicmoo_utils@1.1.118    - Common predicates used by external Logicmoo Utils and Base
  212. % Updating index for library /home/prologmud/lib/swipl/pack/logicmoo_utils/prolog/
  213. % Cloning into '/home/prologmud/lib/swipl/pack/must_trace'...
  214. i must_trace@1.1.118        - Trace with your eyeballs instead of your fingers
  215. % Updating index for library /home/prologmud/lib/swipl/pack/must_trace/prolog/
  216. % Cloning into '/home/prologmud/lib/swipl/pack/predicate_streams'...
  217. i predicate_streams@1.1.118 - Implement your own Abstract Predicate Streams
  218. % Updating index for library /home/prologmud/lib/swipl/pack/predicate_streams/prolog/
  219. % Cloning into '/home/prologmud/lib/swipl/pack/file_scope'...
  220. i file_scope@1.1.118        - File local scoped efects
  221. % Updating index for library /home/prologmud/lib/swipl/pack/file_scope/prolog/
  222. % Cloning into '/home/prologmud/lib/swipl/pack/instant_prolog_docs'...
  223. i instant_prolog_docs@1.1.118 - Magically document prolog source files based on predicate and variable naming conventions
  224. % Updating index for library /home/prologmud/lib/swipl/pack/instant_prolog_docs/prolog/
  225. % Cloning into '/home/prologmud/lib/swipl/pack/loop_check'...
  226. i loop_check@1.1.118        - New simple loop checking
  227. % Updating index for library /home/prologmud/lib/swipl/pack/loop_check/prolog/
  228. % Cloning into '/home/prologmud/lib/swipl/pack/with_thread_local'...
  229. i with_thread_local@1.1.118 - Call a Goal with local assertions
  230. % Updating index for library /home/prologmud/lib/swipl/pack/with_thread_local/prolog/
  231. % Cloning into '/home/prologmud/lib/swipl/pack/multimodal_dcg'...
  232. i multimodal_dcg@1.1.118    - Reduce floundering of DCGs by constraining and narrowing search
  233. % Cloning into '/home/prologmud/lib/swipl/pack/pfc'...
  234. i pfc@1.1.118               - Pfc -- a package for forward chaining in Prolog
  235. % Updating index for library /home/prologmud/lib/swipl/pack/pfc/prolog/
  236. % Cloning into '/home/prologmud/lib/swipl/pack/hook_hybrid'...
  237. i hook_hybrid@1.1.118       - Hook assert retract call of *specific* predicates
  238. % Updating index for library /home/prologmud/lib/swipl/pack/hook_hybrid/prolog/
  239. % Cloning into '/home/prologmud/lib/swipl/pack/subclause_expansion'...
  240. i subclause_expansion@1.1.118 - More detailed versions of term/goal expansion hooks
  241. % Cloning into '/home/prologmud/lib/swipl/pack/no_repeats'...
  242. i no_repeats@1.1.118        - New ways to avoid duplicate solutions
  243. % Updating index for library /home/prologmud/lib/swipl/pack/no_repeats/prolog/
  244. % Cloning into '/home/prologmud/lib/swipl/pack/s_expression'...
  245. i s_expression@1.1.118      - Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF
  246. % Updating index for library /home/prologmud/lib/swipl/pack/s_expression/prolog/
  247. % Cloning into '/home/prologmud/lib/swipl/pack/with_open_options'...
  248. i with_open_options@1.1.118 - Utilities to open various objects for read/write
  249. % Updating index for library /home/prologmud/lib/swipl/pack/with_open_options/prolog/
  250. % Cloning into '/home/prologmud/lib/swipl/pack/xlisting'...
  251. i xlisting@1.1.118          - Selective Interactive Non-Deterministic Tracing
  252. % Updating index for library /home/prologmud/lib/swipl/pack/xlisting/prolog/
  253. % Cloning into '/home/prologmud/lib/swipl/pack/xlisting_web'...
  254. i xlisting_web@1.1.118      - Manipulate and browse prolog runtime over www
  255. Package:                prologmud_samples
  256. Title:                  Online text adventure game - Sample
  257. Installed version:      1.1.118
  258. Author:                 Douglas R. Miles <logicmoo@gmail.com>, Douglas Miles <http://www.linkedin.com/in/logicmoo>
  259. Maintainer:             TeamSPoon <https://github.com/TeamSPoon/>
  260. Packager:               TeamSPoon <https://github.com/TeamSPoon/>
  261. Home page:              https://github.com/TeamSPoon/prologmud_samples.git
  262. Download URL:           https://github.com/TeamSPoon/prologmud_samples/release/*.zip
  263. Requires:               prologmud
  264. Activate pack "prologmud_samples" Y/n?
  265. ERROR: /usr/lib/lib/swipl-7.5.2/library/jpl.pl:4233:
  266.         '$open_shared_object'/3: libjsig.so: cannot open shared object file: No such file or directory
  267. ERROR: /usr/lib/lib/swipl-7.5.2/library/jpl.pl:4233:
  268.         /usr/lib/lib/swipl-7.5.2/library/jpl.pl:4233: Initialization goal raised exception:
  269.         library `java' does not exist (Please add directory holding libjava.so to $LD_LIBRARY_PATH)
  270. ERROR: /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_swilib.pl:72:
  271.         Exported procedure jpl:jpl_c_lib_version/1 is not defined
  272. % Found new meta-predicates in iteration 1 (2.331 sec)
  273. % :- meta_predicate logicmoo_util_common:iff_defined(:,0).
  274. % Restarting analysis ...
  275. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_swilib.pl:132
  276. % Loading logtalk
  277. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_swilib.pl:133
  278. % Skipping logtalk
  279. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_swilib.pl:134
  280. % Skipping logtalk
  281. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_webbot.pl:132
  282. % current_prolog_flag(os_argv, [swipl, cpack, install, swish]).
  283. skip(add_file_search_path_safe(cliopatria,pack(ClioPatria)))
  284. Adding logicmoo/utils to autoload path
  285. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_webbot.pl:355
  286. % Ensure RPC Telnet
  287. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_webbot.pl:375
  288. % Various RPC Dangers
  289. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_webbot.pl:414
  290. % IRC EGGDROP
  291. % HI there
  292. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_webbot.pl:423
  293. % CYC Alignment util
  294. not_installing(baseKB,ensure_loaded(library('pldata/plkb7166/kb7166_pt7_constant_renames')))
  295. not_installing(baseKB,ensure_loaded(library('pldata/plkb7166/kb7166_pt7_constant_renames_NEW')))
  296. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_cyc_rewriting.pl:1921
  297. % I am here
  298. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_cyc_rewriting.pl:1984
  299. % no need to makeRenames!?
  300. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_webbot.pl:429
  301. % SETUP CYC KB EXTENSIONS
  302. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_webbot.pl:436
  303. % SET TOPLEVEL OPTIONS
  304. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_webbot.pl:451
  305. % AUTOLOAD PACKAGES
  306. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfc.pl:213
  307. % Ensuring PFC Loaded
  308. % Started at Sat Apr  1 04:09:37 2017
  309. % 10.930 seconds cpu time for 71,091,933 inferences
  310. % 30,742 atoms, 17,061 functors, 23,911 predicates, 325 modules, 1,432,769 VM-codes
  311. %
  312. %                        Limit    Allocated       In use
  313. % Local  stack: 16,000,004,096      258,048       16,152 Bytes
  314. % Global stack: 16,000,004,096    2,093,040    1,087,800 Bytes
  315. % Trail  stack: 16,000,002,048    1,046,520        1,264 Bytes
  316. %
  317. % 373 garbage collections gained 99,756,304 bytes in 0.227 seconds.
  318. % 26 atom garbage collections gained 261,618 atoms in 0.035 seconds.
  319. % 1,016 clause garbage collections gained 58,351 clauses in 0.108 seconds.
  320. % Stack shifts: 3 local, 5 global, 5 trail in 0.000 seconds
  321. % 20 threads, 24 finished threads used 0.006 seconds
  322. ERROR: /home/prologmud/lib/swipl/pack/pfc/prolog/pfc.pl:536:
  323.         call/1: Undefined procedure: baseKB:pm/1
  324. Warning: /home/prologmud/lib/swipl/pack/pfc/prolog/pfc.pl:536:
  325.         Goal (directive) failed: pfc:ain(arity(functorDeclares,1))
  326. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:42
  327. % [system-[clause_expansion/2]].
  328.  
  329. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:104
  330. % expanding_mpred_fwc1(arity(arity, 2))==>arity(arity, 2).
  331. % mpred_fwc1(arity(arity, 2)).
  332. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:105
  333. % expanding_mpred_fwc1(arity(functorIsMacro, 1))==>arity(functorIsMacro, 1).
  334. % mpred_fwc1(arity(functorIsMacro, 1)).
  335. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:106
  336. % mpred_fwc1(functorIsMacro(functorIsMacro)).
  337. % expanding_mpred_fwc1(functorIsMacro(functorIsMacro))==>functorIsMacro(functorIsMacro).
  338. % mpred_fwc1(functorIsMacro(functorIsMacro)).
  339. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:107
  340. % mpred_fwc1((functorDeclares(_2918)==>functorIsMacro(_2918))).
  341. %       Adding positive
  342. %               trigger: functorDeclares(_2884)
  343. %               body: rhs([functorIsMacro(_2884)])
  344. %        Support: (functorDeclares(_2918)==>functorIsMacro(_2918)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',107)
  345. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:108
  346. % mpred_fwc1(~tCol(functorDeclares)).
  347. % expanding_mpred_fwc1(~tCol(functorDeclares))==> ~tCol(functorDeclares).
  348. % mpred_fwc1(~tCol(functorDeclares)).
  349. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:110
  350. % mpred_fwc1((prologHybrid(_40274), arity(_40274, _40280)==>{kb_shared(_40274/_40280)})).
  351. %       Adding positive
  352. %               trigger: prologHybrid(_3024)
  353. %               body: pt(arity(_3024,_3030),rhs([{kb_shared(_3024/_3030)}]))
  354. %        Support: (prologHybrid(_3092),arity(_3092,_3098)==>{kb_shared(_3092/_3098)}),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',110)
  355. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:117
  356. % mpred_fwc1(completelyAssertedCollection(completelyAssertedCollection)).
  357. % expanding_mpred_fwc1(completelyAssertedCollection(completelyAssertedCollection))==>completelyAssertedCollection(completelyAssertedCollection).
  358. % mpred_fwc1(completelyAssertedCollection(completelyAssertedCollection)).
  359. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:120
  360. % mpred_fwc1((completelyAssertedCollection(_42412)==>tSet(_42412))).
  361. %       Adding positive
  362. %               trigger: completelyAssertedCollection(_2900)
  363. %               body: rhs([tSet(_2900)])
  364. %        Support: (completelyAssertedCollection(_2934)==>tSet(_2934)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',120)
  365. %       RHS-Post1: tSet(completelyAssertedCollection)
  366. %       Support: completelyAssertedCollection(completelyAssertedCollection),pt(completelyAssertedCollection(_8268),rhs([tSet(_8268)]))
  367. % mpred_fwc1(tSet(completelyAssertedCollection)).
  368. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:125
  369. % mpred_fwc1((tSet(_40402)==>tCol(_40402), \+ttExpressionType(_40402))).
  370. %       Adding positive
  371. %               trigger: tSet(_2970)
  372. %               body: rhs([tCol(_2970),\+ttExpressionType(_2970)])
  373. %        Support: (tSet(_3018)==>tCol(_3018),\+ttExpressionType(_3018)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',125)
  374. %       RHS-Post1: tCol(completelyAssertedCollection)
  375. %       Support: tSet(completelyAssertedCollection),pt(tSet(_8456),rhs([tCol(_8456),\+ttExpressionType(_8456)]))
  376. % mpred_fwc1(tCol(completelyAssertedCollection)).
  377. %               RHS-Withdrawing-Negation: \+ttExpressionType(completelyAssertedCollection)
  378. %       Support: tSet(completelyAssertedCollection),pt(tSet(_3344),rhs([tCol(_3344),\+ttExpressionType(_3344)]))
  379. %       Removing
  380. %               term: ttExpressionType(completelyAssertedCollection)
  381. %               support (was): tSet(completelyAssertedCollection),pt(tSet(_7392),rhs([tCol(_7392),\+ttExpressionType(_7392)]))
  382. % mpred_withdraw/2 Could not find support tSet(completelyAssertedCollection),pt(tSet(_7392),rhs([tCol(_7392),\+ttExpressionType(_7392)])) to remove from fact ttExpressionType(completelyAssertedCollection)
  383. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:128
  384. % mpred_fwc1(tSet(tIndividual)).
  385. %       Found positive trigger: tSet(tIndividual)
  386. %               body: rhs([tCol(tIndividual),\+ttExpressionType(tIndividual)])
  387. %       RHS-Post1: tCol(tIndividual)
  388. %       Support: tSet(tIndividual),pt(tSet(tIndividual),rhs([tCol(tIndividual),\+ttExpressionType(tIndividual)]))
  389. % mpred_fwc1(tCol(tIndividual)).
  390. %               RHS-Withdrawing-Negation: \+ttExpressionType(tIndividual)
  391. %       Support: tSet(tIndividual),pt(tSet(tIndividual),rhs([tCol(tIndividual),\+ttExpressionType(tIndividual)]))
  392. %       Removing
  393. %               term: ttExpressionType(tIndividual)
  394. %               support (was): tSet(tIndividual),pt(tSet(tIndividual),rhs([tCol(tIndividual),\+ttExpressionType(tIndividual)]))
  395. % mpred_withdraw/2 Could not find support tSet(tIndividual),pt(tSet(tIndividual),rhs([tCol(tIndividual),\+ttExpressionType(tIndividual)])) to remove from fact ttExpressionType(tIndividual)
  396. % expanding_mpred_fwc1(tSet(tIndividual))==>tSet(tIndividual).
  397. % mpred_fwc1(tSet(tIndividual)).
  398. %       Found positive trigger: tSet(tIndividual)
  399. %               body: rhs([tCol(tIndividual),\+ttExpressionType(tIndividual)])
  400. %       RHS-Post1: tCol(tIndividual)
  401. %       Support: tSet(tIndividual),pt(tSet(tIndividual),rhs([tCol(tIndividual),\+ttExpressionType(tIndividual)]))
  402. %               RHS-Withdrawing-Negation: \+ttExpressionType(tIndividual)
  403. %       Support: tSet(tIndividual),pt(tSet(tIndividual),rhs([tCol(tIndividual),\+ttExpressionType(tIndividual)]))
  404. %       Removing
  405. %               term: ttExpressionType(tIndividual)
  406. %               support (was): tSet(tIndividual),pt(tSet(tIndividual),rhs([tCol(tIndividual),\+ttExpressionType(tIndividual)]))
  407. % mpred_withdraw/2 Could not find support tSet(tIndividual),pt(tSet(tIndividual),rhs([tCol(tIndividual),\+ttExpressionType(tIndividual)])) to remove from fact ttExpressionType(tIndividual)
  408. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:133
  409. % mpred_fwc1((~tIndividual(_28712):-loop_check_term(tCol(_28712), tCol(_28712):'pfc.pl':133, fail))).
  410. % expanding_mpred_fwc1((~tIndividual(_34324):-loop_check_term(tCol(_34324), tCol(_34324):'pfc.pl':133, fail)))==>(~tIndividual(_34324):-loop_check_term(tCol(_34324), tCol(_34324):'pfc.pl':133, fail)).
  411. % mpred_fwc1((~tIndividual(_34324):-loop_check_term(tCol(_34324), tCol(_34324):'pfc.pl':133, fail))).
  412. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:134
  413. % mpred_fwc1((tCol(_56794)==>{decl_type(_56794), kb_shared(_56794/1)})).
  414. %       Adding positive
  415. %               trigger: tCol(_3002)
  416. %               body: rhs([{decl_type(_3002),kb_shared(_3002/1)}])
  417. %        Support: (tCol(_3056)==>{decl_type(_3056),kb_shared(_3056/1)}),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',134)
  418. % mpred_fwc1(arity(tIndividual, 1)).
  419. % mpred_fwc1(safe_wrap(tIndividual, 1, ereq)).
  420. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:138
  421. % mpred_fwc1((ttExpressionType(_53366)==>tCol(_53366), \+tSet(_53366))).
  422. %       Adding positive
  423. %               trigger: ttExpressionType(_2970)
  424. %               body: rhs([tCol(_2970),\+tSet(_2970)])
  425. %        Support: (ttExpressionType(_3018)==>tCol(_3018),\+tSet(_3018)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',138)
  426. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:143
  427. % mpred_fwc1(completelyAssertedCollection(ttTypeFacet)).
  428. %       Found positive trigger: completelyAssertedCollection(ttTypeFacet)
  429. %               body: rhs([tSet(ttTypeFacet)])
  430. %       RHS-Post1: tSet(ttTypeFacet)
  431. %       Support: completelyAssertedCollection(ttTypeFacet),pt(completelyAssertedCollection(ttTypeFacet),rhs([tSet(ttTypeFacet)]))
  432. % mpred_fwc1(tSet(ttTypeFacet)).
  433. %       Found positive trigger: tSet(ttTypeFacet)
  434. %               body: rhs([tCol(ttTypeFacet),\+ttExpressionType(ttTypeFacet)])
  435. %       RHS-Post1: tCol(ttTypeFacet)
  436. %       Support: tSet(ttTypeFacet),pt(tSet(ttTypeFacet),rhs([tCol(ttTypeFacet),\+ttExpressionType(ttTypeFacet)]))
  437. % mpred_fwc1(tCol(ttTypeFacet)).
  438. %       Found positive trigger: tCol(ttTypeFacet)
  439. %               body: rhs([{decl_type(ttTypeFacet),kb_shared(ttTypeFacet/1)}])
  440. %               RHS-Withdrawing-Negation: \+ttExpressionType(ttTypeFacet)
  441. %       Support: tSet(ttTypeFacet),pt(tSet(ttTypeFacet),rhs([tCol(ttTypeFacet),\+ttExpressionType(ttTypeFacet)]))
  442. %       Removing
  443. %               term: ttExpressionType(ttTypeFacet)
  444. %               support (was): tSet(ttTypeFacet),pt(tSet(ttTypeFacet),rhs([tCol(ttTypeFacet),\+ttExpressionType(ttTypeFacet)]))
  445. % mpred_withdraw/2 Could not find support tSet(ttTypeFacet),pt(tSet(ttTypeFacet),rhs([tCol(ttTypeFacet),\+ttExpressionType(ttTypeFacet)])) to remove from fact ttExpressionType(ttTypeFacet)
  446. % expanding_mpred_fwc1(completelyAssertedCollection(ttTypeFacet))==>completelyAssertedCollection(ttTypeFacet).
  447. % mpred_fwc1(completelyAssertedCollection(ttTypeFacet)).
  448. %       Found positive trigger: completelyAssertedCollection(ttTypeFacet)
  449. %               body: rhs([tSet(ttTypeFacet)])
  450. %       RHS-Post1: tSet(ttTypeFacet)
  451. %       Support: completelyAssertedCollection(ttTypeFacet),pt(completelyAssertedCollection(ttTypeFacet),rhs([tSet(ttTypeFacet)]))
  452. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:145
  453. % mpred_fwc1((ttTypeFacet(_18242)==>tSet(_18242))).
  454. %       Adding positive
  455. %               trigger: ttTypeFacet(_2900)
  456. %               body: rhs([tSet(_2900)])
  457. %        Support: (ttTypeFacet(_2934)==>tSet(_2934)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',145)
  458. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:149
  459. % mpred_fwc1(ttTypeFacet(ttTypeType)).
  460. %       Found positive trigger: ttTypeFacet(ttTypeType)
  461. %               body: rhs([tSet(ttTypeType)])
  462. %       RHS-Post1: tSet(ttTypeType)
  463. %       Support: ttTypeFacet(ttTypeType),pt(ttTypeFacet(ttTypeType),rhs([tSet(ttTypeType)]))
  464. % mpred_fwc1(tSet(ttTypeType)).
  465. %       Found positive trigger: tSet(ttTypeType)
  466. %               body: rhs([tCol(ttTypeType),\+ttExpressionType(ttTypeType)])
  467. %       RHS-Post1: tCol(ttTypeType)
  468. %       Support: tSet(ttTypeType),pt(tSet(ttTypeType),rhs([tCol(ttTypeType),\+ttExpressionType(ttTypeType)]))
  469. % mpred_fwc1(tCol(ttTypeType)).
  470. %       Found positive trigger: tCol(ttTypeType)
  471. %               body: rhs([{decl_type(ttTypeType),kb_shared(ttTypeType/1)}])
  472. %               RHS-Withdrawing-Negation: \+ttExpressionType(ttTypeType)
  473. %       Support: tSet(ttTypeType),pt(tSet(ttTypeType),rhs([tCol(ttTypeType),\+ttExpressionType(ttTypeType)]))
  474. %       Removing
  475. %               term: ttExpressionType(ttTypeType)
  476. %               support (was): tSet(ttTypeType),pt(tSet(ttTypeType),rhs([tCol(ttTypeType),\+ttExpressionType(ttTypeType)]))
  477. % mpred_withdraw/2 Could not find support tSet(ttTypeType),pt(tSet(ttTypeType),rhs([tCol(ttTypeType),\+ttExpressionType(ttTypeType)])) to remove from fact ttExpressionType(ttTypeType)
  478. % expanding_mpred_fwc1(ttTypeFacet(ttTypeType))==>ttTypeFacet(ttTypeType).
  479. % mpred_fwc1(ttTypeFacet(ttTypeType)).
  480. %       Found positive trigger: ttTypeFacet(ttTypeType)
  481. %               body: rhs([tSet(ttTypeType)])
  482. %       RHS-Post1: tSet(ttTypeType)
  483. %       Support: ttTypeFacet(ttTypeType),pt(ttTypeFacet(ttTypeType),rhs([tSet(ttTypeType)]))
  484. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:152
  485. % mpred_fwc1(ttTypeFacet(ttIndividualType)).
  486. %       Found positive trigger: ttTypeFacet(ttIndividualType)
  487. %               body: rhs([tSet(ttIndividualType)])
  488. %       RHS-Post1: tSet(ttIndividualType)
  489. %       Support: ttTypeFacet(ttIndividualType),pt(ttTypeFacet(ttIndividualType),rhs([tSet(ttIndividualType)]))
  490. % mpred_fwc1(tSet(ttIndividualType)).
  491. %       Found positive trigger: tSet(ttIndividualType)
  492. %               body: rhs([tCol(ttIndividualType),\+ttExpressionType(ttIndividualType)])
  493. %       RHS-Post1: tCol(ttIndividualType)
  494. %       Support: tSet(ttIndividualType),pt(tSet(ttIndividualType),rhs([tCol(ttIndividualType),\+ttExpressionType(ttIndividualType)]))
  495. % mpred_fwc1(tCol(ttIndividualType)).
  496. %       Found positive trigger: tCol(ttIndividualType)
  497. %               body: rhs([{decl_type(ttIndividualType),kb_shared(ttIndividualType/1)}])
  498. % mpred_fwc1(arity(ttIndividualType, 1)).
  499. pred_fwc1(safe_wrap(ttIndividualType, 1, ereq)).
  500. %               RHS-Withdrawing-Negation: \+ttExpressionType(ttIndividualType)
  501. %       Support: tSet(ttIndividualType),pt(tSet(ttIndividualType),rhs([tCol(ttIndividualType),\+ttExpressionType(ttIndividualType)]))
  502. %       Removing
  503. %               term: ttExpressionType(ttIndividualType)
  504. %               support (was): tSet(ttIndividualType),pt(tSet(ttIndividualType),rhs([tCol(ttIndividualType),\+ttExpressionType(ttIndividualType)]))
  505. % mpred_withdraw/2 Could not find support tSet(ttIndividualType),pt(tSet(ttIndividualType),rhs([tCol(ttIndividualType),\+ttExpressionType(ttIndividualType)])) to remove from fact ttExpressionType(ttIndividualType)
  506. % expanding_mpred_fwc1(ttTypeFacet(ttIndividualType))==>ttTypeFacet(ttIndividualType).
  507. % mpred_fwc1(ttTypeFacet(ttIndividualType)).
  508. %       Found positive trigger: ttTypeFacet(ttIndividualType)
  509. %               body: rhs([tSet(ttIndividualType)])
  510. %       RHS-Post1: tSet(ttIndividualType)
  511. %       Support: ttTypeFacet(ttIndividualType),pt(ttTypeFacet(ttIndividualType),rhs([tSet(ttIndividualType)]))
  512. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:155
  513. % mpred_fwc1(ttTypeFacet(ttExpressionType)).
  514. %       Found positive trigger: ttTypeFacet(ttExpressionType)
  515. %               body: rhs([tSet(ttExpressionType)])
  516. %       RHS-Post1: tSet(ttExpressionType)
  517. %       Support: ttTypeFacet(ttExpressionType),pt(ttTypeFacet(ttExpressionType),rhs([tSet(ttExpressionType)]))
  518. % mpred_fwc1(tSet(ttExpressionType)).
  519. %       Found positive trigger: tSet(ttExpressionType)
  520. %               body: rhs([tCol(ttExpressionType),\+ttExpressionType(ttExpressionType)])
  521. %       RHS-Post1: tCol(ttExpressionType)
  522. %       Support: tSet(ttExpressionType),pt(tSet(ttExpressionType),rhs([tCol(ttExpressionType),\+ttExpressionType(ttExpressionType)]))
  523. % mpred_fwc1(tCol(ttExpressionType)).
  524. %       Found positive trigger: tCol(ttExpressionType)
  525. %               body: rhs([{decl_type(ttExpressionType),kb_shared(ttExpressionType/1)}])
  526. %               RHS-Withdrawing-Negation: \+ttExpressionType(ttExpressionType)
  527. %       Support: tSet(ttExpressionType),pt(tSet(ttExpressionType),rhs([tCol(ttExpressionType),\+ttExpressionType(ttExpressionType)]))
  528. %       Removing
  529. %               term: ttExpressionType(ttExpressionType)
  530. %               support (was): tSet(ttExpressionType),pt(tSet(ttExpressionType),rhs([tCol(ttExpressionType),\+ttExpressionType(ttExpressionType)]))
  531. % mpred_withdraw/2 Could not find support tSet(ttExpressionType),pt(tSet(ttExpressionType),rhs([tCol(ttExpressionType),\+ttExpressionType(ttExpressionType)])) to remove from fact ttExpressionType(ttExpressionType)
  532. % expanding_mpred_fwc1(ttTypeFacet(ttExpressionType))==>ttTypeFacet(ttExpressionType).
  533. % mpred_fwc1(ttTypeFacet(ttExpressionType)).
  534. %       Found positive trigger: ttTypeFacet(ttExpressionType)
  535. %               body: rhs([tSet(ttExpressionType)])
  536. %       RHS-Post1: tSet(ttExpressionType)
  537. %       Support: ttTypeFacet(ttExpressionType),pt(ttTypeFacet(ttExpressionType),rhs([tSet(ttExpressionType)]))
  538. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:158
  539. % mpred_fwc1(ttTypeFacet(tSet)).
  540. %       Found positive trigger: ttTypeFacet(tSet)
  541. %               body: rhs([tSet(tSet)])
  542. %       RHS-Post1: tSet(tSet)
  543. %       Support: ttTypeFacet(tSet),pt(ttTypeFacet(tSet),rhs([tSet(tSet)]))
  544. % mpred_fwc1(tSet(tSet)).
  545. %       Found positive trigger: tSet(tSet)
  546. %               body: rhs([tCol(tSet),\+ttExpressionType(tSet)])
  547. %       RHS-Post1: tCol(tSet)
  548. %       Support: tSet(tSet),pt(tSet(tSet),rhs([tCol(tSet),\+ttExpressionType(tSet)]))
  549. % mpred_fwc1(tCol(tSet)).
  550. %       Found positive trigger: tCol(tSet)
  551. %               body: rhs([{decl_type(tSet),kb_shared(tSet/1)}])
  552. %               RHS-Withdrawing-Negation: \+ttExpressionType(tSet)
  553. %       Support: tSet(tSet),pt(tSet(tSet),rhs([tCol(tSet),\+ttExpressionType(tSet)]))
  554. %       Removing
  555. %               term: ttExpressionType(tSet)
  556. %               support (was): tSet(tSet),pt(tSet(tSet),rhs([tCol(tSet),\+ttExpressionType(tSet)]))
  557. % mpred_withdraw/2 Could not find support tSet(tSet),pt(tSet(tSet),rhs([tCol(tSet),\+ttExpressionType(tSet)])) to remove from fact ttExpressionType(tSet)
  558. % expanding_mpred_fwc1(ttTypeFacet(tSet))==>ttTypeFacet(tSet).
  559. % mpred_fwc1(ttTypeFacet(tSet)).
  560. %       Found positive trigger: ttTypeFacet(tSet)
  561. %               body: rhs([tSet(tSet)])
  562. %       RHS-Post1: tSet(tSet)
  563. %       Support: ttTypeFacet(tSet),pt(ttTypeFacet(tSet),rhs([tSet(tSet)]))
  564. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:161
  565. % mpred_fwc1(ttTypeFacet(ttUnverifiableType)).
  566. %       Found positive trigger: ttTypeFacet(ttUnverifiableType)
  567. %               body: rhs([tSet(ttUnverifiableType)])
  568. %       RHS-Post1: tSet(ttUnverifiableType)
  569. %       Support: ttTypeFacet(ttUnverifiableType),pt(ttTypeFacet(ttUnverifiableType),rhs([tSet(ttUnverifiableType)]))
  570. % mpred_fwc1(tSet(ttUnverifiableType)).
  571. %       Found positive trigger: tSet(ttUnverifiableType)
  572. %               body: rhs([tCol(ttUnverifiableType),\+ttExpressionType(ttUnverifiableType)])
  573. %       RHS-Post1: tCol(ttUnverifiableType)
  574. %       Support: tSet(ttUnverifiableType),pt(tSet(ttUnverifiableType),rhs([tCol(ttUnverifiableType),\+ttExpressionType(ttUnverifiableType)]))
  575. % mpred_fwc1(tCol(ttUnverifiableType)).
  576. %       Found positive trigger: tCol(ttUnverifiableType)
  577. %               body: rhs([{decl_type(ttUnverifiableType),kb_shared(ttUnverifiableType/1)}])
  578. % mpred_fwc1(arity(ttUnverifiableType, 1)).
  579. % mpred_fwc1(safe_wrap(ttUnverifiableType, 1, ereq)).
  580. %               RHS-Withdrawing-Negation: \+ttExpressionType(ttUnverifiableType)
  581. %       Support: tSet(ttUnverifiableType),pt(tSet(ttUnverifiableType),rhs([tCol(ttUnverifiableType),\+ttExpressionType(ttUnverifiableType)]))
  582. %       Removing
  583. %               term: ttExpressionType(ttUnverifiableType)
  584. %               support (was): tSet(ttUnverifiableType),pt(tSet(ttUnverifiableType),rhs([tCol(ttUnverifiableType),\+ttExpressionType(ttUnverifiableType)]))
  585. % mpred_withdraw/2 Could not find support tSet(ttUnverifiableType),pt(tSet(ttUnverifiableType),rhs([tCol(ttUnverifiableType),\+ttExpressionType(ttUnverifiableType)])) to remove from fact ttExpressionType(ttUnverifiableType)
  586. % expanding_mpred_fwc1(ttTypeFacet(ttUnverifiableType))==>ttTypeFacet(ttUnverifiableType).
  587. % mpred_fwc1(ttTypeFacet(ttUnverifiableType)).
  588. %       Found positive trigger: ttTypeFacet(ttUnverifiableType)
  589. %               body: rhs([tSet(ttUnverifiableType)])
  590. %       RHS-Post1: tSet(ttUnverifiableType)
  591. %       Support: ttTypeFacet(ttUnverifiableType),pt(ttTypeFacet(ttUnverifiableType),rhs([tSet(ttUnverifiableType)]))
  592. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:164
  593. % mpred_fwc1(ttTypeFacet(tAtemporalNecessarilyEssentialCollectionType)).
  594. %       Found positive trigger: ttTypeFacet(tAtemporalNecessarilyEssentialCollectionType)
  595. %               body: rhs([tSet(tAtemporalNecessarilyEssentialCollectionType)])
  596. %       RHS-Post1: tSet(tAtemporalNecessarilyEssentialCollectionType)
  597. %       Support: ttTypeFacet(tAtemporalNecessarilyEssentialCollectionType),pt(ttTypeFacet(tAtemporalNecessarilyEssentialCollectionType),rhs([tSet(tAtemporalNecessarilyEssentialCollectionType)]))
  598. % mpred_fwc1(tSet(tAtemporalNecessarilyEssentialCollectionType)).
  599. %       Found positive trigger: tSet(tAtemporalNecessarilyEssentialCollectionType)
  600. %               body: rhs([tCol(tAtemporalNecessarilyEssentialCollectionType),\+ttExpressionType(tAtemporalNecessarilyEssentialCollectionType)])
  601. %       RHS-Post1: tCol(tAtemporalNecessarilyEssentialCollectionType)
  602. %       Support: tSet(tAtemporalNecessarilyEssentialCollectionType),pt(tSet(tAtemporalNecessarilyEssentialCollectionType),rhs([tCol(tAtemporalNecessarilyEssentialCollectionType),\+ttExpressionType(tAtemporalNecessarilyEssentialCollectionType)]))
  603. % mpred_fwc1(tCol(tAtemporalNecessarilyEssentialCollectionType)).
  604. %       Found positive trigger: tCol(tAtemporalNecessarilyEssentialCollectionType)
  605. %               body: rhs([{decl_type(tAtemporalNecessarilyEssentialCollectionType),kb_shared(tAtemporalNecessarilyEssentialCollectionType/1)}])
  606. %               RHS-Withdrawing-Negation: \+ttExpressionType(tAtemporalNecessarilyEssentialCollectionType)
  607. %       Support: tSet(tAtemporalNecessarilyEssentialCollectionType),pt(tSet(tAtemporalNecessarilyEssentialCollectionType),rhs([tCol(tAtemporalNecessarilyEssentialCollectionType),\+ttExpressionType(tAtemporalNecessarilyEssentialCollectionType)]))
  608. %       Removing
  609. %               term: ttExpressionType(tAtemporalNecessarilyEssentialCollectionType)
  610. %               support (was): tSet(tAtemporalNecessarilyEssentialCollectionType),pt(tSet(tAtemporalNecessarilyEssentialCollectionType),rhs([tCol(tAtemporalNecessarilyEssentialCollectionType),\+ttExpressionType(tAtemporalNecessarilyEssentialCollectionType)]))
  611. % mpred_withdraw/2 Could not find support tSet(tAtemporalNecessarilyEssentialCollectionType),pt(tSet(tAtemporalNecessarilyEssentialCollectionType),rhs([tCol(tAtemporalNecessarilyEssentialCollectionType),\+ttExpressionType(tAtemporalNecessarilyEssentialCollectionType)])) to remove from fact ttExpressionType(tAtemporalNecessarilyEssentialCollectionType)
  612. % expanding_mpred_fwc1(ttTypeFacet(tAtemporalNecessarilyEssentialCollectionType))==>ttTypeFacet(tAtemporalNecessarilyEssentialCollectionType).
  613. % mpred_fwc1(ttTypeFacet(tAtemporalNecessarilyEssentialCollectionType)).
  614. %       Found positive trigger: ttTypeFacet(tAtemporalNecessarilyEssentialCollectionType)
  615. %               body: rhs([tSet(tAtemporalNecessarilyEssentialCollectionType)])
  616. %       RHS-Post1: tSet(tAtemporalNecessarilyEssentialCollectionType)
  617. %       Support: ttTypeFacet(tAtemporalNecessarilyEssentialCollectionType),pt(ttTypeFacet(tAtemporalNecessarilyEssentialCollectionType),rhs([tSet(tAtemporalNecessarilyEssentialCollectionType)]))
  618. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:167
  619. % mpred_fwc1(ttTypeFacet(completelyAssertedCollection)).
  620. %       Found positive trigger: ttTypeFacet(completelyAssertedCollection)
  621. %               body: rhs([tSet(completelyAssertedCollection)])
  622. %       RHS-Post1: tSet(completelyAssertedCollection)
  623. %       Support: ttTypeFacet(completelyAssertedCollection),pt(ttTypeFacet(completelyAssertedCollection),rhs([tSet(completelyAssertedCollection)]))
  624. % expanding_mpred_fwc1(ttTypeFacet(completelyAssertedCollection))==>ttTypeFacet(completelyAssertedCollection).
  625. % mpred_fwc1(ttTypeFacet(completelyAssertedCollection)).
  626. %       Found positive trigger: ttTypeFacet(completelyAssertedCollection)
  627. %               body: rhs([tSet(completelyAssertedCollection)])
  628. %       RHS-Post1: tSet(completelyAssertedCollection)
  629. %       Support: ttTypeFacet(completelyAssertedCollection),pt(ttTypeFacet(completelyAssertedCollection),rhs([tSet(completelyAssertedCollection)]))
  630. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:172
  631. % mpred_fwc1(completelyAssertedCollection(ttTypeType)).
  632. %       Found positive trigger: completelyAssertedCollection(ttTypeType)
  633. %               body: rhs([tSet(ttTypeType)])
  634. %       RHS-Post1: tSet(ttTypeType)
  635. %       Support: completelyAssertedCollection(ttTypeType),pt(completelyAssertedCollection(ttTypeType),rhs([tSet(ttTypeType)]))
  636. % expanding_mpred_fwc1(completelyAssertedCollection(ttTypeType))==>completelyAssertedCollection(ttTypeType).
  637. % mpred_fwc1(completelyAssertedCollection(ttTypeType)).
  638. %       Found positive trigger: completelyAssertedCollection(ttTypeType)
  639. %               body: rhs([tSet(ttTypeType)])
  640. %       RHS-Post1: tSet(ttTypeType)
  641. %       Support: completelyAssertedCollection(ttTypeType),pt(completelyAssertedCollection(ttTypeType),rhs([tSet(ttTypeType)]))
  642. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:175
  643. % mpred_fwc1(ttTypeType(ttTypeFacet)).
  644. % expanding_mpred_fwc1(ttTypeType(ttTypeFacet))==>ttTypeType(ttTypeFacet).
  645. % mpred_fwc1(ttTypeType(ttTypeFacet)).
  646. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:178
  647. % mpred_fwc1(genls(ttTypeFacet, completelyAssertedCollection)).
  648. % expanding_mpred_fwc1(genls(ttTypeFacet, completelyAssertedCollection))==>genls(ttTypeFacet, completelyAssertedCollection).
  649. % mpred_fwc1(genls(ttTypeFacet, completelyAssertedCollection)).
  650. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:181
  651. % mpred_fwc1(typeGenls(ttTypeFacet, tCol)).
  652. 49mxpanding_mpred_fwc1(typeGenls(ttTypeFacet, tCol))==>typeGenls(ttTypeFacet, tCol).
  653. % mpred_fwc1(typeGenls(ttTypeFacet, tCol)).
  654. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:184
  655. % mpred_fwc1((ttTypeType(_96848)==>completelyAssertedCollection(_96848))).
  656. %       Adding positive
  657. %               trigger: ttTypeType(_2900)
  658. %               body: rhs([completelyAssertedCollection(_2900)])
  659. %        Support: (ttTypeType(_2934)==>completelyAssertedCollection(_2934)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',184)
  660. %       RHS-Post1: completelyAssertedCollection(ttTypeFacet)
  661. %       Support: ttTypeType(ttTypeFacet),pt(ttTypeType(_8270),rhs([completelyAssertedCollection(_8270)]))
  662. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:191
  663. % mpred_fwc1((typeGenls(_29318, _29320)==>ttTypeType(_29318), tSet(_29320), (isa(_29350, _29318)==>genls(_29350, _29320)))).
  664. %       Adding positive
  665. %               trigger: typeGenls(_3096,_3098)
  666. %               body: rhs([ttTypeType(_3096),tSet(_3098),(isa(_3128,_3096)==>genls(_3128,_3098))])
  667. %        Support: (typeGenls(_3190,_3192)==>ttTypeType(_3190),tSet(_3192),(isa(_3222,_3190)==>genls(_3222,_3192))),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',191)
  668. %       RHS-Post1: ttTypeType(ttTypeFacet)
  669. %       Support: typeGenls(ttTypeFacet,tCol),pt(typeGenls(_8804,_8806),rhs([ttTypeType(_8804),tSet(_8806),(isa(_8846,_8804)==>genls(_8846,_8806))]))
  670. %       RHS-Post1: tSet(tCol)
  671. %       Support: typeGenls(ttTypeFacet,tCol),pt(typeGenls(_3646,_3648),rhs([ttTypeType(_3646),tSet(_3648),(isa(_3688,_3646)==>genls(_3688,_3648))]))
  672. % mpred_fwc1(tSet(tCol)).
  673. %       Found positive trigger: tSet(tCol)
  674. %               body: rhs([tCol(tCol),\+ttExpressionType(tCol)])
  675. %       RHS-Post1: tCol(tCol)
  676. %       Support: tSet(tCol),pt(tSet(tCol),rhs([tCol(tCol),\+ttExpressionType(tCol)]))
  677. % mpred_fwc1(tCol(tCol)).
  678. %       Found positive trigger: tCol(tCol)
  679. %               body: rhs([{decl_type(tCol),kb_shared(tCol/1)}])
  680. %               RHS-Withdrawing-Negation: \+ttExpressionType(tCol)
  681. %       Support: tSet(tCol),pt(tSet(tCol),rhs([tCol(tCol),\+ttExpressionType(tCol)]))
  682. %       Removing
  683. %               term: ttExpressionType(tCol)
  684. %               support (was): tSet(tCol),pt(tSet(tCol),rhs([tCol(tCol),\+ttExpressionType(tCol)]))
  685. % mpred_withdraw/2 Could not find support tSet(tCol),pt(tSet(tCol),rhs([tCol(tCol),\+ttExpressionType(tCol)])) to remove from fact ttExpressionType(tCol)
  686. %       RHS-Post1: isa(_3108,ttTypeFacet)==>genls(_3108,tCol)
  687. %       Support: typeGenls(ttTypeFacet,tCol),pt(typeGenls(_3596,_3598),rhs([ttTypeType(_3596),tSet(_3598),(isa(_3638,_3596)==>genls(_3638,_3598))]))
  688. % mpred_fwc1((ttTypeFacet(_22956)==>genls(_22956, tCol))).
  689. %       Adding positive
  690. %               trigger: ttTypeFacet(_4386)
  691. %               body: rhs([genls(_4386,tCol)])
  692. %        Support: (ttTypeFacet(_4446)==>genls(_4446,tCol)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',191)
  693. %       RHS-Post1: genls(ttTypeType,tCol)
  694. %       Support: ttTypeFacet(ttTypeType),pt(ttTypeFacet(_10154),rhs([genls(_10154,tCol)]))
  695. % mpred_fwc1(genls(ttTypeType, tCol)).
  696. %       RHS-Post1: genls(ttIndividualType,tCol)
  697. %       Support: ttTypeFacet(ttIndividualType),pt(ttTypeFacet(_4676),rhs([genls(_4676,tCol)]))
  698. % mpred_fwc1(genls(ttIndividualType, tCol)).
  699. %       RHS-Post1: genls(ttExpressionType,tCol)
  700. %       Support: ttTypeFacet(ttExpressionType),pt(ttTypeFacet(_4676),rhs([genls(_4676,tCol)]))
  701. % mpred_fwc1(genls(ttExpressionType, tCol)).
  702. %       RHS-Post1: genls(tSet,tCol)
  703. %       Support: ttTypeFacet(tSet),pt(ttTypeFacet(_4676),rhs([genls(_4676,tCol)]))
  704. % mpred_fwc1(genls(tSet, tCol)).
  705. %       RHS-Post1: genls(ttUnverifiableType,tCol)
  706. %       Support: ttTypeFacet(ttUnverifiableType),pt(ttTypeFacet(_4676),rhs([genls(_4676,tCol)]))
  707. % mpred_fwc1(genls(ttUnverifiableType, tCol)).
  708. %       RHS-Post1: genls(tAtemporalNecessarilyEssentialCollectionType,tCol)
  709. %       Support: ttTypeFacet(tAtemporalNecessarilyEssentialCollectionType),pt(ttTypeFacet(_4676),rhs([genls(_4676,tCol)]))
  710. % mpred_fwc1(genls(tAtemporalNecessarilyEssentialCollectionType, tCol)).
  711. %       RHS-Post1: genls(completelyAssertedCollection,tCol)
  712. %       Support: ttTypeFacet(completelyAssertedCollection),pt(ttTypeFacet(_4676),rhs([genls(_4676,tCol)]))
  713. % mpred_fwc1(genls(completelyAssertedCollection, tCol)).
  714. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:195
  715. % mpred_fwc1((tooSlow==>(typeGenls(_38888, _38890), genls(_38888, _38902), typeGenls(_38902, _38908)==>genls(_38890, _38908)))).
  716. %       Adding positive
  717. %               trigger: tooSlow
  718. %               body: rhs([(typeGenls(_38888,_38890),genls(_38888,_38902),typeGenls(_38902,_38908)==>genls(_38890,_38908))])
  719. %        Support: (tooSlow==>(typeGenls(_43978,_43980),genls(_43978,_43992),typeGenls(_43992,_43998)==>genls(_43980,_43998))),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',195)
  720. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:198
  721. % mpred_fwc1((genls(_102510, _102512)==>tCol(_102510), tCol(_102512))).
  722. %       Adding positive
  723. %               trigger: genls(_2976,_2978)
  724. %               body: rhs([tCol(_2976),tCol(_2978)])
  725. %        Support: (genls(_3034,_3036)==>tCol(_3034),tCol(_3036)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',198)
  726. %       RHS-Post1: tCol(ttTypeFacet)
  727. %       Support: genls(ttTypeFacet,completelyAssertedCollection),pt(genls(_8460,_8462),rhs([tCol(_8460),tCol(_8462)]))
  728. %       RHS-Post1: tCol(completelyAssertedCollection)
  729. %       Support: genls(ttTypeFacet,completelyAssertedCollection),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  730. %       RHS-Post1: tCol(ttTypeType)
  731. %       Support: genls(ttTypeType,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  732. %       RHS-Post1: tCol(tCol)
  733. %       Support: genls(ttTypeType,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  734. %       RHS-Post1: tCol(ttIndividualType)
  735. %       Support: genls(ttIndividualType,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  736. %       RHS-Post1: tCol(tCol)
  737. %       Support: genls(ttIndividualType,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  738. %       RHS-Post1: tCol(ttExpressionType)
  739. %       Support: genls(ttExpressionType,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  740. %       RHS-Post1: tCol(tCol)
  741. %       Support: genls(ttExpressionType,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  742. %       RHS-Post1: tCol(tSet)
  743. %       Support: genls(tSet,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  744. %       RHS-Post1: tCol(tCol)
  745. %       Support: genls(tSet,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  746. %       RHS-Post1: tCol(ttUnverifiableType)
  747. %       Support: genls(ttUnverifiableType,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  748. %       RHS-Post1: tCol(tCol)
  749. %       Support: genls(ttUnverifiableType,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  750. %       RHS-Post1: tCol(tAtemporalNecessarilyEssentialCollectionType)
  751. %       Support: genls(tAtemporalNecessarilyEssentialCollectionType,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  752. %       RHS-Post1: tCol(tCol)
  753. %       Support: genls(tAtemporalNecessarilyEssentialCollectionType,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  754. %       RHS-Post1: tCol(completelyAssertedCollection)
  755. %       Support: genls(completelyAssertedCollection,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  756. %       RHS-Post1: tCol(tCol)
  757. %       Support: genls(completelyAssertedCollection,tCol),pt(genls(_3368,_3370),rhs([tCol(_3368),tCol(_3370)]))
  758. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:200
  759. % mpred_fwc1((tooSlow==>(genls(_24298, _24300)/(_24298\=_24300, \+ttExpressionType(_24298), \+ttExpressionType(_24300), \+rtAvoidForwardChain(_24300))==>genlsFwd(_24298, _24300)))).
  760. %       Adding positive
  761. %               trigger: tooSlow
  762. %               body: rhs([(genls(_24298,_24300)/(_24298\=_24300,\+ttExpressionType(_24298),\+ttExpressionType(_24300),\+rtAvoidForwardChain(_24300))==>genlsFwd(_24298,_24300))])
  763. %        Support: (tooSlow==>(genls(_30340,_30342)/(_30340\=_30342,\+ttExpressionType(_30340),\+ttExpressionType(_30342),\+rtAvoidForwardChain(_30342))==>genlsFwd(_30340,_30342))),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',200)
  764. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:204
  765. % mpred_fwc1((tooSlow==>(genlsFwd(_103990, _103992)/(_103990\=_103992)==>(isa(_104008, _103990)==>isa(_104008, _103992))))).
  766. %       Adding positive
  767. %               trigger: tooSlow
  768. %               body: rhs([(genlsFwd(_103990,_103992)/(_103990\=_103992)==>(isa(_104008,_103990)==>isa(_104008,_103992)))])
  769. %        Support: (tooSlow==>(genlsFwd(_108986,_108988)/(_108986\=_108988)==>(isa(_109004,_108986)==>isa(_109004,_108988)))),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',204)
  770. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:207
  771. % mpred_fwc1((\+tooSlow==>(genls(_129622, _129624)/(_129622\=_129624)==>(isa(_129640, _129622)==>isa(_129640, _129624))))).
  772. %       Adding negative
  773. %               trigger: tooSlow
  774. %               test: call_u_no_bc(tooSlow)
  775. %               body: rhs([(genls(_129622,_129624)/(_129622\=_129624)==>(isa(_129640,_129622)==>isa(_129640,_129624)))])
  776. %        Support: (\+tooSlow==>(genls(_134770,_134772)/(_134770\=_134772)==>(isa(_134788,_134770)==>isa(_134788,_134772)))),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',207)
  777. %       RHS-Post1: genls(_3120,_3122)/(_3120\=_3122)==>(isa(_3138,_3120)==>isa(_3138,_3122))
  778. %       Support: \+tooSlow,nt(tooSlow,call_u_no_bc(tooSlow),rhs([(genls(_3120,_3122)/(_3120\=_3122)==>(isa(_3138,_3120)==>isa(_3138,_3122)))]))
  779. %       Adding NEG mpred_do_fcnt via support
  780. %               trigger: tooSlow
  781. %               cond: call_u_no_bc(tooSlow)
  782. %               action: rhs([(genls(_3120,_3122)/(_3120\=_3122)==>(isa(_3138,_3120)==>isa(_3138,_3122)))])
  783. %        from: mpred_add_support_fast((genls(_3120,_3122)/(_3120\=_3122)==>(isa(_3138,_3120)==>isa(_3138,_3122))),(\+tooSlow,nt(tooSlow,call_u_no_bc(tooSlow),rhs([(genls(_3120,_3122)/(_3120\=_3122)==>(isa(_3138,_3120)==>isa(_3138,_3122)))]))))
  784. % mpred_fwc1((genls(_24054, _24056)/(_24054\=_24056)==>(isa(_24072, _24054)==>isa(_24072, _24056)))).
  785. %       Adding positive
  786. %               trigger: genls(_4408,_4410)
  787. %               body: _4408\=_4410*->rhs([(isa(_4426,_4408)==>isa(_4426,_4410))])
  788. %        Support: (genls(_4494,_4496)/(_4494\=_4496)==>(isa(_4512,_4494)==>isa(_4512,_4496))),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',207)
  789. %       RHS-Post1: isa(_4426,ttTypeFacet)==>isa(_4426,completelyAssertedCollection)
  790. %       Support: genls(ttTypeFacet,completelyAssertedCollection),pt(genls(_10400,_10402),(_10400\=_10402*->rhs([(isa(_10434,_10400)==>isa(_10434,_10402))])))
  791. % mpred_fwc1((ttTypeFacet(_26034)==>completelyAssertedCollection(_26034))).
  792. %       Adding positive
  793. %               trigger: ttTypeFacet(_5642)
  794. %               body: rhs([completelyAssertedCollection(_5642)])
  795. %        Support: (ttTypeFacet(_5700)==>completelyAssertedCollection(_5700)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',207)
  796. %       RHS-Post1: completelyAssertedCollection(ttTypeType)
  797. %       Support: ttTypeFacet(ttTypeType),pt(ttTypeFacet(_11802),rhs([completelyAssertedCollection(_11802)]))
  798. %       RHS-Post1: completelyAssertedCollection(ttIndividualType)
  799. %       Support: ttTypeFacet(ttIndividualType),pt(ttTypeFacet(_11802),rhs([completelyAssertedCollection(_11802)]))
  800. % mpred_fwc1(completelyAssertedCollection(ttIndividualType)).
  801. %       Found positive trigger: completelyAssertedCollection(ttIndividualType)
  802. %               body: rhs([tSet(ttIndividualType)])
  803. %       RHS-Post1: tSet(ttIndividualType)
  804. %       Support: completelyAssertedCollection(ttIndividualType),pt(completelyAssertedCollection(ttIndividualType),rhs([tSet(ttIndividualType)]))
  805. %       RHS-Post1: completelyAssertedCollection(ttExpressionType)
  806. %       Support: ttTypeFacet(ttExpressionType),pt(ttTypeFacet(_5914),rhs([completelyAssertedCollection(_5914)]))
  807. % mpred_fwc1(completelyAssertedCollection(ttExpressionType)).
  808. %       Found positive trigger: completelyAssertedCollection(ttExpressionType)
  809. %               body: rhs([tSet(ttExpressionType)])
  810. %       RHS-Post1: tSet(ttExpressionType)
  811. %       Support: completelyAssertedCollection(ttExpressionType),pt(completelyAssertedCollection(ttExpressionType),rhs([tSet(ttExpressionType)]))
  812. %       RHS-Post1: completelyAssertedCollection(tSet)
  813. %       Support: ttTypeFacet(tSet),pt(ttTypeFacet(_5914),rhs([completelyAssertedCollection(_5914)]))
  814. % mpred_fwc1(completelyAssertedCollection(tSet)).
  815. %       Found positive trigger: completelyAssertedCollection(tSet)
  816. %               body: rhs([tSet(tSet)])
  817. %       RHS-Post1: tSet(tSet)
  818. %       Support: completelyAssertedCollection(tSet),pt(completelyAssertedCollection(tSet),rhs([tSet(tSet)]))
  819. %       RHS-Post1: completelyAssertedCollection(ttUnverifiableType)
  820. %       Support: ttTypeFacet(ttUnverifiableType),pt(ttTypeFacet(_5914),rhs([completelyAssertedCollection(_5914)]))
  821. % mpred_fwc1(completelyAssertedCollection(ttUnverifiableType)).
  822. %       Found positive trigger: completelyAssertedCollection(ttUnverifiableType)
  823. %               body: rhs([tSet(ttUnverifiableType)])
  824. %       RHS-Post1: tSet(ttUnverifiableType)
  825. %       Support: completelyAssertedCollection(ttUnverifiableType),pt(completelyAssertedCollection(ttUnverifiableType),rhs([tSet(ttUnverifiableType)]))
  826. %       RHS-Post1: completelyAssertedCollection(tAtemporalNecessarilyEssentialCollectionType)
  827. %       Support: ttTypeFacet(tAtemporalNecessarilyEssentialCollectionType),pt(ttTypeFacet(_5914),rhs([completelyAssertedCollection(_5914)]))
  828. % mpred_fwc1(completelyAssertedCollection(tAtemporalNecessarilyEssentialCollectionType)).
  829. %       Found positive trigger: completelyAssertedCollection(tAtemporalNecessarilyEssentialCollectionType)
  830. %               body: rhs([tSet(tAtemporalNecessarilyEssentialCollectionType)])
  831. %       RHS-Post1: tSet(tAtemporalNecessarilyEssentialCollectionType)
  832. %       Support: completelyAssertedCollection(tAtemporalNecessarilyEssentialCollectionType),pt(completelyAssertedCollection(tAtemporalNecessarilyEssentialCollectionType),rhs([tSet(tAtemporalNecessarilyEssentialCollectionType)]))
  833. %       RHS-Post1: completelyAssertedCollection(completelyAssertedCollection)
  834. %       Support: ttTypeFacet(completelyAssertedCollection),pt(ttTypeFacet(_5914),rhs([completelyAssertedCollection(_5914)]))
  835. %       RHS-Post1: isa(_4398,ttTypeType)==>isa(_4398,tCol)
  836. %       Support: genls(ttTypeType,tCol),pt(genls(_4842,_4844),(_4842\=_4844*->rhs([(isa(_4876,_4842)==>isa(_4876,_4844))])))
  837. % mpred_fwc1((ttTypeType(_17222)==>tCol(_17222))).
  838. %       Adding positive
  839. %               trigger: ttTypeType(_17222)
  840. %               body: rhs([tCol(_17222)])
  841. %        Support: (ttTypeType(_21646)==>tCol(_21646)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',207)
  842. 40m     HS-Post1: tCol(ttTypeFacet)
  843. %       Support: ttTypeType(ttTypeFacet),pt(ttTypeType(_6030),rhs([tCol(_6030)]))
  844. %       RHS-Post1: isa(_4398,ttIndividualType)==>isa(_4398,tCol)
  845. %       Support: genls(ttIndividualType,tCol),pt(genls(_4842,_4844),(_4842\=_4844*->rhs([(isa(_4876,_4842)==>isa(_4876,_4844))])))
  846. % mpred_fwc1((ttIndividualType(_31888)==>tCol(_31888))).
  847. %       Adding positive
  848. %               trigger: ttIndividualType(_5658)
  849. %               body: rhs([tCol(_5658)])
  850. %        Support: (ttIndividualType(_5716)==>tCol(_5716)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',207)
  851. %       RHS-Post1: isa(_4398,ttExpressionType)==>isa(_4398,tCol)
  852. %       Support: genls(ttExpressionType,tCol),pt(genls(_4842,_4844),(_4842\=_4844*->rhs([(isa(_4876,_4842)==>isa(_4876,_4844))])))
  853. % mpred_fwc1((ttExpressionType(_28090)==>tCol(_28090))).
  854. %       Adding positive
  855. %               trigger: ttExpressionType(_5708)
  856. %               body: rhs([tCol(_5708)])
  857. %        Support: (ttExpressionType(_5766)==>tCol(_5766)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',207)
  858. %       RHS-Post1: isa(_4398,tSet)==>isa(_4398,tCol)
  859. %       Support: genls(tSet,tCol),pt(genls(_4842,_4844),(_4842\=_4844*->rhs([(isa(_4876,_4842)==>isa(_4876,_4844))])))
  860. % mpred_fwc1((tSet(_28128)==>tCol(_28128))).
  861. %       Adding positive
  862. %               trigger: tSet(_5730)
  863. %               body: rhs([tCol(_5730)])
  864. %        Support: (tSet(_5788)==>tCol(_5788)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',207)
  865. %       RHS-Post1: tCol(completelyAssertedCollection)
  866. %       Support: tSet(completelyAssertedCollection),pt(tSet(_11874),rhs([tCol(_11874)]))
  867. %       RHS-Post1: tCol(tIndividual)
  868. %       Support: tSet(tIndividual),pt(tSet(_11874),rhs([tCol(_11874)]))
  869. %       RHS-Post1: tCol(ttTypeFacet)
  870. %       Support: tSet(ttTypeFacet),pt(tSet(_6052),rhs([tCol(_6052)]))
  871. %       RHS-Post1: tCol(ttTypeType)
  872. %       Support: tSet(ttTypeType),pt(tSet(_6052),rhs([tCol(_6052)]))
  873. %       RHS-Post1: tCol(ttIndividualType)
  874. %       Support: tSet(ttIndividualType),pt(tSet(_6052),rhs([tCol(_6052)]))
  875. %       RHS-Post1: tCol(ttExpressionType)
  876. %       Support: tSet(ttExpressionType),pt(tSet(_6052),rhs([tCol(_6052)]))
  877. %       RHS-Post1: tCol(tSet)
  878. %       Support: tSet(tSet),pt(tSet(_6052),rhs([tCol(_6052)]))
  879. %       RHS-Post1: tCol(ttUnverifiableType)
  880. %       Support: tSet(ttUnverifiableType),pt(tSet(_6052),rhs([tCol(_6052)]))
  881. %       RHS-Post1: tCol(tAtemporalNecessarilyEssentialCollectionType)
  882. %       Support: tSet(tAtemporalNecessarilyEssentialCollectionType),pt(tSet(_6052),rhs([tCol(_6052)]))
  883. %       RHS-Post1: tCol(tCol)
  884. %       Support: tSet(tCol),pt(tSet(_6052),rhs([tCol(_6052)]))
  885. %       RHS-Post1: isa(_4398,ttUnverifiableType)==>isa(_4398,tCol)
  886. %       Support: genls(ttUnverifiableType,tCol),pt(genls(_4842,_4844),(_4842\=_4844*->rhs([(isa(_4876,_4842)==>isa(_4876,_4844))])))
  887. % mpred_fwc1((ttUnverifiableType(_17312)==>tCol(_17312))).
  888. %       Adding positive
  889. %               trigger: ttUnverifiableType(_5688)
  890. %               body: rhs([tCol(_5688)])
  891. %        Support: (ttUnverifiableType(_5746)==>tCol(_5746)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',207)
  892. %       RHS-Post1: isa(_4398,tAtemporalNecessarilyEssentialCollectionType)==>isa(_4398,tCol)
  893. %       Support: genls(tAtemporalNecessarilyEssentialCollectionType,tCol),pt(genls(_4842,_4844),(_4842\=_4844*->rhs([(isa(_4876,_4842)==>isa(_4876,_4844))])))
  894. % mpred_fwc1((tAtemporalNecessarilyEssentialCollectionType(_28214)==>tCol(_28214))).
  895. %       Adding positive
  896. %               trigger: tAtemporalNecessarilyEssentialCollectionType(_5746)
  897. %               body: rhs([tCol(_5746)])
  898. %        Support: (tAtemporalNecessarilyEssentialCollectionType(_5804)==>tCol(_5804)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',207)
  899. %       RHS-Post1: isa(_4398,completelyAssertedCollection)==>isa(_4398,tCol)
  900. %       Support: genls(completelyAssertedCollection,tCol),pt(genls(_4842,_4844),(_4842\=_4844*->rhs([(isa(_4876,_4842)==>isa(_4876,_4844))])))
  901. % mpred_fwc1((completelyAssertedCollection(_28292)==>tCol(_28292))).
  902. %       Adding positive
  903. %               trigger: completelyAssertedCollection(_5604)
  904. %               body: rhs([tCol(_5604)])
  905. %        Support: (completelyAssertedCollection(_5662)==>tCol(_5662)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',207)
  906. %       RHS-Post1: tCol(completelyAssertedCollection)
  907. %       Support: completelyAssertedCollection(completelyAssertedCollection),pt(completelyAssertedCollection(_11760),rhs([tCol(_11760)]))
  908. %       RHS-Post1: tCol(ttTypeFacet)
  909. %       Support: completelyAssertedCollection(ttTypeFacet),pt(completelyAssertedCollection(_11760),rhs([tCol(_11760)]))
  910. %       RHS-Post1: tCol(ttTypeType)
  911. %       Support: completelyAssertedCollection(ttTypeType),pt(completelyAssertedCollection(_5926),rhs([tCol(_5926)]))
  912. %       RHS-Post1: tCol(ttIndividualType)
  913. %       Support: completelyAssertedCollection(ttIndividualType),pt(completelyAssertedCollection(_5926),rhs([tCol(_5926)]))
  914. %       RHS-Post1: tCol(ttExpressionType)
  915. %       Support: completelyAssertedCollection(ttExpressionType),pt(completelyAssertedCollection(_5926),rhs([tCol(_5926)]))
  916. %       RHS-Post1: tCol(tSet)
  917. %       Support: completelyAssertedCollection(tSet),pt(completelyAssertedCollection(_5926),rhs([tCol(_5926)]))
  918. %       RHS-Post1: tCol(ttUnverifiableType)
  919. %       Support: completelyAssertedCollection(ttUnverifiableType),pt(completelyAssertedCollection(_5926),rhs([tCol(_5926)]))
  920. %       RHS-Post1: tCol(tAtemporalNecessarilyEssentialCollectionType)
  921. %       Support: completelyAssertedCollection(tAtemporalNecessarilyEssentialCollectionType),pt(completelyAssertedCollection(_5926),rhs([tCol(_5926)]))
  922. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:210
  923. % mpred_fwc1((tooSlow==>(genls(_3840, _3842), \+genlsFwd(_3840, _3842)==>{get_functor(_3840, _3868), get_functor(_3842, _3880), _3880\==_3868, _3902=..[_3868, _3914], _3926=..[_3880, _3914], asserta_if_new(baseKB:(_3926:-loop_check_term(_3902, _3902:'pfc.pl':210, fail)))}))).
  924. %       Adding positive
  925. %               trigger: tooSlow
  926. %               body: rhs([(genls(_3840,_3842),\+genlsFwd(_3840,_3842)==>{get_functor(_3840,_3868),get_functor(_3842,_3880),_3880\==_3868,_3902=..[_3868,_3914],_3926=..[_3880,_3914],asserta_if_new(baseKB:(_3926:-loop_check_term(_3902,_3902:'pfc.pl':210,fail)))})])
  927. %        Support: (tooSlow==>(genls(_6780,_6782),\+genlsFwd(_6780,_6782)==>{get_functor(_6780,_6808),get_functor(_6782,_6820),_6820\==_6808,_6842=..[_6808,_6854],_6866=..[_6820,_6854],asserta_if_new(baseKB:(_6866:-loop_check_term(_6842,_6842:'pfc.pl':210,fail)))})),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',210)
  928. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:221
  929. % mpred_fwc1((ttTypeType(_81858)==>tSet(_81858))).
  930. %       Adding positive
  931. %               trigger: ttTypeType(_2900)
  932. %               body: rhs([tSet(_2900)])
  933. %        Support: (ttTypeType(_2934)==>tSet(_2934)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',221)
  934. %       RHS-Post1: tSet(ttTypeFacet)
  935. %       Support: ttTypeType(ttTypeFacet),pt(ttTypeType(_8230),rhs([tSet(_8230)]))
  936. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:223
  937. % mpred_fwc1((tSet(_27818)==>functorDeclares(_27818))).
  938. %       Adding positive
  939. %               trigger: tSet(_2900)
  940. %               body: rhs([functorDeclares(_2900)])
  941. %        Support: (tSet(_2934)==>functorDeclares(_2934)),mfl(baseKB,'/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl',223)
  942. %       RHS-Post1: functorDeclares(completelyAssertedCollection)
  943. %       Support: tSet(completelyAssertedCollection),pt(tSet(_8262),rhs([functorDeclares(_8262)]))
  944. % mpred_fwc1(functorDeclares(completelyAssertedCollection)).
  945. %       Found positive trigger: functorDeclares(completelyAssertedCollection)
  946. %               body: rhs([functorIsMacro(completelyAssertedCollection)])
  947. %       RHS-Post1: functorIsMacro(completelyAssertedCollection)
  948. %       Support: functorDeclares(completelyAssertedCollection),pt(functorDeclares(completelyAssertedCollection),rhs([functorIsMacro(completelyAssertedCollection)]))
  949. % mpred_fwc1(functorIsMacro(completelyAssertedCollection)).
  950. %       RHS-Post1: functorDeclares(tIndividual)
  951. %       Support: tSet(tIndividual),pt(tSet(_3184),rhs([functorDeclares(_3184)]))
  952. % mpred_fwc1(functorDeclares(tIndividual)).
  953. %       Found positive trigger: functorDeclares(tIndividual)
  954. %               body: rhs([functorIsMacro(tIndividual)])
  955. %       RHS-Post1: functorIsMacro(tIndividual)
  956. %       Support: functorDeclares(tIndividual),pt(functorDeclares(tIndividual),rhs([functorIsMacro(tIndividual)]))
  957. % mpred_fwc1(functorIsMacro(tIndividual)).
  958. %       RHS-Post1: functorDeclares(ttTypeFacet)
  959. %       Support: tSet(ttTypeFacet),pt(tSet(_3184),rhs([functorDeclares(_3184)]))
  960. % mpred_fwc1(functorDeclares(ttTypeFacet)).
  961. %       Found positive trigger: functorDeclares(ttTypeFacet)
  962. %               body: rhs([functorIsMacro(ttTypeFacet)])
  963. %       RHS-Post1: functorIsMacro(ttTypeFacet)
  964. %       Support: functorDeclares(ttTypeFacet),pt(functorDeclares(ttTypeFacet),rhs([functorIsMacro(ttTypeFacet)]))
  965. % mpred_fwc1(functorIsMacro(ttTypeFacet)).
  966. %       RHS-Post1: functorDeclares(ttTypeType)
  967. %       Support: tSet(ttTypeType),pt(tSet(_3184),rhs([functorDeclares(_3184)]))
  968. % mpred_fwc1(functorDeclares(ttTypeType)).
  969. %       Found positive trigger: functorDeclares(ttTypeType)
  970. %               body: rhs([functorIsMacro(ttTypeType)])
  971. %       RHS-Post1: functorIsMacro(ttTypeType)
  972. %       Support: functorDeclares(ttTypeType),pt(functorDeclares(ttTypeType),rhs([functorIsMacro(ttTypeType)]))
  973. % mpred_fwc1(functorIsMacro(ttTypeType)).
  974. %       RHS-Post1: functorDeclares(ttIndividualType)
  975. %       Support: tSet(ttIndividualType),pt(tSet(_3184),rhs([functorDeclares(_3184)]))
  976. % mpred_fwc1(functorDeclares(ttIndividualType)).
  977. %       Found positive trigger: functorDeclares(ttIndividualType)
  978. %               body: rhs([functorIsMacro(ttIndividualType)])
  979. %       RHS-Post1: functorIsMacro(ttIndividualType)
  980. %       Support: functorDeclares(ttIndividualType),pt(functorDeclares(ttIndividualType),rhs([functorIsMacro(ttIndividualType)]))
  981. % mpred_fwc1(functorIsMacro(ttIndividualType)).
  982. %       RHS-Post1: functorDeclares(ttExpressionType)
  983. %       Support: tSet(ttExpressionType),pt(tSet(_3184),rhs([functorDeclares(_3184)]))
  984. % mpred_fwc1(functorDeclares(ttExpressionType)).
  985. %       Found positive trigger: functorDeclares(ttExpressionType)
  986. %               body: rhs([functorIsMacro(ttExpressionType)])
  987. %       RHS-Post1: functorIsMacro(ttExpressionType)
  988. %       Support: functorDeclares(ttExpressionType),pt(functorDeclares(ttExpressionType),rhs([functorIsMacro(ttExpressionType)]))
  989. % mpred_fwc1(functorIsMacro(ttExpressionType)).
  990. %       RHS-Post1: functorDeclares(tSet)
  991. %       Support: tSet(tSet),pt(tSet(_3184),rhs([functorDeclares(_3184)]))
  992. % mpred_fwc1(functorDeclares(tSet)).
  993. %       Found positive trigger: functorDeclares(tSet)
  994. %               body: rhs([functorIsMacro(tSet)])
  995. %       RHS-Post1: functorIsMacro(tSet)
  996. %       Support: functorDeclares(tSet),pt(functorDeclares(tSet),rhs([functorIsMacro(tSet)]))
  997. % mpred_fwc1(functorIsMacro(tSet)).
  998. %       RHS-Post1: functorDeclares(ttUnverifiableType)
  999. %       Support: tSet(ttUnverifiableType),pt(tSet(_3184),rhs([functorDeclares(_3184)]))
  1000. % mpred_fwc1(functorDeclares(ttUnverifiableType)).
  1001. %       Found positive trigger: functorDeclares(ttUnverifiableType)
  1002. %               body: rhs([functorIsMacro(ttUnverifiableType)])
  1003. %       RHS-Post1: functorIsMacro(ttUnverifiableType)
  1004. %       Support: functorDeclares(ttUnverifiableType),pt(functorDeclares(ttUnverifiableType),rhs([functorIsMacro(ttUnverifiableType)]))
  1005. % mpred_fwc1(functorIsMacro(ttUnverifiableType)).
  1006. %       RHS-Post1: functorDeclares(tAtemporalNecessarilyEssentialCollectionType)
  1007. %       Support: tSet(tAtemporalNecessarilyEssentialCollectionType),pt(tSet(_3184),rhs([functorDeclares(_3184)]))
  1008. % mpred_fwc1(functorDeclares(tAtemporalNecessarilyEssentialCollectionType)).
  1009. %       Found positive trigger: functorDeclares(tAtemporalNecessarilyEssentialCollectionType)
  1010. %               body: rhs([functorIsMacro(tAtemporalNecessarilyEssentialCollectionType)])
  1011. %       RHS-Post1: functorIsMacro(tAtemporalNecessarilyEssentialCollectionType)
  1012. %       Support: functorDeclares(tAtemporalNecessarilyEssentialCollectionType),pt(functorDeclares(tAtemporalNecessarilyEssentialCollectionType),rhs([functorIsMacro(tAtemporalNecessarilyEssentialCollectionType)]))
  1013. % mpred_fwc1(functorIsMacro(tAtemporalNecessarilyEssentialCollectionType)).
  1014. %       RHS-Post1: functorDeclares(tCol)
  1015. %       Support: tSet(tCol),pt(tSet(_3184),rhs([functorDeclares(_3184)]))
  1016. % mpred_fwc1(functorDeclares(tCol)).
  1017. m%      Found positive trigger: functorDeclares(tCol)
  1018. %               body: rhs([functorIsMacro(tCol)])
  1019. %       RHS-Post1: functorIsMacro(tCol)
  1020. %       Support: functorDeclares(tCol),pt(functorDeclares(tCol),rhs([functorIsMacro(tCol)]))
  1021. % mpred_fwc1(functorIsMacro(tCol)).
  1022. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:231
  1023. % mpred_fwc1(ttTypeType(ttActionType)).
  1024. %       Found positive trigger: ttTypeType(ttActionType)
  1025. %               body: rhs([completelyAssertedCollection(ttActionType)])
  1026. %       RHS-Post1: completelyAssertedCollection(ttActionType)
  1027. %       Support: ttTypeType(ttActionType),pt(ttTypeType(ttActionType),rhs([completelyAssertedCollection(ttActionType)]))
  1028. % mpred_fwc1(completelyAssertedCollection(ttActionType)).
  1029. %       Found positive trigger: completelyAssertedCollection(ttActionType)
  1030. %               body: rhs([tSet(ttActionType)])
  1031. %       RHS-Post1: tSet(ttActionType)
  1032. %       Support: completelyAssertedCollection(ttActionType),pt(completelyAssertedCollection(ttActionType),rhs([tSet(ttActionType)]))
  1033. % mpred_fwc1(tSet(ttActionType)).
  1034. %       Found positive trigger: tSet(ttActionType)
  1035. %               body: rhs([tCol(ttActionType),\+ttExpressionType(ttActionType)])
  1036. %       RHS-Post1: tCol(ttActionType)
  1037. %       Support: tSet(ttActionType),pt(tSet(ttActionType),rhs([tCol(ttActionType),\+ttExpressionType(ttActionType)]))
  1038. % mpred_fwc1(tCol(ttActionType)).
  1039. %       Found positive trigger: tCol(ttActionType)
  1040. %               body: rhs([{decl_type(ttActionType),kb_shared(ttActionType/1)}])
  1041. %               RHS-Withdrawing-Negation: \+ttExpressionType(ttActionType)
  1042. %       Support: tSet(ttActionType),pt(tSet(ttActionType),rhs([tCol(ttActionType),\+ttExpressionType(ttActionType)]))
  1043. %       Removing
  1044. %               term: ttExpressionType(ttActionType)
  1045. %               support (was): tSet(ttActionType),pt(tSet(ttActionType),rhs([tCol(ttActionType),\+ttExpressionType(ttActionType)]))
  1046. % mpred_withdraw/2 Could not find support tSet(ttActionType),pt(tSet(ttActionType),rhs([tCol(ttActionType),\+ttExpressionType(ttActionType)])) to remove from fact ttExpressionType(ttActionType)
  1047. %       Found positive trigger: tSet(ttActionType)
  1048. %               body: rhs([tCol(ttActionType)])
  1049. %       RHS-Post1: tCol(ttActionType)
  1050. %       Support: tSet(ttActionType),pt(tSet(ttActionType),rhs([tCol(ttActionType)]))
  1051. %       Found positive trigger: tSet(ttActionType)
  1052. %               body: rhs([functorDeclares(ttActionType)])
  1053. %       RHS-Post1: functorDeclares(ttActionType)
  1054. %       Support: tSet(ttActionType),pt(tSet(ttActionType),rhs([functorDeclares(ttActionType)]))
  1055. % mpred_fwc1(functorDeclares(ttActionType)).
  1056. %       Found positive trigger: functorDeclares(ttActionType)
  1057. %               body: rhs([functorIsMacro(ttActionType)])
  1058. %       RHS-Post1: functorIsMacro(ttActionType)
  1059. %       Support: functorDeclares(ttActionType),pt(functorDeclares(ttActionType),rhs([functorIsMacro(ttActionType)]))
  1060. % mpred_fwc1(functorIsMacro(ttActionType)).
  1061. %       Found positive trigger: completelyAssertedCollection(ttActionType)
  1062. %               body: rhs([tCol(ttActionType)])
  1063. %       RHS-Post1: tCol(ttActionType)
  1064. %       Support: completelyAssertedCollection(ttActionType),pt(completelyAssertedCollection(ttActionType),rhs([tCol(ttActionType)]))
  1065. %       Found positive trigger: ttTypeType(ttActionType)
  1066. %               body: rhs([tCol(ttActionType)])
  1067. %       RHS-Post1: tCol(ttActionType)
  1068. %       Support: ttTypeType(ttActionType),pt(ttTypeType(ttActionType),rhs([tCol(ttActionType)]))
  1069. %       Found positive trigger: ttTypeType(ttActionType)
  1070. %               body: rhs([tSet(ttActionType)])
  1071. %       RHS-Post1: tSet(ttActionType)
  1072. %       Support: ttTypeType(ttActionType),pt(ttTypeType(ttActionType),rhs([tSet(ttActionType)]))
  1073. % mpred_fwc1(comment(ttActionType, s("Types", "of", "actions", "such", "PostureChangingAction"))).
  1074. % expanding_mpred_fwc1(ttTypeType(ttActionType, comment("Types of actions such PostureChangingAction")))==>ttTypeType(ttActionType), comment(ttActionType, s("Types", "of", "actions", "such", "PostureChangingAction")).
  1075. % mpred_fwc1(ttTypeType(ttActionType)).
  1076. %       Found positive trigger: ttTypeType(ttActionType)
  1077. %               body: rhs([completelyAssertedCollection(ttActionType)])
  1078. %       RHS-Post1: completelyAssertedCollection(ttActionType)
  1079. %       Support: ttTypeType(ttActionType),pt(ttTypeType(ttActionType),rhs([completelyAssertedCollection(ttActionType)]))
  1080. %       Found positive trigger: ttTypeType(ttActionType)
  1081. %               body: rhs([tCol(ttActionType)])
  1082. %       RHS-Post1: tCol(ttActionType)
  1083. %       Support: ttTypeType(ttActionType),pt(ttTypeType(ttActionType),rhs([tCol(ttActionType)]))
  1084. %       Found positive trigger: ttTypeType(ttActionType)
  1085. %               body: rhs([tSet(ttActionType)])
  1086. %       RHS-Post1: tSet(ttActionType)
  1087. %       Support: ttTypeType(ttActionType),pt(ttTypeType(ttActionType),rhs([tSet(ttActionType)]))
  1088. % mpred_fwc1(comment(ttActionType, s("Types", "of", "actions", "such", "PostureChangingAction"))).
  1089. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:232
  1090. % mpred_fwc1(ttTypeType(ttAgentType)).
  1091. %       Found positive trigger: ttTypeType(ttAgentType)
  1092. %               body: rhs([completelyAssertedCollection(ttAgentType)])
  1093. %       RHS-Post1: completelyAssertedCollection(ttAgentType)
  1094. %       Support: ttTypeType(ttAgentType),pt(ttTypeType(ttAgentType),rhs([completelyAssertedCollection(ttAgentType)]))
  1095. % mpred_fwc1(completelyAssertedCollection(ttAgentType)).
  1096. %       Found positive trigger: completelyAssertedCollection(ttAgentType)
  1097. %               body: rhs([tSet(ttAgentType)])
  1098. %       RHS-Post1: tSet(ttAgentType)
  1099. %       Support: completelyAssertedCollection(ttAgentType),pt(completelyAssertedCollection(ttAgentType),rhs([tSet(ttAgentType)]))
  1100. % mpred_fwc1(tSet(ttAgentType)).
  1101. %       Found positive trigger: tSet(ttAgentType)
  1102. %               body: rhs([tCol(ttAgentType),\+ttExpressionType(ttAgentType)])
  1103. %       RHS-Post1: tCol(ttAgentType)
  1104. %       Support: tSet(ttAgentType),pt(tSet(ttAgentType),rhs([tCol(ttAgentType),\+ttExpressionType(ttAgentType)]))
  1105. % mpred_fwc1(tCol(ttAgentType)).
  1106. %       Found positive trigger: tCol(ttAgentType)
  1107. %               body: rhs([{decl_type(ttAgentType),kb_shared(ttAgentType/1)}])
  1108. %               RHS-Withdrawing-Negation: \+ttExpressionType(ttAgentType)
  1109. %       Support: tSet(ttAgentType),pt(tSet(ttAgentType),rhs([tCol(ttAgentType),\+ttExpressionType(ttAgentType)]))
  1110. %       Removing
  1111. %               term: ttExpressionType(ttAgentType)
  1112. %               support (was): tSet(ttAgentType),pt(tSet(ttAgentType),rhs([tCol(ttAgentType),\+ttExpressionType(ttAgentType)]))
  1113. % mpred_withdraw/2 Could not find support tSet(ttAgentType),pt(tSet(ttAgentType),rhs([tCol(ttAgentType),\+ttExpressionType(ttAgentType)])) to remove from fact ttExpressionType(ttAgentType)
  1114. %       Found positive trigger: tSet(ttAgentType)
  1115. %               body: rhs([tCol(ttAgentType)])
  1116. %       RHS-Post1: tCol(ttAgentType)
  1117. %       Support: tSet(ttAgentType),pt(tSet(ttAgentType),rhs([tCol(ttAgentType)]))
  1118. %       Found positive trigger: tSet(ttAgentType)
  1119. %               body: rhs([functorDeclares(ttAgentType)])
  1120. %       RHS-Post1: functorDeclares(ttAgentType)
  1121. %       Support: tSet(ttAgentType),pt(tSet(ttAgentType),rhs([functorDeclares(ttAgentType)]))
  1122. % mpred_fwc1(functorDeclares(ttAgentType)).
  1123. %       Found positive trigger: functorDeclares(ttAgentType)
  1124. %               body: rhs([functorIsMacro(ttAgentType)])
  1125. %       RHS-Post1: functorIsMacro(ttAgentType)
  1126. %       Support: functorDeclares(ttAgentType),pt(functorDeclares(ttAgentType),rhs([functorIsMacro(ttAgentType)]))
  1127. % mpred_fwc1(functorIsMacro(ttAgentType)).
  1128. %       Found positive trigger: completelyAssertedCollection(ttAgentType)
  1129. %               body: rhs([tCol(ttAgentType)])
  1130. %       RHS-Post1: tCol(ttAgentType)
  1131. %       Support: completelyAssertedCollection(ttAgentType),pt(completelyAssertedCollection(ttAgentType),rhs([tCol(ttAgentType)]))
  1132. %       Found positive trigger: ttTypeType(ttAgentType)
  1133. %               body: rhs([tCol(ttAgentType)])
  1134. %       RHS-Post1: tCol(ttAgentType)
  1135. %       Support: ttTypeType(ttAgentType),pt(ttTypeType(ttAgentType),rhs([tCol(ttAgentType)]))
  1136. %       Found positive trigger: ttTypeType(ttAgentType)
  1137. %               body: rhs([tSet(ttAgentType)])
  1138. %       RHS-Post1: tSet(ttAgentType)
  1139. %       Support: ttTypeType(ttAgentType),pt(ttTypeType(ttAgentType),rhs([tSet(ttAgentType)]))
  1140. % mpred_fwc1(comment(ttAgentType, s("Types", "of", "agents", "such", "tHuman"))).
  1141. % expanding_mpred_fwc1(ttTypeType(ttAgentType, comment("Types of agents such tHuman")))==>ttTypeType(ttAgentType), comment(ttAgentType, s("Types", "of", "agents", "such", "tHuman")).
  1142. % mpred_fwc1(ttTypeType(ttAgentType)).
  1143. %       Found positive trigger: ttTypeType(ttAgentType)
  1144. %               body: rhs([completelyAssertedCollection(ttAgentType)])
  1145. %       RHS-Post1: completelyAssertedCollection(ttAgentType)
  1146. %       Support: ttTypeType(ttAgentType),pt(ttTypeType(ttAgentType),rhs([completelyAssertedCollection(ttAgentType)]))
  1147. %       Found positive trigger: ttTypeType(ttAgentType)
  1148. %               body: rhs([tCol(ttAgentType)])
  1149. %       RHS-Post1: tCol(ttAgentType)
  1150. %       Support: ttTypeType(ttAgentType),pt(ttTypeType(ttAgentType),rhs([tCol(ttAgentType)]))
  1151. %       Found positive trigger: ttTypeType(ttAgentType)
  1152. %               body: rhs([tSet(ttAgentType)])
  1153. %       RHS-Post1: tSet(ttAgentType)
  1154. %       Support: ttTypeType(ttAgentType),pt(ttTypeType(ttAgentType),rhs([tSet(ttAgentType)]))
  1155. % mpred_fwc1(comment(ttAgentType, s("Types", "of", "agents", "such", "tHuman"))).
  1156. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:233
  1157. % mpred_fwc1(ttTypeType(ttEventType)).
  1158. %       Found positive trigger: ttTypeType(ttEventType)
  1159. %               body: rhs([completelyAssertedCollection(ttEventType)])
  1160. %       RHS-Post1: completelyAssertedCollection(ttEventType)
  1161. %       Support: ttTypeType(ttEventType),pt(ttTypeType(ttEventType),rhs([completelyAssertedCollection(ttEventType)]))
  1162. % mpred_fwc1(completelyAssertedCollection(ttEventType)).
  1163. %       Found positive trigger: completelyAssertedCollection(ttEventType)
  1164. %               body: rhs([tSet(ttEventType)])
  1165. %       RHS-Post1: tSet(ttEventType)
  1166. %       Support: completelyAssertedCollection(ttEventType),pt(completelyAssertedCollection(ttEventType),rhs([tSet(ttEventType)]))
  1167. % mpred_fwc1(tSet(ttEventType)).
  1168. %       Found positive trigger: tSet(ttEventType)
  1169. %               body: rhs([tCol(ttEventType),\+ttExpressionType(ttEventType)])
  1170. %       RHS-Post1: tCol(ttEventType)
  1171. %       Support: tSet(ttEventType),pt(tSet(ttEventType),rhs([tCol(ttEventType),\+ttExpressionType(ttEventType)]))
  1172. % mpred_fwc1(tCol(ttEventType)).
  1173. %       Found positive trigger: tCol(ttEventType)
  1174. %               body: rhs([{decl_type(ttEventType),kb_shared(ttEventType/1)}])
  1175. % mpred_fwc1(arity(ttEventType, 1)).
  1176. % mpred_fwc1(safe_wrap(ttEventType, 1, ereq)).
  1177.                 HS-Withdrawing-Negation: \+ttExpressionType(ttEventType)
  1178. %       Support: tSet(ttEventType),pt(tSet(ttEventType),rhs([tCol(ttEventType),\+ttExpressionType(ttEventType)]))
  1179. %       Removing
  1180. %               term: ttExpressionType(ttEventType)
  1181. %               support (was): tSet(ttEventType),pt(tSet(ttEventType),rhs([tCol(ttEventType),\+ttExpressionType(ttEventType)]))
  1182. % mpred_withdraw/2 Could not find support tSet(ttEventType),pt(tSet(ttEventType),rhs([tCol(ttEventType),\+ttExpressionType(ttEventType)])) to remove from fact ttExpressionType(ttEventType)
  1183. %       Found positive trigger: tSet(ttEventType)
  1184. %               body: rhs([tCol(ttEventType)])
  1185. %       RHS-Post1: tCol(ttEventType)
  1186. %       Support: tSet(ttEventType),pt(tSet(ttEventType),rhs([tCol(ttEventType)]))
  1187. %       Found positive trigger: tSet(ttEventType)
  1188. %               body: rhs([functorDeclares(ttEventType)])
  1189. %       RHS-Post1: functorDeclares(ttEventType)
  1190. %       Support: tSet(ttEventType),pt(tSet(ttEventType),rhs([functorDeclares(ttEventType)]))
  1191. % mpred_fwc1(functorDeclares(ttEventType)).
  1192. %       Found positive trigger: functorDeclares(ttEventType)
  1193. %               body: rhs([functorIsMacro(ttEventType)])
  1194. %       RHS-Post1: functorIsMacro(ttEventType)
  1195. %       Support: functorDeclares(ttEventType),pt(functorDeclares(ttEventType),rhs([functorIsMacro(ttEventType)]))
  1196. % mpred_fwc1(functorIsMacro(ttEventType)).
  1197. %       Found positive trigger: completelyAssertedCollection(ttEventType)
  1198. %               body: rhs([tCol(ttEventType)])
  1199. %       RHS-Post1: tCol(ttEventType)
  1200. %       Support: completelyAssertedCollection(ttEventType),pt(completelyAssertedCollection(ttEventType),rhs([tCol(ttEventType)]))
  1201. %       Found positive trigger: ttTypeType(ttEventType)
  1202. %               body: rhs([tCol(ttEventType)])
  1203. %       RHS-Post1: tCol(ttEventType)
  1204. %       Support: ttTypeType(ttEventType),pt(ttTypeType(ttEventType),rhs([tCol(ttEventType)]))
  1205. %       Found positive trigger: ttTypeType(ttEventType)
  1206. %               body: rhs([tSet(ttEventType)])
  1207. %       RHS-Post1: tSet(ttEventType)
  1208. %       Support: ttTypeType(ttEventType),pt(ttTypeType(ttEventType),rhs([tSet(ttEventType)]))
  1209. % mpred_fwc1(comment(ttEventType, s("Events", "such", "StartRaining"))).
  1210. % expanding_mpred_fwc1(ttTypeType(ttEventType, comment("Events such StartRaining")))==>ttTypeType(ttEventType), comment(ttEventType, s("Events", "such", "StartRaining")).
  1211. % mpred_fwc1(ttTypeType(ttEventType)).
  1212. %       Found positive trigger: ttTypeType(ttEventType)
  1213. %               body: rhs([completelyAssertedCollection(ttEventType)])
  1214. %       RHS-Post1: completelyAssertedCollection(ttEventType)
  1215. %       Support: ttTypeType(ttEventType),pt(ttTypeType(ttEventType),rhs([completelyAssertedCollection(ttEventType)]))
  1216. %       Found positive trigger: ttTypeType(ttEventType)
  1217. %               body: rhs([tCol(ttEventType)])
  1218. %       RHS-Post1: tCol(ttEventType)
  1219. %       Support: ttTypeType(ttEventType),pt(ttTypeType(ttEventType),rhs([tCol(ttEventType)]))
  1220. %       Found positive trigger: ttTypeType(ttEventType)
  1221. %               body: rhs([tSet(ttEventType)])
  1222. %       RHS-Post1: tSet(ttEventType)
  1223. %       Support: ttTypeType(ttEventType),pt(ttTypeType(ttEventType),rhs([tSet(ttEventType)]))
  1224. % mpred_fwc1(comment(ttEventType, s("Events", "such", "StartRaining"))).
  1225. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl:434
  1226. % gripe_CPUTIME(true, warn(0.7366993259999983>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique, disjointPartition([ttActionType, ttAgentType, ttEventType, ttExpressionType, ttItemType, ttMicrotheoryType, ttRegionType, ttRelationType, ttSituationType, ttTopicType, ttValueType]),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_base.pfc.pl', 434), ax), none))).
  1227. 0mprolog_load_context(module,baseKB)
  1228. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_common.pfc.pl:1043
  1229. % arity=ewrite:246.
  1230. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_common.pfc.pl:1656
  1231. % passed_mpred_test(\+isa(iPlato7, ftAtom)).
  1232. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_common.pfc.pl:1660
  1233. % justfied_true(quotedIsa(iPlato7, ftAtom)).
  1234. % /home/prologmud/lib/swipl/pack/pfc/prolog/pfclib/system_singleValued.pfc.pl:95
  1235. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(someSV_testing(a, b, 2)))).
  1236. % Started at Sat Apr  1 04:09:37 2017
  1237. % 21.781 seconds cpu time for 107,105,277 inferences
  1238. % 25,476 atoms, 17,399 functors, 23,190 predicates, 327 modules, 1,870,867 VM-codes
  1239. %
  1240. %                        Limit    Allocated       In use
  1241. % Local  stack: 16,000,004,096      258,048       19,568 Bytes
  1242. % Global stack: 16,000,004,096    4,190,192       66,896 Bytes
  1243. % Trail  stack: 16,000,002,048    2,095,096        1,384 Bytes
  1244. %
  1245. % 706 garbage collections gained 419,370,696 bytes in 0.388 seconds.
  1246. % 43 atom garbage collections gained 432,003 atoms in 0.093 seconds.
  1247. % 2,407 clause garbage collections gained 177,549 clauses in 0.281 seconds.
  1248. % Stack shifts: 3 local, 6 global, 6 trail in 0.000 seconds
  1249. % 20 threads, 24 finished threads used 0.006 seconds
  1250. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:35
  1251. % azzert_rename('Action', actAction).
  1252. % azzert_rename('ActionType', ttActionType).
  1253. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:36
  1254. % azzert_rename('AgentType', ttAgentType).
  1255. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:37
  1256. % azzert_rename('ArtifactType', ttArtifactType).
  1257. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:39
  1258. % azzert_rename('CapabilityType', ttCapabilityType).
  1259. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:40
  1260. % azzert_rename('Event', eventEvent).
  1261. % azzert_rename('EventType', ttEventType).
  1262. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:41
  1263. % azzert_rename('FormulaTemplateType', ttFormulaTemplateType).
  1264. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:42
  1265. % azzert_rename('GoalType', ttGoalType).
  1266. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:43
  1267. % azzert_rename('GroupType', ttGroupType).
  1268. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:45
  1269. % azzert_rename('MicrotheoryType', ttMicrotheoryType).
  1270. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:46
  1271. % azzert_rename('PersonTypeByActivityType', ttPersonTypeByActivityType).
  1272. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:47
  1273. % azzert_rename('PlaceType', ttPlaceType).
  1274. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:48
  1275. % azzert_rename('Quantity', vtQuantity).
  1276. % azzert_rename('QuantityType', ttQuantityType).
  1277. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:49
  1278. % azzert_rename('RelationType', ttRelationType).
  1279. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:50
  1280. % azzert_rename('ScalarIntervalType', ttScalarIntervalType).
  1281. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:51
  1282. % azzert_rename('SituationType', ttSituationType).
  1283. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:52
  1284. % azzert_rename('ExpressionTypeType', ttExpressionTypeType).
  1285. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:53
  1286. % azzert_rename('TimeParameterType', ttTimeParameterType).
  1287. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/user_type_barriers.pfc.pl:54
  1288. % azzert_rename('TopicType', ttTopicType).
  1289. % 4,612,798 inferences, 2.112 CPU in 2.168 seconds (97% CPU, 2183797 Lips)
  1290. :- module_transparent virtualize_source:kb_shared/1.
  1291.  
  1292. virtualize_source:kb_shared(A) :-
  1293.         decl_as(decl_kb_shared, A), !.
  1294.  
  1295. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_repl.pl:154
  1296. % =>(tN(disjointDecomposition, CLASS, ROW_VAR), all([ITEM1, ITEM2], =>(and(inList(ITEM1, uN(vTheListFn, ROW_VAR)), inList(ITEM2, uN(vTheListFn, ROW_VAR)), not(equal(ITEM1, ITEM2))), disjointWith(ITEM1, ITEM2)))).
  1297. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_repl.pl:155
  1298. % =>('ImaginaryNumber'(NUMBER), exists([REAL], and(ftRealNumber(REAL), equal(NUMBER, 'MultiplicationFn'(REAL, 'SquareRootFn'(-1)))))).
  1299. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_repl.pl:156
  1300. % =>('DualObjectProcess'(PROCESS), exists([OBJ1, OBJ2], and(patient(PROCESS, OBJ1), patient(PROCESS, OBJ2), not(equal(OBJ1, OBJ2))))).
  1301. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_repl.pl:157
  1302. % =>(tN(contraryAttribute, ROW_VAR), =>(inList(ELEMENT, uN(vTheListFn, ROW_VAR)), vtSumoAttribute(ELEMENT))).
  1303. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_repl.pl:158
  1304. % =>(and(tN(contraryAttribute, ROW1_VAR), identicalListItems(uN(vTheListFn, ROW1_VAR), uN(vTheListFn, ROW2_VAR))), tN(contraryAttribute, ROW2_VAR)).
  1305. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_repl.pl:159
  1306. % =>(tN(contraryAttribute, ROW_VAR), all([ATTR1, ATTR2], =>(and(equal(ATTR1, vSumoListOrderFn(uN(vTheListFn, ROW_VAR), NUMBER1)), equal(ATTR2, vSumoListOrderFn(uN(vTheListFn, ROW_VAR), NUMBER2)), not(equal(NUMBER1, NUMBER2))), =>(sumoProperty(OBJ, ATTR1), not(sumoProperty(OBJ, ATTR2)))))).
  1307. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_repl.pl:160
  1308. % =>(equal(NUMBER, 'MultiplicationFn'(1, NUMBER)), equal('MeasureFn'(NUMBER, 'CelsiusDegree'), 'MeasureFn'('DivisionFn'('SubtractionFn'(NUMBER, 32), 1.8), 'FahrenheitDegree'))).
  1309. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_repl.pl:161
  1310. % 'DivisionFn'('SubtractionFn'(NUMBER, 32), 1.8, '$COMPLEX'([1.2, 9])).
  1311. current_prolog_flag(do_renames,restore)
  1312. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_repl.pl:179
  1313. % Skipping logtalk
  1314. % Skipping logtalk
  1315. % start_x_ide
  1316. % qconsult_kb7166
  1317. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/init_mud_server.pl:loading_file
  1318. % after_boot
  1319. not_installing(logicmoo_util_common,ensure_loaded(logicmoo_repl:logicmoo_user))
  1320. % Dont forget to ?- logicmoo_i_cyc_xform.
  1321. %          Thread Status       Time    Stack use    allocated
  1322. % -----------------------------------------------------------
  1323. %            main running    24.689    1,095,264    6,805,480
  1324. %             pce running     0.009        1,096      120,808
  1325. %  'httpd@3020_1' running     0.000        1,200       22,504
  1326. %  'httpd@3020_2' running     0.000        1,200       22,504
  1327. %  'httpd@3020_3' running     0.000        1,200       22,504
  1328. %  'httpd@3020_4' running     0.000        1,200       22,504
  1329. %  'httpd@3020_5' running     0.000        1,200       22,504
  1330. %  'httpd@3020_6' running     0.000        1,200       22,504
  1331. %  'httpd@3020_7' running     0.000        1,200       22,504
  1332. %  'httpd@3020_8' running     0.000        1,200       22,504
  1333. %  'httpd@3020_9' running     0.000        1,200       22,504
  1334. % 'httpd@3020_10' running     0.000        1,200       22,504
  1335. % 'httpd@3020_11' running     0.000        1,200       22,504
  1336. % 'httpd@3020_12' running     0.000        1,200       22,504
  1337. % 'httpd@3020_13' running     0.000        1,200       22,504
  1338. % 'httpd@3020_14' running     0.000        1,200       22,504
  1339. % 'httpd@3020_15' running     0.002        1,200       22,504
  1340. % 'httpd@3020_16' running     0.000        1,200       22,504
  1341. %     'http@3020' running     0.000        1,840      120,808
  1342. %   prolog_server running     0.000          808      120,808
  1343. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo_engine.pl:112
  1344. % qsave_program(lm_repl4, [toplevel(logicmoo_toplevel), goal(logicmoo_goal), op(save), stand_alone(false), class(development), autoload(false), global(16000004096), trail(16000002048), local(16000004096)]).
  1345. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/common_logic/common_logic_clif.pfc:77
  1346. % gripe_CPUTIME(true, warn(1.2421361829999995>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique,  ({is_clif(CLIF), kb_shared(CLIF)}==>(CLIF/is_kif_clause(CLIF)==>clif(CLIF))),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/common_logic/common_logic_clif.pfc', 77), ax), none))).
  1347. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/init_mud_server.pl:17
  1348. % logicmoo_run_goal
  1349. %          Thread Status       Time    Stack use    allocated
  1350. % -----------------------------------------------------------
  1351. %            main running    27.053    4,023,832    6,805,480
  1352. %             pce running     0.009        1,096      120,808
  1353. %  'httpd@3020_1' running     0.000        1,200       22,504
  1354. %  'httpd@3020_2' running     0.000        1,200       22,504
  1355. %  'httpd@3020_3' running     0.000        1,200       22,504
  1356. %  'httpd@3020_4' running     0.000        1,200       22,504
  1357. %  'httpd@3020_5' running     0.000        1,200       22,504
  1358. %  'httpd@3020_6' running     0.000        1,200       22,504
  1359. %  'httpd@3020_7' running     0.000        1,200       22,504
  1360. %  'httpd@3020_8' running     0.000        1,200       22,504
  1361. %  'httpd@3020_9' running     0.000        1,200       22,504
  1362. % 'httpd@3020_10' running     0.000        1,200       22,504
  1363. % 'httpd@3020_11' running     0.000        1,200       22,504
  1364. % 'httpd@3020_12' running     0.000        1,200       22,504
  1365. % 'httpd@3020_13' running     0.000        1,200       22,504
  1366. % 'httpd@3020_14' running     0.000        1,200       22,504
  1367. % 'httpd@3020_15' running     0.002        1,200       22,504
  1368. % 'httpd@3020_16' running     0.000        1,200       22,504
  1369. %     'http@3020' running     0.000        1,840      120,808
  1370. %   prolog_server running     0.000          808      120,808
  1371. % Skipping logtalk
  1372. % Skipping logtalk
  1373. % start_x_ide
  1374. % qconsult_kb7166
  1375. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/init_mud_server.pl:loading_file
  1376. % after_boot
  1377. not_installing(logicmoo_util_common,ensure_loaded(logicmoo_repl:logicmoo_user))
  1378. % Dont forget to ?- logicmoo_i_cyc_xform.
  1379. % qsave_program(lm_repl3, [toplevel(logicmoo_toplevel), goal(logicmoo_goal), op(save), stand_alone(false), class(development), autoload(false), global(16000004096), trail(16000002048), local(16000004096)]).
  1380. %          Thread Status       Time    Stack use    allocated
  1381. % -----------------------------------------------------------
  1382. %            main running    27.951    2,567,344    6,805,480
  1383. %             pce running     0.009        1,096      120,808
  1384. %  'httpd@3020_1' running     0.000        1,200       22,504
  1385. %  'httpd@3020_2' running     0.000        1,200       22,504
  1386. %  'httpd@3020_3' running     0.000        1,200       22,504
  1387. %  'httpd@3020_4' running     0.000        1,200       22,504
  1388. %  'httpd@3020_5' running     0.000        1,200       22,504
  1389. %  'httpd@3020_6' running     0.000        1,200       22,504
  1390. %  'httpd@3020_7' running     0.000        1,200       22,504
  1391. %  'httpd@3020_8' running     0.000        1,200       22,504
  1392. %  'httpd@3020_9' running     0.000        1,200       22,504
  1393. % 'httpd@3020_10' running     0.000        1,200       22,504
  1394. % 'httpd@3020_11' running     0.000        1,200       22,504
  1395. % 'httpd@3020_12' running     0.000        1,200       22,504
  1396. % 'httpd@3020_13' running     0.000        1,200       22,504
  1397. % 'httpd@3020_14' running     0.000        1,200       22,504
  1398. % 'httpd@3020_15' running     0.002        1,200       22,504
  1399. % 'httpd@3020_16' running     0.000        1,200       22,504
  1400. %     'http@3020' running     0.000        1,840      120,808
  1401. %   prolog_server running     0.000          808      120,808
  1402. not_installing(logicmoo_util_common,ensure_loaded(system:library(parser_all)))
  1403. not_installing(logicmoo_util_common,ensure_loaded(system:library(logicmoo_planner)))
  1404. baseKB:current_prolog_flag(dmsg_level, filter).
  1405. baseKB:current_prolog_flag(tty_control, true).
  1406. baseKB:current_prolog_flag(access_level, system).
  1407. baseKB:current_prolog_flag(pfc_booted, true).
  1408. baseKB:current_prolog_flag(generate_debug_info, true).
  1409. baseKB:current_prolog_flag(virtual_stubs, default).
  1410. baseKB:current_prolog_flag(double_quotes, string).
  1411. baseKB:current_prolog_flag(runtime_debug, 2).
  1412. baseKB:current_prolog_flag(os_argv, [swipl, '--noegg', '-g', 'pack_install(prologmud_samples)', '-g', 'consult(library(\'prologmud_sample_games/run_mud_server\'))']).
  1413. baseKB:current_prolog_flag(unknown, error).
  1414. baseKB:current_prolog_flag(backtrace_depth, 200).
  1415. baseKB:current_prolog_flag(report_error, true).
  1416. baseKB:current_prolog_flag(mpred_te, true).
  1417. baseKB:current_prolog_flag(optimise, false).
  1418. baseKB:current_prolog_flag(dialect_pfc, cwc).
  1419. baseKB:current_prolog_flag(backtrace_show_lines, true).
  1420. baseKB:current_prolog_flag(backtrace_goal_depth, 20).
  1421. baseKB:current_prolog_flag(do_renames, restore).
  1422. baseKB:current_prolog_flag(unsafe_speedups, false).
  1423. baseKB:current_prolog_flag(xref, false).
  1424. baseKB:current_prolog_flag(toplevel_print_anon, true).
  1425. baseKB:current_prolog_flag(verbose_autoload, false).
  1426. baseKB:current_prolog_flag(runtime_speed, 1).
  1427. baseKB:current_prolog_flag(sandboxed_load, false).
  1428. baseKB:current_prolog_flag(runtime_safety, 3).
  1429. baseKB:current_prolog_flag(debug, true).
  1430. baseKB:current_prolog_flag(debug_on_error, true).
  1431. baseKB:current_prolog_flag(verbose, silent).
  1432. baseKB:current_prolog_flag(verbose_load, silent).
  1433. baseKB:current_prolog_flag(pldoc_collecting, true).
  1434. baseKB:current_prolog_flag(debugger_write_options, [quoted(true), portray(true), max_depth(1000), attributes(portray)]).
  1435. baseKB:current_prolog_flag(debugger_show_context, true).
  1436. baseKB:current_prolog_flag(retry_undefined, true).
  1437. baseKB:current_prolog_flag(read_attvars, false).
  1438. baseKB:current_prolog_flag(xpce, true).
  1439. baseKB:current_prolog_flag(toplevel_mode, backtracking).
  1440. baseKB:current_prolog_flag(saved_program, true).
  1441. baseKB:current_prolog_flag(saved_program_class, development).
  1442. baseKB:current_prolog_flag(autoload, true).
  1443. baseKB:current_prolog_flag(logicmoo_qsave, false).
  1444. baseKB:current_prolog_flag(toplevel_print_factorized, true).
  1445. baseKB:current_prolog_flag(qcompile, part).
  1446. baseKB:current_prolog_flag(emulated_dialect, swi).
  1447. baseKB:current_prolog_flag(subclause_expansion, true).
  1448. baseKB:current_prolog_flag(backtrace, true).
  1449. baseKB:current_prolog_flag(warn_override_implicit_import, true).
  1450. baseKB:current_prolog_flag(system_thread_id, 11014).
  1451. baseKB:current_prolog_flag(pid, 11014).
  1452. baseKB:current_prolog_flag(table_space, 1073741824).
  1453. baseKB:current_prolog_flag(file_name_variables, false).
  1454. baseKB:current_prolog_flag(home, '/usr/lib/lib/swipl-7.5.2').
  1455. baseKB:current_prolog_flag(query_debug_settings, debug(false, false)).
  1456. baseKB:current_prolog_flag(executable, '/usr/lib/lib/swipl-7.5.2/bin/x86_64-linux/swipl').
  1457. baseKB:current_prolog_flag(protect_static_code, false).
  1458. baseKB:current_prolog_flag(dialect, swi).
  1459. baseKB:current_prolog_flag(stream_type_check, loose).
  1460. baseKB:current_prolog_flag(max_arity, unbounded).
  1461. baseKB:current_prolog_flag(resource_database, '/usr/lib/lib/swipl-7.5.2/boot64.prc').
  1462. baseKB:current_prolog_flag(char_conversion, false).
  1463. baseKB:current_prolog_flag(file_search_cache_time, 10).
  1464. baseKB:current_prolog_flag(html5_doctype, html).
  1465. baseKB:current_prolog_flag(html4_content_type, 'text/html; charset=UTF-8').
  1466. baseKB:current_prolog_flag(xhtml_content_type, 'application/xhtml+xml; charset=UTF-8').
  1467. baseKB:current_prolog_flag(bounded, false).
  1468. baseKB:current_prolog_flag(integer_rounding_function, toward_zero).
  1469. baseKB:current_prolog_flag(address_bits, 64).
  1470. baseKB:current_prolog_flag(logicmoo_include, lmbase:skip_module_decl).
  1471. baseKB:current_prolog_flag(max_tagged_integer, 72057594037927935).
  1472. baseKB:current_prolog_flag(shared_object_extension, so).
  1473. baseKB:current_prolog_flag(quasi_quotations, true).
  1474. baseKB:current_prolog_flag(shared_object_search_path, 'LD_LIBRARY_PATH').
  1475. baseKB:current_prolog_flag(xpce_threaded, true).
  1476. baseKB:current_prolog_flag(unload_foreign_libraries, false).
  1477. baseKB:current_prolog_flag(c_libplso, '').
  1478. baseKB:current_prolog_flag(back_quotes, codes).
  1479. baseKB:current_prolog_flag(logicmoo_utils_file,  (exists_source(library(subclause_expansion)), reexport(library(subclause_expansion)))).
  1480. baseKB:current_prolog_flag(clpfd_monotonic, false).
  1481. baseKB:current_prolog_flag(dot_intercept, installed).
  1482. baseKB:current_prolog_flag(xpce_version, '6.6.66').
  1483. baseKB:current_prolog_flag(url_encoding, utf8).
  1484. baseKB:current_prolog_flag(trace_gc, false).
  1485. baseKB:current_prolog_flag(system_cacert_filename, '/etc/ssl/certs/ca-certificates.crt').
  1486. baseKB:current_prolog_flag(assert_attvars, false).
  1487. baseKB:current_prolog_flag(ssl_library_version, 'OpenSSL 1.0.2h  3 May 2016').
  1488. baseKB:current_prolog_flag(version_data, swi(7, 5, 2, [])).
  1489. baseKB:current_prolog_flag(compile_meta_arguments, false).
  1490. baseKB:current_prolog_flag(signals, true).
  1491. baseKB:current_prolog_flag(source_variables, false).
  1492. baseKB:current_prolog_flag(fileerrors, true).
  1493. baseKB:current_prolog_flag(toplevel_prompt, '~m~d~l~! ?- ').
  1494. baseKB:current_prolog_flag(encoding, utf8).
  1495. baseKB:current_prolog_flag(toplevel_var_size, 1000).
  1496. baseKB:current_prolog_flag(runtime_must, debug).
  1497. baseKB:current_prolog_flag(character_escapes, true).
  1498. baseKB:current_prolog_flag(iso, false).
  1499. baseKB:current_prolog_flag(pipe, true).
  1500. baseKB:current_prolog_flag(html_dialect, html5).
  1501. baseKB:current_prolog_flag(mpred_pfc_silent, false).
  1502. baseKB:current_prolog_flag(write_help_with_overstrike, false).
  1503. baseKB:current_prolog_flag(toplevel_residue_vars, false).
  1504. baseKB:current_prolog_flag(save_history, true).
  1505. baseKB:current_prolog_flag(file_name_case_handling, case_sensitive).
  1506. baseKB:current_prolog_flag(c_cc, gcc).
  1507. baseKB:current_prolog_flag(c_libs, '').
  1508. baseKB:current_prolog_flag(bugger_debug, filter).
  1509. baseKB:current_prolog_flag(optimise_debug, default).
  1510. baseKB:current_prolog_flag(last_call_optimisation, false).
  1511. baseKB:current_prolog_flag(agc_margin, 10000).
  1512. baseKB:current_prolog_flag(version, 70502).
  1513. baseKB:current_prolog_flag(emacs_inferior_process, false).
  1514. baseKB:current_prolog_flag(arch, 'x86_64-linux').
  1515. baseKB:current_prolog_flag(answer_write_options, [quoted(true), portray(true), max_depth(10), spacing(next_argument)]).
  1516. baseKB:current_prolog_flag(allow_variable_name_as_functor, false).
  1517. baseKB:current_prolog_flag(thread_message_prefix, false).
  1518. baseKB:current_prolog_flag(write_attributes, ignore).
  1519. baseKB:current_prolog_flag(threads, true).
  1520. baseKB:current_prolog_flag(gc, true).
  1521. baseKB:current_prolog_flag(verbose_file_search, false).
  1522. baseKB:current_prolog_flag(allow_dot_in_atom, false).
  1523. baseKB:current_prolog_flag(traditional, false).
  1524. baseKB:current_prolog_flag(toplevel_extra_white_line, true).
  1525. baseKB:current_prolog_flag(timezone, 0).
  1526. baseKB:current_prolog_flag(answer_format, '~p').
  1527. baseKB:current_prolog_flag(colon_sets_calling_context, true).
  1528. baseKB:current_prolog_flag(html4_doctype, 'HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"').
  1529. baseKB:current_prolog_flag(gmp_version, 5).
  1530. baseKB:current_prolog_flag(xhtml_doctype, 'html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"').
  1531. baseKB:current_prolog_flag(html5_content_type, 'text/html; charset=UTF-8').
  1532. baseKB:current_prolog_flag(autoload_logicmoo, false).
  1533. baseKB:current_prolog_flag(editor, default).
  1534. baseKB:current_prolog_flag(logicmoo_headless, true).
  1535. baseKB:current_prolog_flag(min_tagged_integer, -72057594037927936).
  1536. baseKB:current_prolog_flag(readline, true).
  1537. baseKB:current_prolog_flag(rdf_triple_format, 3).
  1538. baseKB:current_prolog_flag(large_files, true).
  1539. baseKB:current_prolog_flag(open_shared_object, true).
  1540. baseKB:current_prolog_flag(c_ldflags, '-rdynamic -O3 -pthread -Wl,-rpath=/usr/lib/lib/swipl-7.5.2/lib/x86_64-linux ').
  1541. baseKB:current_prolog_flag(c_cflags, '-O4 -pthread -fPIC ').
  1542. baseKB:current_prolog_flag(dmsg_color, true).
  1543. baseKB:current_prolog_flag(prompt_alternatives_on, determinism).
  1544. baseKB:current_prolog_flag(argv, []).
  1545. baseKB:current_prolog_flag(all_lisp_char_names, false).
  1546. baseKB:current_prolog_flag(debug_term_position, false).
  1547. baseKB:current_prolog_flag(version_git, '7.5.2-30-g41b639d').
  1548. baseKB:current_prolog_flag(cpu_count, 1).
  1549. baseKB:current_prolog_flag(compiled_at, 'Mar 30 2017, 08:20:56').
  1550. baseKB:current_prolog_flag(unix, true).
  1551. baseKB:current_prolog_flag(occurs_check, false).
  1552. baseKB:current_prolog_flag(var_prefix, false).
  1553. baseKB:current_prolog_flag(color_term, true).
  1554. baseKB:current_prolog_flag(print_write_options, [portray(true), quoted(true), numbervars(true)]).
  1555. baseKB:current_prolog_flag(default_mimetype, application/unknown).
  1556. baseKB:current_prolog_flag(user_flags, silent).
  1557.  
  1558.  /* found 153 for baseKB:current_prolog_flag(_645078,_645100).
  1559.  */
  1560. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mud_loader.pl:210
  1561. % debugm(mpred, show_entry(baseKB:gripe_time(40, ensure_loaded(prologmud('mud_builtin.pfc'))))).
  1562. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mud_builtin.pfc.pl:556
  1563. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(prologSingleValued(typeGrid)))).
  1564. :- dynamic prologSingleValued/1.
  1565.  
  1566. prologSingleValued(A) :-
  1567.         cwc,
  1568.         mpred_prop(A, _, prologSingleValued).
  1569. prologSingleValued(predInstMax).
  1570. prologSingleValued(predTypeMax).
  1571. prologSingleValued(A) :-
  1572.         cwc,
  1573.         is_ftCompound(A),
  1574.         functor(A, B, _), !,
  1575.         prologSingleValued(B).
  1576. prologSingleValued(someSV_testeed).
  1577. prologSingleValued(someSV_testing).
  1578. prologSingleValued(chargeCapacity).
  1579. prologSingleValued(location_center).
  1580. prologSingleValued(mudAgentTurnnum).
  1581.  
  1582. :- dynamic mudAreaConnected/2.
  1583. :- multifile mudAreaConnected/2.
  1584. :- public mudAreaConnected/2.
  1585. :- module_transparent mudAreaConnected/2.
  1586.  
  1587. mudAreaConnected(B, A) :-
  1588.         loop_check_term(mudAreaConnected(A, B),
  1589.                         mudAreaConnected(A, B):'system_base.pfc.pl':370,
  1590.                         fail).
  1591. mudAreaConnected(B, A) :-
  1592.         loop_check_term(mudAreaConnected(A, B),
  1593.                         mudAreaConnected(A, B):'system_base.pfc.pl':370,
  1594.                         fail).
  1595.  
  1596. % /home/prologmud/lib/swipl/pack/logicmoo_base/prolog/logicmoo/common_logic/common_logic_kb_hooks.pl:716
  1597. % infSupertypeName
  1598. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mud_builtin.pfc.pl:917
  1599. % azzert_rename('SetOrCollection', ttSetOrCollection).
  1600. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mud_builtin.pfc.pl:976
  1601. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(prologMultiValued(pathDirLeadsTo)))).
  1602. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mud_builtin.pfc.pl:1363
  1603. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(mudHygiene(iPlato7, 90)))).
  1604. % debugm(unfwc, sc_success(unfwc, baseKB:retract_u(nt(~mudHygiene(iPlato7, 90), call_u_no_bc(~mudHygiene(iPlato7, 90)), rhs([mudHygiene(iPlato7, 90)]))))).
  1605. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(nt(~mudHygiene(iPlato7, 90), call_u_no_bc(~mudHygiene(iPlato7, 90)), rhs([mudHygiene(iPlato7, 90)]))))).
  1606. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(agentTODO(iPlato7, actImprove(mudEnergy))))).
  1607. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(mudEnergy(iPlato7, 90)))).
  1608. % debugm(unfwc, sc_success(unfwc, baseKB:retract_u(nt(~mudEnergy(iPlato7, 90), call_u_no_bc(~mudEnergy(iPlato7, 90)), rhs([mudEnergy(iPlato7, 90)]))))).
  1609. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(nt(~mudEnergy(iPlato7, 90), call_u_no_bc(~mudEnergy(iPlato7, 90)), rhs([mudEnergy(iPlato7, 90)]))))).
  1610. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(mudNonHunger(iPlato7, 90)))).
  1611. % debugm(unfwc, sc_success(unfwc, baseKB:retract_u(nt(~mudNonHunger(iPlato7, 90), call_u_no_bc(~mudNonHunger(iPlato7, 90)), rhs([mudNonHunger(iPlato7, 90)]))))).
  1612. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(nt(~mudNonHunger(iPlato7, 90), call_u_no_bc(~mudNonHunger(iPlato7, 90)), rhs([mudNonHunger(iPlato7, 90)]))))).
  1613. baseKB:mudMoveDist(iExplorer7, 1).
  1614. baseKB:tTemporalThing(iExplorer7).
  1615. baseKB:mudNonHunger(iExplorer7, 90).
  1616. baseKB:mudHygiene(iExplorer7, 90).
  1617. baseKB:tLookAble(iExplorer7).
  1618. baseKB:mudIsa(iExplorer7, tIndividual).
  1619. baseKB:agentGOAL(iExplorer7, mudEnergy(iExplorer7, 140)).
  1620. baseKB:agentTODO(iExplorer7, actImprove(mudEnergy)).
  1621. baseKB:mudNonLonelinessSocial(iExplorer7, 90).
  1622. baseKB:mudSadToHappy(iExplorer7, 90).
  1623. baseKB:mudFun(iExplorer7, 90).
  1624. baseKB:mudComfort(iExplorer7, 90).
  1625. baseKB:mudSecureRoom(iExplorer7, 90).
  1626. baseKB:mudBladderEmpty(iExplorer7, 90).
  1627. baseKB:mudOpaqueness(iExplorer7, 100).
  1628. baseKB:tSpatialThing(iExplorer7).
  1629. baseKB:tObj(iExplorer7).
  1630. baseKB:tIndividual(iExplorer7).
  1631. baseKB:tAgent(iExplorer7).
  1632. baseKB:tChannel(iExplorer7).
  1633. baseKB:predInstMax(iExplorer7, mudHealth, 500).
  1634. baseKB:predInstMax(iExplorer7, mudEnergy, 200).
  1635. baseKB:mdefault(mudHygiene(iExplorer7, 90)).
  1636. baseKB:mdefault(mudEnergy(iExplorer7, 90)).
  1637. baseKB:mdefault(mudEnergy(iExplorer7, 140)).
  1638. baseKB:mdefault(mudHealth(iExplorer7, 90)).
  1639. baseKB:mdefault(mudNonHunger(iExplorer7, 90)).
  1640. baseKB:mdefault(mudBladderEmpty(iExplorer7, 90)).
  1641. baseKB:mdefault(mudSecureRoom(iExplorer7, 90)).
  1642. baseKB:mdefault(mudFun(iExplorer7, 90)).
  1643. baseKB:mdefault(mudNonLonelinessSocial(iExplorer7, 90)).
  1644. baseKB:mdefault(mudSadToHappy(iExplorer7, 90)).
  1645. baseKB:mdefault(mudComfort(iExplorer7, 90)).
  1646. baseKB:mudFacing(iExplorer7, vNorth).
  1647. baseKB:mudScore(iExplorer7, 1).
  1648. baseKB:mudAgentTurnnum(iExplorer7, 0).
  1649. baseKB:mudHealth(iExplorer7, 90).
  1650. baseKB:mudEnergy(iExplorer7, 90).
  1651. baseKB:completeIsaAsserted(iExplorer7).
  1652. :- dynamic vtActionTemplate/1.
  1653. :- multifile vtActionTemplate/1.
  1654. :- public vtActionTemplate/1.
  1655. :- module_transparent vtActionTemplate/1.
  1656.  
  1657. vtActionTemplate(actImprove(rtStatPred)).
  1658.  
  1659. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mud_loader.pl:210
  1660. % debugm(mpred, sc_success(mpred, baseKB:gripe_time(40, ensure_loaded(prologmud('mud_builtin.pfc'))))).
  1661. Cloning into '/home/prologmud/lib/swipl/pack/hMUD'...
  1662. remote: Counting objects: 120, done.
  1663. remote: Total 120 (delta 0), reused 0 (delta 0), pack-reused 120
  1664. Receiving objects: 100% (120/120), 102.87 KiB | 0 bytes/s, done.
  1665. Resolving deltas: 100% (50/50), done.
  1666. Checking connectivity... done.
  1667. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:34
  1668. % warn(var_mpred_post1(dist('$VAR'('$VAR(????????????)_VAR'), _17884, 5),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 34), ax))).
  1669. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:58
  1670. % warn(var_mpred_post1(loc_to_xy('$VAR'('$VAR(????????????)_VAR'), X, Y, xyzFn('$VAR'('$VAR(????????????)_VAR'), X, Y, 1)),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 58), ax))).
  1671. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:82
  1672. % warn(var_mpred_post1(in_grid_no_rnd('$VAR'('$VAR(????????????)_VAR'), '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 82), ax))).
  1673. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:91
  1674. % warn(var_mpred_post1(in_grid_rnd('$VAR'('$VAR(????????????)_VAR'), xyzFn('$VAR'('$VAR(????????????)_VAR'), 1, 1, 1)),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 91), ax))).
  1675. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:107
  1676. % warn(var_mpred_post1(init2(_LocName, _LocType, _513694, '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 107), ax))).
  1677. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:158
  1678. % warn(var_mpred_post1(mudNearbyRegions('$VAR'('$VAR(????????????)_VAR'), '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 158), ax))).
  1679. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:279
  1680. % warn(var_mpred_post1(simplifyFullName('$VAR'('$VAR(????????????)_VAR'), '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 279), ax))).
  1681. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:374
  1682. % warn(var_mpred_post1(unoccupied_ilc(_634884, '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 374), ax))).
  1683. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:495
  1684. % warn(var_mpred_post1(dir_offset(vUp, '$VAR'('$VAR(????????????)_VAR'), 0, 0, '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 495), ax))).
  1685. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:589
  1686. % warn(var_mpred_post1(check_for_fall(_893800, _893822, '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 589), ax))).
  1687. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:679
  1688. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 3, 0, _Z, vNorth),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 679), ax))).
  1689. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:680
  1690. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 2, 0, _Z, vNorth),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 680), ax))).
  1691. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:681
  1692. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 4, 0, _Z, vNorth),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 681), ax))).
  1693. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:682
  1694. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 3, 6, _Z, vSouth),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 682), ax))).
  1695. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:683
  1696. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 2, 6, _Z, vSouth),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 683), ax))).
  1697. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:684
  1698. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 4, 6, _Z, vSouth),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 684), ax))).
  1699. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:685
  1700. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 0, 2, _Z, vWest),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 685), ax))).
  1701. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:686
  1702. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 0, 3, _Z, vWest),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 686), ax))).
  1703. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:687
  1704. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 0, 4, _Z, vWest),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 687), ax))).
  1705. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:688
  1706. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 6, 2, _Z, vEast),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 688), ax))).
  1707. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:689
  1708. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 6, 3, _Z, vEast),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 689), ax))).
  1709. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:690
  1710. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 6, 4, _Z, vEast),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 690), ax))).
  1711. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:691
  1712. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 6, 0, _Z, vNE),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 691), ax))).
  1713. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:692
  1714. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 6, 6, _Z, vSE),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 692), ax))).
  1715. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:693
  1716. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 0, 0, _Z, vNW),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 693), ax))).
  1717. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl:694
  1718. % warn(var_mpred_post1(doorLocation('$VAR'('$VAR(????????????)_VAR'), 0, 6, _Z, vSW),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_2d.pfc.pl', 694), ax))).
  1719. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_text.pfc.pl:134
  1720. % warn(var_mpred_post1(join_for_string('$VAR'('$VAR(????????????)_VAR'), '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_text.pfc.pl', 134), ax))).
  1721. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_text.pfc.pl:211
  1722. % warn(var_mpred_post1(enter_term_anglify('$VAR'('$VAR(????????????)_VAR'), '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_text.pfc.pl', 211), ax))).
  1723. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_text.pfc.pl:288
  1724. % warn(var_mpred_post1(anglify_noun_known('$VAR'('$VAR(????????????)_VAR'), _Hint, ['$VAR'('$VAR(????????????)_VAR')]),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_text.pfc.pl', 288), ax))).
  1725. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_text_output.pfc.pl:49
  1726. % warn(var_mpred_post1(show_kb_via_pred('$VAR'('$VAR(????????????)_VAR'), _606986, []),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_text_output.pfc.pl', 49), ax))).
  1727. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_effects.pfc.pl:44
  1728. % warn(var_mpred_post1(do_act_affect(_334108, _334130, '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_effects.pfc.pl', 44), ax))).
  1729. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_effects.pfc.pl:119
  1730. % warn(var_mpred_post1(check_stat_total('$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_effects.pfc.pl', 119), ax))).
  1731. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_agent.pfc.pl:36
  1732. % warn(var_mpred_post1(do_agent_action_queue('$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_agent.pfc.pl', 36), ax))).
  1733. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_agent.pfc.pl:64
  1734. % warn(var_mpred_post1(check_word('$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_agent.pfc.pl', 64), ax))).
  1735. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_agent.pfc.pl:191
  1736. % warn(var_mpred_post1(correctCommand(_850846, '$VAR'('$VAR(????????????)_VAR'), '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_agent.pfc.pl', 191), ax))).
  1737. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_agent.pfc.pl:218
  1738. % warn(var_mpred_post1(current_agent_or_var('$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_agent.pfc.pl', 218), ax))).
  1739. :- dynamic get_dettached_npc/1.
  1740.  
  1741. get_dettached_npc(A) :-
  1742.         random_instance_no_throw(tAgent, A, \+tHumanControlled(A)).
  1743.  
  1744. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_agent.pfc.pl:326
  1745. % warn(var_mpred_post1(assumed_detached_player('$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/vworld/world_agent.pfc.pl', 326), ax))).
  1746. not_installing(baseKB,include(logicmoo('vworld/world_spawning.pl')))
  1747. % Started at Sat Apr  1 04:09:37 2017
  1748. % 55.517 seconds cpu time for 210,377,548 inferences
  1749. % 28,636 atoms, 19,746 functors, 26,619 predicates, 358 modules, 2,687,850 VM-codes
  1750. %
  1751. %                        Limit    Allocated       In use
  1752. % Local  stack: 16,000,004,096      520,192       18,784 Bytes
  1753. % Global stack: 16,000,004,096    4,190,192    2,658,864 Bytes
  1754. % Trail  stack: 16,000,002,048    2,095,096        3,088 Bytes
  1755. %
  1756. % 796 garbage collections gained 736,533,456 bytes in 0.469 seconds.
  1757. % 82 atom garbage collections gained 824,225 atoms in 0.235 seconds.
  1758. % 3,466 clause garbage collections gained 296,397 clauses in 0.470 seconds.
  1759. % Stack shifts: 4 local, 6 global, 6 trail in 0.000 seconds
  1760. % 22 threads, 24 finished threads used 0.006 seconds
  1761. :- dynamic verb_alias/2.
  1762. :- multifile verb_alias/2.
  1763. :- public verb_alias/2.
  1764. :- module_transparent verb_alias/2.
  1765.  
  1766. verb_alias("i", actInventory).
  1767. verb_alias("l", actLook).
  1768. verb_alias("lo", actLook).
  1769. verb_alias("s", actMove(vSouth)).
  1770. verb_alias("go", actMove).
  1771. verb_alias("where is", actWhere).
  1772.  
  1773. % Started at Sat Apr  1 04:09:37 2017
  1774. % 57.467 seconds cpu time for 214,425,657 inferences
  1775. % 27,288 atoms, 20,337 functors, 27,922 predicates, 362 modules, 2,658,996 VM-codes
  1776. %
  1777. %                        Limit    Allocated       In use
  1778. % Local  stack: 16,000,004,096      126,976       13,040 Bytes
  1779. % Global stack: 16,000,004,096    4,190,192    1,762,760 Bytes
  1780. % Trail  stack: 16,000,002,048    2,095,096          896 Bytes
  1781. %
  1782. % 805 garbage collections gained 766,782,352 bytes in 0.471 seconds.
  1783. % 84 atom garbage collections gained 836,351 atoms in 0.248 seconds.
  1784. % 3,574 clause garbage collections gained 305,158 clauses in 0.497 seconds.
  1785. % Stack shifts: 5 local, 6 global, 11 trail in 0.001 seconds
  1786. % 22 threads, 24 finished threads used 0.006 seconds
  1787. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mud_loader.pl:535
  1788. % loading_mobs
  1789. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mobs/explorer.pfc.pl:32
  1790. % debugm(why, sc_success(why, baseKB:call_u(isa(mudLabelTypeProps, tRelation)))).
  1791. % debugm(why, sc_success(why, baseKB:call_u(isa(mudLabelTypeProps, prologHybrid)))).
  1792. % debugm(why, sc_success(why, baseKB:call_u(isa(mudLabelTypeProps, pfcRHS)))).
  1793. % debugm(why, sc_success(why, baseKB:call_u(isa(mudLabelTypeProps, tPred)))).
  1794. % debugm(why, sc_success(why, baseKB:predicate_property(baseKB:mudLabelTypeProps(_530126, _530128, _530130), interpreted))).
  1795. % debugm(why, sc_success(why, baseKB:predicate_property(baseKB:mudLabelTypeProps(_530126, _530128, _530130), visible))).
  1796. % debugm(why, sc_success(why, baseKB:predicate_property(baseKB:mudLabelTypeProps(_530126, _530128, _530130), built_in))).
  1797. % debugm(why, sc_success(why, baseKB:predicate_property(baseKB:mudLabelTypeProps(_530126, _530128, _530130), exported))).
  1798. % debugm(why, sc_success(why, baseKB:predicate_property(baseKB:mudLabelTypeProps(_530126, _530128, _530130), public))).
  1799. % debugm(why, sc_success(why, baseKB:predicate_property(baseKB:mudLabelTypeProps(_530126, _530128, _530130), dynamic))).
  1800. % debugm(why, sc_success(why, baseKB:predicate_property(baseKB:mudLabelTypeProps(_530126, _530128, _530130), multifile))).
  1801. % debugm(why, sc_success(why, baseKB:predicate_property(baseKB:mudLabelTypeProps(_530126, _530128, _530130), transparent))).
  1802. % debugm(why, sc_success(why, baseKB:predicate_property(baseKB:mudLabelTypeProps(_530126, _530128, _530130), nodebug))).
  1803. % debugm(why, sc_success(why, baseKB:predicate_property(baseKB:mudLabelTypeProps(_530126, _530128, _530130), number_of_clauses(2)))).
  1804. % debugm(why, sc_success(why, baseKB:predicate_property(baseKB:mudLabelTypeProps(_530126, _530128, _530130), number_of_rules(0)))).
  1805. % debugm(why, sc_success(why, baseKB:predicate_property(baseKB:mudLabelTypeProps(_530126, _530128, _530130), defined))).
  1806. % debugm(why, sc_success(why, baseKB:dbreq(clause(baseKB:mudLabelTypeProps("--", tRegion, []), true)))).
  1807. % debugm(why, sc_success(why, baseKB:dbreq(clause(baseKB:mudLabelTypeProps("wl", tWall, [mudHeight(3), mudWeight(4)]), true)))).
  1808. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mobs/affordance/simbots.pfc.pl:506
  1809. % warn(var_mpred_post1(do_define_type_affordance('$VAR'('$VAR(????????????)_VAR'), []),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mobs/affordance/simbots.pfc.pl', 506), ax))).
  1810. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mobs/affordance/simbots.pfc.pl:514
  1811. % warn(var_mpred_post1(to_rel_value('$VAR'('$VAR(????????????)_VAR'), +'$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mobs/affordance/simbots.pfc.pl', 514), ax))).
  1812. :- dynamic verb_desc/3.
  1813.  
  1814. verb_desc(actOperate, tShower, "wash self with X").
  1815. verb_desc(actOperate, tShower, "take a shower").
  1816. verb_desc(actOperate, tBathtub, "wash self with X").
  1817. verb_desc(actOperate, tBathtub, "Take a Bath").
  1818. verb_desc(actOperate, tSink, "Wash Hands").
  1819. verb_desc(actDance, tDanceBall, "Dance! Dance!").
  1820. verb_desc(actActOperate, tWashingMachine, "Wash The Clothes").
  1821. verb_desc(actActOperate, tClothesDryer, "Dry The Clothes").
  1822. verb_desc(actSleep, tBed, "Sleep a few").
  1823. verb_desc(actSleep, tMattress, "Sleep a few").
  1824. verb_desc(actSit, tChair, "Sit down").
  1825. verb_desc(actSit, tCouch, "Sit down").
  1826. verb_desc(actObserve, tRadio, "Listen to Radio").
  1827. verb_desc(actObserve, tMirror, "Pop your zits").
  1828. verb_desc(actPotty, tToilet, "Go potty").
  1829. verb_desc(actClean, tToilet, "Flush it").
  1830. verb_desc(actSearch, tFridge, "Raid the fridge").
  1831. verb_desc(actActOperate, tMicrowave, "see what was forgotten in the microwave").
  1832. verb_desc(actOperate, tTreadmill, "Excersize with X").
  1833. verb_desc(actOperate, tTreadmill, "Tread the mill").
  1834. verb_desc(actOperate, tFixedLamp, "flip the switch").
  1835. verb_desc(actOperate, tPooltable, "Play pool").
  1836. verb_desc(actPutXOn, tBookcase, "Organize books").
  1837. verb_desc(actObserve, tReadAble, "Read book").
  1838. verb_desc(actTake, tReadAble, "Take the materials").
  1839. verb_desc(actEat, tEatAble, "Eat the food").
  1840. verb_desc(actTake, tEatAble, "Take the food").
  1841. verb_desc(actObserve, tArt, "Apreciate the Art").
  1842. verb_desc(actOperate, tDanceFloor, "Dance! Dance!").
  1843. verb_desc(actOperate, tComputer, "Look busy doing something!").
  1844. verb_desc(actTouch, tTouchAble, "Touch").
  1845. verb_desc(actSit, tSitAble, "Sit on").
  1846. verb_desc(actPutXOn, tHasSurface, "This is a Put_X_On placeholder").
  1847. verb_desc(actEat, tEatAble, "Eat it").
  1848. verb_desc(actTake, tCarryAble, "Take it").
  1849. verb_desc(actSleep, tLayAble, "Lay on").
  1850. verb_desc(actClean, tLookAble, "Clean").
  1851. verb_desc(actObserve, tLookAble, "Observe").
  1852. verb_desc(actExcersize, tSitAble, "Excersize").
  1853. verb_desc(actTickle, tAgent, "Play with").
  1854. verb_desc(actSearch, tContainer, "Eat_from").
  1855. verb_desc(actArgue, tAgent, "Argue").
  1856. verb_desc(actTalk, tAgent, "Talk to").
  1857. verb_desc(actAttack, tAgent, "Beat up").
  1858. verb_desc(actKiss, tAgent, "Kiss").
  1859. verb_desc(actThinkAbout, tLookAble, "Think about").
  1860.  
  1861. :- dynamic verb_for_type/2.
  1862. :- multifile verb_for_type/2.
  1863. :- public verb_for_type/2.
  1864. :- module_transparent verb_for_type/2.
  1865.  
  1866. verb_for_type(actTravelThru, tPassable).
  1867. verb_for_type(actObserve, tTelevision).
  1868. verb_for_type(actBumpIntoBarrier, tFurniture).
  1869. verb_for_type(actLiveAtLeastAMinute, tAgent).
  1870. verb_for_type(actOperate, tShower).
  1871. verb_for_type(actClean, tShower).
  1872. verb_for_type(actOperate, tBathtub).
  1873. verb_for_type(actClean, tBathtub).
  1874. verb_for_type(actOperate, tSink).
  1875. verb_for_type(actClean, tSink).
  1876. verb_for_type(actDance, tDanceBall).
  1877. verb_for_type(actActOperate, tWashingMachine).
  1878. verb_for_type(actClean, tWashingMachine).
  1879. verb_for_type(actActOperate, tClothesDryer).
  1880. verb_for_type(actClean, tClothesDryer).
  1881. verb_for_type(actSleep, tBed).
  1882. verb_for_type(actSleep, tMattress).
  1883. verb_for_type(actSit, tChair).
  1884. verb_for_type(actSit, tCouch).
  1885. verb_for_type(actObserve, tRadio).
  1886. verb_for_type(actObserve, tMirror).
  1887. verb_for_type(actPotty, tToilet).
  1888. verb_for_type(actClean, tToilet).
  1889. verb_for_type(actSearch, tFridge).
  1890. verb_for_type(actActOperate, tStove).
  1891. verb_for_type(actActOperate, tMicrowave).
  1892. verb_for_type(actOperate, tTreadmill).
  1893. verb_for_type(actOperate, tFixedLamp).
  1894. verb_for_type(actOperate, tPooltable).
  1895. verb_for_type(actObserve, tReadAble).
  1896. verb_for_type(actTake, tReadAble).
  1897. verb_for_type(actEat, tEatAble).
  1898. verb_for_type(actTake, tEatAble).
  1899. verb_for_type(actObserve, tArt).
  1900. verb_for_type(actOperate, tDanceFloor).
  1901. verb_for_type(actOperate, tComputer).
  1902. verb_for_type(actTalk, tAgent).
  1903. verb_for_type(actArgue, tAgent).
  1904. verb_for_type(actAttack, tAgent).
  1905. verb_for_type(actKiss, tAgent).
  1906. verb_for_type(actTouch, tTouchAble).
  1907. verb_for_type(actSit, tSitAble).
  1908. verb_for_type(actTake, tCarryAble).
  1909. verb_for_type(actSleep, tLayAble).
  1910. verb_for_type(actClean, tLookAble).
  1911. verb_for_type(actObserve, tLookAble).
  1912. verb_for_type(actExcersize, tSitAble).
  1913. verb_for_type(actTickle, tAgent).
  1914. verb_for_type(actSearch, tContainer).
  1915. verb_for_type(actThinkAbout, tLookAble).
  1916. verb_for_type(actPutXOn, tBookcase).
  1917. verb_for_type(actPutXOn, tHasSurface).
  1918.  
  1919. :- dynamic verb_affordance_2/2.
  1920.  
  1921.  
  1922. :- dynamic can_hold_type/2.
  1923.  
  1924. can_hold_type(tTable, tReadAble).
  1925. can_hold_type(tTable, tEatAble).
  1926. can_hold_type(tTrashContainer, tTake).
  1927. can_hold_type(tTrashContainer, tTakeAble).
  1928. can_hold_type(tBookcase, tReadAble).
  1929.  
  1930. :- dynamic verb_affordance/5.
  1931. :- multifile verb_affordance/5.
  1932. :- public verb_affordance/5.
  1933. :- module_transparent verb_affordance/5.
  1934.  
  1935. verb_affordance(actObserve, tTelevision, mudNonLonelinessSocial, + 3, - 2).
  1936. verb_affordance(actObserve, tTelevision, mudNonHunger, + 1, - 1).
  1937. verb_affordance(actObserve, tTelevision, mudBladderEmpty, + 0, + 0).
  1938. verb_affordance(actObserve, tTelevision, mudHygiene, + 0, + 0).
  1939. verb_affordance(actObserve, tTelevision, mudSecureRoom, + 1, + 0).
  1940. verb_affordance(actObserve, tTelevision, mudFun, + 2, + 1).
  1941. verb_affordance(actObserve, tTelevision, mudSadToHappy, + 2, + 1).
  1942. verb_affordance(actObserve, tTelevision, mudEnergy, + 1, - 1).
  1943. verb_affordance(actBumpIntoBarrier, tFurniture, mudNonLonelinessSocial, - 300, + 0).
  1944. verb_affordance(actBumpIntoBarrier, tFurniture, mudHygiene, - 300, + 0).
  1945. verb_affordance(actBumpIntoBarrier, tFurniture, mudComfort, - 300, + 0).
  1946. verb_affordance(actBumpIntoBarrier, tFurniture, mudEnergy, - 300, + 0).
  1947. verb_affordance(actBumpIntoBarrier, tFurniture, mudFun, - 300, + 0).
  1948. verb_affordance(actLiveAtLeastAMinute, tAgent, mudEnergy, + 0, - 2).
  1949. verb_affordance(actLiveAtLeastAMinute, tAgent, mudNonHunger, + 0, - 2).
  1950. verb_affordance(actLiveAtLeastAMinute, tAgent, mudBladderEmpty, + 0, - 2).
  1951. verb_affordance(actLiveAtLeastAMinute, tAgent, mudHygiene, + 0, - 2).
  1952. verb_affordance(actLiveAtLeastAMinute, tAgent, mudSecureRoom, + 0, - 2).
  1953. verb_affordance(actLiveAtLeastAMinute, tAgent, mudNonLonelinessSocial, + 0, - 2).
  1954. verb_affordance(actLiveAtLeastAMinute, tAgent, mudFun, + 0, - 2).
  1955. verb_affordance(actLiveAtLeastAMinute, tAgent, mudSadToHappy, + 0, - 2).
  1956. verb_affordance(actLiveAtLeastAMinute, tAgent, mudComfort, + 0, - 2).
  1957. verb_affordance(actOperate, tShower, mudComfort, + 10, + 10).
  1958. verb_affordance(actOperate, tShower, mudHygiene, + 30, + 30).
  1959. verb_affordance(actOperate, tBathtub, mudComfort, + 20, + 20).
  1960. verb_affordance(actOperate, tBathtub, mudEnergy, - 20, - 20).
  1961. verb_affordance(actOperate, tBathtub, mudHygiene, + 100, + 100).
  1962. verb_affordance(actOperate, tSink, mudComfort, + 0, + 0).
  1963. verb_affordance(actOperate, tSink, mudHygiene, + 10, + 10).
  1964. verb_affordance(actDance, tDanceBall, mudNonLonelinessSocial, + 10, + 10).
  1965. verb_affordance(actDance, tDanceBall, mudEnergy, - 10, - 20).
  1966. verb_affordance(actDance, tDanceBall, mudFun, + 10, + 10).
  1967. verb_affordance(actDance, tDanceBall, mudHygiene, - 10, - 10).
  1968. verb_affordance(actActOperate, tWashingMachine, mudComfort, + 0, + 0).
  1969. verb_affordance(actActOperate, tWashingMachine, mudHygiene, + 10, + 10).
  1970. verb_affordance(actActOperate, tClothesDryer, mudComfort, + 0, + 0).
  1971. verb_affordance(actActOperate, tClothesDryer, mudHygiene, + 10, + 10).
  1972. verb_affordance(actSleep, tBed, mudComfort, + 10, + 30).
  1973. verb_affordance(actSleep, tBed, mudEnergy, + 100, + 80).
  1974. verb_affordance(actSleep, tMattress, mudComfort, + 10, + 30).
  1975. verb_affordance(actSleep, tMattress, mudEnergy, + 100, + 80).
  1976. verb_affordance(actSit, tChair, mudComfort, + 15, + 10).
  1977. verb_affordance(actSit, tChair, mudEnergy, + 10, + 20).
  1978. verb_affordance(actSit, tCouch, mudComfort, + 20, + 20).
  1979. verb_affordance(actSit, tCouch, mudEnergy, + 10, + 20).
  1980. verb_affordance(actObserve, tRadio, mudSecureRoom, + 1, + 0).
  1981. verb_affordance(actObserve, tRadio, mudFun, + 10, + 10).
  1982. verb_affordance(actObserve, tRadio, mudSadToHappy, + 10, + 10).
  1983. verb_affordance(actObserve, tRadio, mudEnergy, + 1, - 1).
  1984. verb_affordance(actObserve, tMirror, mudSecureRoom, + 1, + 0).
  1985. verb_affordance(actObserve, tMirror, mudFun, + 10, + 10).
  1986. verb_affordance(actObserve, tMirror, mudSadToHappy, + 10, - 1).
  1987. verb_affordance(actObserve, tMirror, mudEnergy, + 1, - 1).
  1988. verb_affordance(actPotty, tToilet, mudBladderEmpty, + 100, + 100).
  1989. verb_affordance(actPotty, tToilet, mudHygiene, + 0, - 10).
  1990. verb_affordance(actClean, tToilet, mudHygiene, + 1, + 4).
  1991. verb_affordance(actClean, tToilet, mudFun, + 5, + 4).
  1992. verb_affordance(actPutXOn, tBookcase, mudFun, + 10, + 10).
  1993. verb_affordance(actPutXOn, tBookcase, mudSecureRoom, + 20, + 20).
  1994. verb_affordance(actObserve, tReadAble, mudFun, + 10, + 10).
  1995. verb_affordance(actObserve, tReadAble, mudSecureRoom, + 20, + 20).
  1996. verb_affordance(actObserve, tArt, mudFun, + 10, + 10).
  1997. verb_affordance(actObserve, tArt, mudSecureRoom, + 20, + 20).
  1998. verb_affordance(actTalk, tAgent, mudNonLonelinessSocial, + 10, + 15).
  1999. verb_affordance(actTalk, tAgent, mudFun, + 1, + 1).
  2000. verb_affordance(actArgue, tAgent, mudNonLonelinessSocial, + 10, + 15).
  2001. verb_affordance(actArgue, tAgent, mudEnergy, + 0, - 10).
  2002. verb_affordance(actArgue, tAgent, mudSadToHappy, - 10, - 10).
  2003. verb_affordance(actArgue, tAgent, mudFun, + 20, + 10).
  2004. verb_affordance(actAttack, tAgent, mudNonLonelinessSocial, + 10, + 15).
  2005. verb_affordance(actAttack, tAgent, mudEnergy, + 0, - 10).
  2006. verb_affordance(actAttack, tAgent, mudSadToHappy, + 0, - 10).
  2007. verb_affordance(actAttack, tAgent, mudFun, + 20, + 10).
  2008. verb_affordance(actKiss, tAgent, mudNonLonelinessSocial, + 10, + 15).
  2009. verb_affordance(actKiss, tAgent, mudSadToHappy, + 10, + 10).
  2010. verb_affordance(actKiss, tAgent, mudFun, + 10, + 10).
  2011. verb_affordance(actTouch, tTouchAble, mudFun, + 1, + 1).
  2012. verb_affordance(actTouch, tTouchAble, mudSecureRoom, + 1, + 1).
  2013. verb_affordance(actSit, tSitAble, mudComfort, + 1, + 0).
  2014. verb_affordance(actSit, tSitAble, mudFun, + 1, + 1).
  2015. verb_affordance(actSit, tSitAble, mudSecureRoom, + 1, + 1).
  2016. verb_affordance(actPutXOn, tHasSurface, mudFun, - 2, + 2).
  2017. verb_affordance(actPutXOn, tHasSurface, mudEnergy, + 0, - 1).
  2018. verb_affordance(actEat, tEatAble, mudNonHunger, + 100, + 100).
  2019. verb_affordance(actEat, tEatAble, mudHygiene, + 0, - 10).
  2020. verb_affordance(actSleep, tLayAble, mudComfort, + 5, + 5).
  2021. verb_affordance(actSleep, tLayAble, mudEnergy, + 20, + 20).
  2022. verb_affordance(actClean, tLookAble, mudFun, - 2, + 2).
  2023. verb_affordance(actClean, tLookAble, mudEnergy, + 0, - 1).
  2024. verb_affordance(actObserve, tLookAble, mudFun, + 2, + 1).
  2025. verb_affordance(actObserve, tLookAble, mudEnergy, + 0, - 1).
  2026. verb_affordance(actExcersize, tSitAble, mudFun, + 10, + 10).
  2027. verb_affordance(actExcersize, tSitAble, mudHygiene, - 10, - 10).
  2028. verb_affordance(actTickle, tAgent, mudEnergy, - 10, - 10).
  2029. verb_affordance(actTickle, tAgent, mudFun, + 20, + 10).
  2030. verb_affordance(actSearch, tContainer, mudHygiene, + 0, - 5).
  2031. verb_affordance(actSearch, tContainer, mudNonHunger, + 40, + 20).
  2032. verb_affordance(actArgue, tAgent, mudEnergy, - 11, - 20).
  2033. verb_affordance(actTalk, tAgent, mudNonLonelinessSocial, + 11, + 20).
  2034. verb_affordance(actAttack, tAgent, mudEnergy, - 11, - 20).
  2035. verb_affordance(actKiss, tAgent, mudNonLonelinessSocial, + 11, + 20).
  2036. verb_affordance(actKiss, tAgent, mudFun, + 21, + 20).
  2037. verb_affordance(actThinkAbout, tLookAble, mudFun, + 1, + 2).
  2038.  
  2039. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mobs/affordance/simbots.pfc.pl:869
  2040. % gripe_CPUTIME(true, warn(1.4656429079999995>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique,  ({simbots_templates(Templ)}==>vtActionTemplate(Templ)),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mobs/affordance/simbots.pfc.pl', 869), ax), none))).
  2041. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mud_loader.pl:547
  2042. % loading_actions
  2043. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/attack.pfc.pl:70
  2044. % warn(var_mpred_post1(check_for_defence('$VAR'('$VAR(????????????)_VAR'), 0),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/attack.pfc.pl', 70), ax))).
  2045. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/attack.pfc.pl:78
  2046. % warn(var_mpred_post1(check_for_weapon('$VAR'('$VAR(????????????)_VAR'), 0),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/attack.pfc.pl', 78), ax))).
  2047. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/chat.pfc.pl:39
  2048. % warn(var_mpred_post1(chat_command_parse_2('$VAR'('$VAR(????????????)_VAR'), Say, Where, What, actProlog(actSocial('$VAR'('$VAR(????????????)_VAR'), Say, Where, What))),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/chat.pfc.pl', 39), ax))).
  2049. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/create.pfc.pl:78
  2050. % warn(var_mpred_post1(getPropInfo('$VAR'('$VAR(????????????)_VAR'), _NewName, PropsIn, N, [mudDescription(ftText(need, to, actParse, PropsIn, N))]),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/create.pfc.pl', 78), ax))).
  2051. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/help.pfc.pl:36
  2052. % action_info(TEMPL, txtConcatFn(_Text, "does: ", do(_A2, TEMPL))).
  2053. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/help.pfc.pl:56
  2054. % warn(var_mpred_post1(first_pl('$VAR'('$VAR(????????????)_VAR'), '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/help.pfc.pl', 56), ax))).
  2055. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/help.pfc.pl:116
  2056. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(action_info(actImprove(rtStatPred), ["Prolog", "looks", "like", ":", actImprove(rtStatPred)])))).
  2057. % t_l:busy(action_info(actImprove(rtStatPred), ["Prolog", "looks", "like", ":", actImprove(rtStatPred)])).
  2058. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(action_info(actTravelThru(tPassable), ["Prolog", "looks", "like", ":", actTravelThru(tPassable)])))).
  2059. % t_l:busy(action_info(actTravelThru(tPassable), ["Prolog", "looks", "like", ":", actTravelThru(tPassable)])).
  2060. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(action_info(actClean(tShower), ["Prolog", "looks", "like", ":", actClean(tShower)])))).
  2061. % t_l:busy(action_info(actClean(tShower), ["Prolog", "looks", "like", ":", actClean(tShower)])).
  2062. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(action_info(actClean(tBathtub), ["Prolog", "looks", "like", ":", actClean(tBathtub)])))).
  2063. % t_l:busy(action_info(actClean(tBathtub), ["Prolog", "looks", "like", ":", actClean(tBathtub)])).
  2064. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(action_info(actClean(tSink), ["Prolog", "looks", "like", ":", actClean(tSink)])))).
  2065. % t_l:busy(action_info(actClean(tSink), ["Prolog", "looks", "like", ":", actClean(tSink)])).
  2066. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(action_info(actClean(tWashingMachine), ["Prolog", "looks", "like", ":", actClean(tWashingMachine)])))).
  2067. % t_l:busy(action_info(actClean(tWashingMachine), ["Prolog", "looks", "like", ":", actClean(tWashingMachine)])).
  2068. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(action_info(actClean(tClothesDryer), ["Prolog", "looks", "like", ":", actClean(tClothesDryer)])))).
  2069. % t_l:busy(action_info(actClean(tClothesDryer), ["Prolog", "looks", "like", ":", actClean(tClothesDryer)])).
  2070. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(action_info(actActOperate(tStove), ["Prolog", "looks", "like", ":", actActOperate(tStove)])))).
  2071. % t_l:busy(action_info(actActOperate(tStove), ["Prolog", "looks", "like", ":", actActOperate(tStove)])).
  2072. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(action_info(actSpawn(tCol), ["Prolog", "looks", "like", ":", actSpawn(tCol)])))).
  2073. % t_l:busy(action_info(actSpawn(tCol), ["Prolog", "looks", "like", ":", actSpawn(tCol)])).
  2074. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(action_info(actAttack(vtDirection), ["Prolog", "looks", "like", ":", actAttack(vtDirection)])))).
  2075. % t_l:busy(action_info(actAttack(vtDirection), ["Prolog", "looks", "like", ":", actAttack(vtDirection)])).
  2076. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(action_info(actClimb(vtDirection), ["Prolog", "looks", "like", ":", actClimb(vtDirection)])))).
  2077. % t_l:busy(action_info(actClimb(vtDirection), ["Prolog", "looks", "like", ":", actClimb(vtDirection)])).
  2078. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/kiss.pfc.pl:33
  2079. % warn(var_mpred_post1(frot_command_parse_2('$VAR'('$VAR(????????????)_VAR'), Kiss, Where, What, actProlog(actFrot('$VAR'('$VAR(????????????)_VAR'), Kiss, Where, What))),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/kiss.pfc.pl', 33), ax))).
  2080. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl:34
  2081. % warn(var_mpred_post1(mudCanSense('$VAR'('$VAR(????????????)_VAR'), visual, InList, InList, []),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl', 34), ax))).
  2082. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl:40
  2083. % warn(var_mpred_post1(visibleTo('$VAR'('$VAR(????????????)_VAR'), '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl', 40), ax))).
  2084. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl:191
  2085. % warn(var_mpred_post1(view_vectors('$VAR'('$VAR(????????????)_VAR'), [[vNW, vNW], [vNorth, vNW], [vNorth, vNorth], [vNorth, vNE], [vNE, vNE], [vWest, vNW], [vNW, vHere], [vNorth, vHere], [vNE, vHere], [vEast, vNE], [vWest, vWest], [vWest, vHere], [vDown, vUp], [vEast, vHere], [vEast, vEast], [vWest, vSW], [vSW, vHere], [vSouth, vHere], [vSE, vHere], [vEast, vSE], [vSW, vSW], [vSouth, vSW], [vSouth, vSouth], [vSouth, vSE], [vSE, vSE]]),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl', 191), ax))).
  2086. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl:218
  2087. % warn(var_mpred_post1(check_for_blocks('$VAR'('$VAR(????????????)_VAR'), []),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl', 218), ax))).
  2088. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl:240
  2089. % warn(var_mpred_post1(blocked_percepts(_857380, [], [], '$VAR'('$VAR(????????????)_VAR'), '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl', 240), ax))).
  2090. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl:257
  2091. % warn(var_mpred_post1(block_coverage('$VAR'('$VAR(????????????)_VAR'), D2, [['$VAR'('$VAR(????????????)_VAR'), D2]]),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl', 257), ax))).
  2092. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl:260
  2093. % warn(var_mpred_post1(alter_view('$VAR'('$VAR(????????????)_VAR'), [], [], []),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl', 260), ax))).
  2094. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl:270
  2095. % warn(var_mpred_post1(mem_test('$VAR'('$VAR(????????????)_VAR'), _1636, _1658, no),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl', 270), ax))).
  2096. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl:274
  2097. % warn(var_mpred_post1(dark_if_yes(no, ['$VAR'('$VAR(????????????)_VAR')], '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl', 274), ax))).
  2098. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl:277
  2099. % warn(var_mpred_post1(view_dirs('$VAR'('$VAR(????????????)_VAR'), [], []),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl', 277), ax))).
  2100. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl:310
  2101. % warn(var_mpred_post1(mask([], '$VAR'('$VAR(????????????)_VAR'), '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/look.pfc.pl', 310), ax))).
  2102. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/move.pfc.pl:49
  2103. % warn(var_mpred_post1(get_move_dist('$VAR'('$VAR(????????????)_VAR'), 1),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/move.pfc.pl', 49), ax))).
  2104. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/move.pfc.pl:113
  2105. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(action_info(actGo(vtDirection), ["Prolog", "looks", "like", ":", actGo(vtDirection)])))).
  2106. % t_l:busy(action_info(actGo(vtDirection), ["Prolog", "looks", "like", ":", actGo(vtDirection)])).
  2107. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/push.pfc.pl:20
  2108. % debugm(baseKB, sc_success(baseKB, baseKB:mpred_retract_supported_relations(action_info(actPush(vtDirection), ["Prolog", "looks", "like", ":", actPush(vtDirection)])))).
  2109. % t_l:busy(action_info(actPush(vtDirection), ["Prolog", "looks", "like", ":", actPush(vtDirection)])).
  2110. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/push.pfc.pl:93
  2111. % warn(var_mpred_post1(squish_behind(_576878, '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/push.pfc.pl', 93), ax))).
  2112. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/scansrc.pfc.pl:17
  2113. % warn(var_mpred_post1(found_undef(_852230, _852252, '$VAR'('$VAR(????????????)_VAR')),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/actions/scansrc.pfc.pl', 17), ax))).
  2114. % /home/prologmud/lib/swipl/pack/prologmud/prolog/prologmud/mud_loader.pl:554
  2115. % loading_objects
  2116. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/run_mud_server.pl:35
  2117. % debugm(why, sc_success(why, baseKB:asserta_if_new(baseKB:registered_mpred_file('/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_nani/a_nani_household.pfc.pl')))).
  2118. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/run_mud_server.pl:40
  2119. % debugm(why, sc_success(why, baseKB:asserta_if_new(baseKB:registered_mpred_file('/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_nani/objs_misc_household.pfc.pl')))).
  2120. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/run_mud_server.pl:41
  2121. % debugm(why, sc_success(why, baseKB:asserta_if_new(baseKB:registered_mpred_file('/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_nani/a_nani_household.pfc.pl')))).
  2122. % debugm(why, sc_success(why, baseKB:asserta_if_new(baseKB:registered_mpred_file('/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_nani/andrew_ke.pfc.pl')))).
  2123. % debugm(why, sc_success(why, baseKB:asserta_if_new(baseKB:registered_mpred_file('/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_nani/annie_ke.pfc.pl')))).
  2124. % debugm(why, sc_success(why, baseKB:asserta_if_new(baseKB:registered_mpred_file('/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_nani/dmiles_ke.pfc.pl')))).
  2125. % debugm(why, sc_success(why, baseKB:asserta_if_new(baseKB:registered_mpred_file('/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_nani/jess_ke.pfc.pl')))).
  2126. % debugm(why, sc_success(why, baseKB:asserta_if_new(baseKB:registered_mpred_file('/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_nani/justin_ke.pfc.pl')))).
  2127. % debugm(why, sc_success(why, baseKB:asserta_if_new(baseKB:registered_mpred_file('/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_nani/meredith_ke.pfc.pl')))).
  2128. % debugm(why, sc_success(why, baseKB:asserta_if_new(baseKB:registered_mpred_file('/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_nani/objs_misc_household.pfc.pl')))).
  2129. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl:116
  2130. % gripe_WALLTIME(true, warn(0.401>0.4), cputime=0.39844271999999137, baseKB:must2('ore.pl':1083, mpred_post_update4(unique, tAgent(iWorf720),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl', 116), ax), none))).
  2131. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl:117
  2132. % gripe_CPUTIME(true, warn(0.4146277079999976>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique, tAgent(iDrCrusher677),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl', 117), ax), none))).
  2133. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl:118
  2134. % gripe_CPUTIME(true, warn(0.41524568900000247>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique, tAgent(iTroi712),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl', 118), ax), none))).
  2135. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl:119
  2136. % gripe_CPUTIME(true, warn(0.4196833289999944>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique, tAgent(iRiker707),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl', 119), ax), none))).
  2137. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl:120
  2138. % gripe_CPUTIME(true, warn(0.42114438499999096>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique, tAgent(iPicard701),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl', 120), ax), none))).
  2139. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl:121
  2140. % gripe_CPUTIME(true, warn(0.4155312599999945>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique, tAgent(iGuinan689),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl', 121), ax), none))).
  2141. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl:122
  2142. % gripe_CPUTIME(true, warn(0.4352146610000034>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique, tAgent(iOBrien696),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl', 122), ax), none))).
  2143. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl:123
  2144. % gripe_CPUTIME(true, warn(0.4351647790000044>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique, tAgent(iWesley716),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl', 123), ax), none))).
  2145. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl:124
  2146. % gripe_CPUTIME(true, warn(0.44347449400000016>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique, tAgent(iLivingston726),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl', 124), ax), none))).
  2147. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl:125
  2148. % gripe_CPUTIME(true, warn(0.4444310530000024>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique, tAgent(iSpot727),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl', 125), ax), none))).
  2149. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl:132
  2150. % gripe_CPUTIME(true, warn(0.4454800259999985>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique, tAgent(iExplorer8),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl', 132), ax), none))).
  2151. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl:133
  2152. % gripe_CPUTIME(true, warn(0.45290814099999466>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique, tAgent(iAlexander671),  (mfl(baseKB, '/home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl', 133), ax), none))).
  2153. % /home/prologmud/lib/swipl/pack/prologmud_samples/prolog/prologmud_sample_games/src_game_startrek/startrek.all.pfc.pl:1122
  2154. % t_l:busy(pathDirLeadsTo(iArea1041, vUp, iArea1041)).
  2155. % t_l:busy(pathDirLeadsTo(iArea1041, vDown, iArea1041)).
  2156. % t_l:busy(pathDirLeadsTo(iArea1041, vUp, iArea1041)).
  2157. % trace_or_throw(mpred_do_rule(pathDirLeadsTo(iArea1041, vUp, iArea1041))).
  2158. % t_l:busy(pathDirLeadsTo(iArea1041, vDown, iArea1041)).
  2159. % trace_or_throw(mpred_do_rule(pathDirLeadsTo(iArea1041, vUp, iArea1041))).
  2160. % Started at Sat Apr  1 04:09:37 2017
  2161. % 154.180 seconds cpu time for 297,828,297 inferences
  2162. % 28,932 atoms, 20,931 functors, 28,305 predicates, 367 modules, 3,930,552 VM-codes
  2163. %
  2164. %                        Limit    Allocated       In use
  2165. % Local  stack: 16,000,004,096      258,048        5,344 Bytes
  2166. % Global stack: 16,000,004,096    4,190,192      428,768 Bytes
  2167. % Trail  stack: 16,000,002,048    2,095,096          520 Bytes
  2168. %
  2169. % 1,052 garbage collections gained 1,736,814,832 bytes in 0.679 seconds.
  2170. % 113 atom garbage collections gained 1,127,620 atoms in 0.373 seconds.
  2171. % 6,241 clause garbage collections gained 587,693 clauses in 1.323 seconds.
  2172. % Stack shifts: 6 local, 6 global, 11 trail in 0.001 seconds
  2173. % 22 threads, 24 finished threads used 0.006 seconds
  2174. % Started at Sat Apr  1 04:09:37 2017
  2175. % 154.219 seconds cpu time for 297,853,397 inferences
  2176. % 29,177 atoms, 20,934 functors, 28,315 predicates, 367 modules, 3,932,593 VM-codes
  2177. %
  2178. %                        Limit    Allocated       In use
  2179. % Local  stack: 16,000,004,096      258,048        5,344 Bytes
  2180. % Global stack: 16,000,004,096    4,190,192      558,496 Bytes
  2181. % Trail  stack: 16,000,002,048    2,095,096          520 Bytes
  2182. %
  2183. % 1,052 garbage collections gained 1,736,814,832 bytes in 0.679 seconds.
  2184. % 113 atom garbage collections gained 1,127,620 atoms in 0.373 seconds.
  2185. % 6,242 clause garbage collections gained 587,778 clauses in 1.323 seconds.
  2186. % Stack shifts: 6 local, 6 global, 11 trail in 0.001 seconds
  2187. % 22 threads, 24 finished threads used 0.006 seconds
  2188. :- dynamic after_boot_goal/1.
  2189. :- multifile after_boot_goal/1.
  2190. :- module_transparent after_boot_goal/1.
  2191.  
  2192. after_boot_goal(logicmoo_snark:(\+user:file_search_path(library, '/home/prologmud/lib/swipl/pack/logicmoo_base/prolog')->asserta(user:file_search_path(library, '/home/prologmud/lib/swipl/pack/logicmoo_base/prolog'));true)).
  2193. after_boot_goal(logicmoo_swilib:setup_for_debug).
  2194. after_boot_goal(logicmoo_swilib:ensure_LOGTALKUSER).
  2195. after_boot_goal(logicmoo_swilib:load_logtalk).
  2196. after_boot_goal(logicmoo_swilib:add_history_ideas).
  2197. after_boot_goal(logicmoo_swilib:dmsg(start_x_ide)).
  2198. after_boot_goal(logicmoo_webbot:ensure_webserver_3020).
  2199. after_boot_goal(system:whenever(run_network, logicmoo_webbot:prolog_tn_server)).
  2200. after_boot_goal(eggdrop:egg_booting).
  2201. after_boot_goal(eggdrop:ensure_threaded_engine_loop).
  2202. after_boot_goal(system:whenever(run_network, logicmoo_webbot:egg_go_maybe)).
  2203. after_boot_goal(logicmoo_webbot:set_prolog_flag(do_renames, restore)).
  2204. after_boot_goal(logicmoo_webbot:dmsg(qconsult_kb7166)).
  2205. after_boot_goal(logicmoo_webbot:rescan_pack_autoload_packages).
  2206. after_boot_goal(logicmoo_webbot:set_prolog_stack_gb(16)).
  2207. after_boot_goal(mpred_type_constraints:add_history((C=(loves(B, A), ~knows(A, tHuman(B))), must(args_enforce_bound(C, D)), writeq(D)))).
  2208. after_boot_goal(mpred_type_constraints:add_history((C=(loves(B, A), ~knows(A, tHuman(B))), must(args_constrain(C, D)), writeq(D)))).
  2209. after_boot_goal(mpred_type_constraints:add_history((C=(loves(B, A), ~knows(A, tHuman(B))), must(args_enforce(C, D)), writeq(D)))).
  2210. after_boot_goal(mpred_type_constraints:add_history((C=(loves(B, A), ~knows(A, tHuman(B))), args_enforce(C, D), writeq(D), args_remove_constraints(C, E), writeq(E)))).
  2211. after_boot_goal(pfc:asserta(baseKB:ignore_file_mpreds('/home/prologmud/lib/swipl/pack/pfc/prolog/pfc.pl'))).
  2212. after_boot_goal(xlisting_web:http_handler(pixmaps('.'), http_server_files:serve_files_in_directory(pixmaps), [prefix])).
  2213. after_boot_goal(system:whenever(run_network, xlisting_web:doc_collect(true))).
  2214. after_boot_goal(logicmoo_repl:add_history_ideas).
  2215. after_boot_goal(system:kill_unsafe_preds).
  2216. after_boot_goal(logicmoo_user_module:(wdmsg(after_boot), hook_database:call(asserta_new,  (ereq(A):-!, baseKB:call_u(A))))).
  2217. after_boot_goal(logicmoo_util_common:gripe_time(40, if_file_exists(ensure_loaded(logicmoo_repl:logicmoo_user)))).
  2218. after_boot_goal(logicmoo_repl:sanity(logicmoo_repl:iRR7_test)).
  2219. after_boot_goal(logicmoo_repl:(set_prolog_flag(pfc_booted, true), flag_call(runtime_debug=true), set_prolog_flag(read_attvars, false))).
  2220. after_boot_goal(logicmoo_i_cyc_kb:dmsg("Dont forget to ?- logicmoo_i_cyc_xform.")).
  2221. after_boot_goal(baseKB:set_prolog_flag(do_renames, restore)).
  2222. after_boot_goal(baseKB:clone_ontologyportal_sumo).
  2223. after_boot_goal(baseKB:loadSumo1).
  2224. after_boot_goal(baseKB:loadSumo2).
  2225. after_boot_goal(baseKB:loadSumo3).
  2226. after_boot_goal(baseKB:loadNewTiny).
  2227. after_boot_goal(baseKB:qsave_lm(lm_repl3)).
  2228. after_boot_goal(baseKB:(set_prolog_flag(pfc_booted, true), flag_call(runtime_debug=true), set_prolog_flag(read_attvars, false))).
  2229. after_boot_goal(logicmoo_util_common:gripe_time(40, if_file_exists(ensure_loaded(system:library(parser_all))))).
  2230. after_boot_goal(logicmoo_util_common:gripe_time(40, if_file_exists(ensure_loaded(system:library(logicmoo_planner))))).
  2231. after_boot_goal(baseKB:set_prolog_stack_gb(16)).
  2232. after_boot_goal(system:whenever(run_network, mud_http_hmud:ensure_hmud)).
  2233. after_boot_goal(system:whenever(run_network, mud_http_hmud:run_flash_policy_server)).
  2234. after_boot_goal(system:whenever(run_network, mud_http_hmud:install_hmud_http_handler)).
  2235. after_boot_goal(baseKB:start_telnet).
  2236. after_boot_goal(baseKB:sanity(baseKB:argIsa(genlPreds, 2, _))).
  2237. after_boot_goal(baseKB:sanity(baseKB:dmsg(sanity_test_ifood_rez))).
  2238. after_boot_goal(baseKB:sanity(baseKB:gripe_time(1.0, must(coerce("s", vtDirection, _))))).
  2239. after_boot_goal(baseKB:sanity(baseKB:gripe_time(2.0, must(\+coerce(l, vtDirection, _))))).
  2240. after_boot_goal(baseKB:sanity(baseKB:statistics)).
  2241. after_boot_goal(baseKB:sanity(baseKB:check_clause_counts)).
  2242. after_boot_goal(baseKB:set_prolog_flag(unsafe_speedups, false)).
  2243. after_boot_goal(baseKB:ain(isRuntime)).
  2244. after_boot_goal(baseKB:qsave_lm(lm_init_mud)).
  2245.  
  2246. % after_boot_call
  2247. % Skipping logtalk
  2248. % Skipping logtalk
  2249. % start_x_ide
  2250. % qconsult_kb7166
  2251. % after_boot
  2252. not_installing(logicmoo_util_common,ensure_loaded(logicmoo_repl:logicmoo_user))
  2253. % Dont forget to ?- logicmoo_i_cyc_xform.
  2254. % qsave_program(lm_repl3, [toplevel(logicmoo_toplevel), goal(logicmoo_goal), op(save), stand_alone(false), class(development), autoload(false), global(16000004096), trail(16000002048), local(16000004096)]).
  2255. not_installing(logicmoo_util_common,ensure_loaded(system:library(parser_all)))
  2256. not_installing(logicmoo_util_common,ensure_loaded(system:library(logicmoo_planner)))
  2257. % sanity_test_ifood_rez
  2258. % Started at Sat Apr  1 04:09:37 2017
  2259. % 155.296 seconds cpu time for 304,255,430 inferences
  2260. % 29,703 atoms, 20,934 functors, 28,304 predicates, 369 modules, 3,871,695 VM-codes
  2261. %
  2262. %                        Limit    Allocated       In use
  2263. % Local  stack: 16,000,004,096      258,048        6,680 Bytes
  2264. % Global stack: 16,000,004,096    4,190,192       48,528 Bytes
  2265. % Trail  stack: 16,000,002,048    2,095,096          144 Bytes
  2266. %
  2267. % 1,060 garbage collections gained 1,748,694,664 bytes in 0.686 seconds.
  2268. % 127 atom garbage collections gained 1,270,230 atoms in 0.426 seconds.
  2269. % 6,243 clause garbage collections gained 587,841 clauses in 1.326 seconds.
  2270. % Stack shifts: 6 local, 6 global, 11 trail in 0.001 seconds
  2271. % 22 threads, 24 finished threads used 0.006 seconds
  2272. % gripe_CPUTIME(true, warn(1.4663883169999963>0.4), baseKB:must2('ore.pl':1083, mpred_post_update4(unique, isRuntime,  (mfl(baseKB, user_input, '$stream_position'(200831, 2245, 0, 200831)), ax), none))).
  2273. % qsave_program(lm_init_mud, [toplevel(logicmoo_toplevel), goal(logicmoo_goal), op(save), stand_alone(false), class(development), autoload(false), global(16000004096), trail(16000002048), local(16000004096)]).
  2274. %             Thread Status       Time    Stack use    allocated
  2275. % --------------------------------------------------------------
  2276. %               main running   157.178    3,108,952    6,543,336
  2277. %                pce running     0.034        1,096      120,808
  2278. %     'httpd@3020_1' running     0.002        1,200       22,504
  2279. %     'httpd@3020_2' running     0.002        1,200       22,504
  2280. %     'httpd@3020_3' running     0.002        1,200       22,504
  2281. %     'httpd@3020_4' running     0.003        1,200       22,504
  2282. %     'httpd@3020_5' running     0.003        1,200       22,504
  2283. %     'httpd@3020_6' running     0.005        1,200       22,504
  2284. %     'httpd@3020_7' running     0.006        1,200       22,504
  2285. %     'httpd@3020_8' running     0.004        1,200       22,504
  2286. %     'httpd@3020_9' running     0.003        1,200       22,504
  2287. %    'httpd@3020_10' running     0.007        1,200       22,504
  2288. %    'httpd@3020_11' running     0.005        1,200       22,504
  2289. %    'httpd@3020_12' running     0.007        1,200       22,504
  2290. %    'httpd@3020_13' running     0.003        1,200       22,504
  2291. %    'httpd@3020_14' running     0.015        1,200       22,504
  2292. %    'httpd@3020_15' running     0.029        1,200       22,504
  2293. %    'httpd@3020_16' running     0.009        1,200       22,504
  2294. %        'http@3020' running     0.000        1,840      120,808
  2295. %      prolog_server running     0.000          808      120,808
  2296. % telnet_server_4000 running     0.000        1,032      120,808
  2297. % telnet_server_4002 running     0.000        1,032      120,808
  2298.  
  2299. Hello session main!
  2300. Warning: Local definition of baseKB:{}/1 overrides weak import from mpred_kb_ops
  2301.  
  2302. Welcome to the MUD iPicard701!
  2303.  
  2304. The stream <stream>(0x7f0067690c08)!
  2305. this is blinking red!
  2306. location= nop(xyzFn(iArea1009,2,2,1)).
  2307.  
  2308.  [] [] [] [] [] [] []
  2309.  [] -- -- -- -- -- []
  2310.     -- ic -- -- -- []
  2311.     -- -- -- -- -- []
  2312.     -- -- -- -- -- []
  2313.  [] -- -- -- -- -- []
  2314.  [] [] [] [] [] [] []
  2315. text= mudAtLoc(iPicard701,xyzFn(iArea1009,2,2,1)).
  2316. text= mudFacing(iPicard701,vNorth).
  2317. mudStance= notFound(f4,mudStance,_10936).
  2318. text= nameStringsList(iArea1009,[s("Holodeck","2")]).
  2319. path(vWest)= pathDirLeadsTo(iArea1009,vWest,iArea1008).
  2320. pathName(vWest)= pathName(iArea1009,vWest,s("A","corridor","is","West")).
  2321. text= localityOfObject(iPicard701,iArea1009).
  2322. text= mudNearFeet(iPicard701,[]).
  2323. text= mudNearReach(iPicard701,[]).
  2324. mudGetPrecepts= notFound(f4,mudGetPrecepts,_9618).
  2325. text= mudMoveDist(iPicard701,1).
  2326. mudHeightOnObj= notFound(f4,mudHeightOnObj,_15938).
  2327. mudLastCmdSuccess= wasSuccess(iPicard701,_21398,vTrue).
  2328. ftText= [mudPossess(iPicard701,iBoots702),mudPossess(iPicard701,iCommBadge703),mudPossess(iPicard701,iRedUniform704),mudPossess(iPicard701,iPhaserRifle705),mudPossess(iPicard701,iPicardsFlute),mudPossess(iPicard701,iFood7)].
  2329. ftText= [mudStowing(iPicard701,iPhaserRifle705),mudStowing(iPicard701,iPicardsFlute),mudStowing(iPicard701,iFood7)].
  2330. ftText= [wearsClothing(iPicard701,iBoots702),wearsClothing(iPicard701,iCommBadge703),wearsClothing(iPicard701,iRedUniform704)].
  2331. iPicard701 [iPicard701,wants,to]>w5
  2332. actNotice(you,begin(you,actMove(5,vWest))).
  2333. actNotice(you,actLeave(you,iArea1009,to(vWest))).
  2334. actNotice(you,actEnter(you,iArea1008,from(vEast))).
  2335. actNotice(you,done(you,actMove(5,vWest))).
  2336. location= nop(xyzFn(iArea1008,2,2,1)).
  2337.  
  2338.  [] []          [] []
  2339.  [] -- or -- -- -- []
  2340.     -- ic -- -- --
  2341.     -- -- -- -- --
  2342.     -- -- -- -- --
  2343.  [] -- -- -- -- -- []
  2344.  [] []          [] []
  2345. text= mudAtLoc(iPicard701,xyzFn(iArea1008,2,2,1)).
  2346. text= mudFacing(iPicard701,vWest).
  2347. mudStance= notFound(f4,mudStance,_17782).
  2348. text= nameStringsList(iArea1008,[s("A","Corridor")]).
  2349. path(vSouth)= pathDirLeadsTo(iArea1008,vSouth,iArea1005).
  2350. path(vWest)= pathDirLeadsTo(iArea1008,vWest,iArea1007).
  2351. path(vNorth)= pathDirLeadsTo(iArea1008,vNorth,iArea1010).
  2352. path(vEast)= pathDirLeadsTo(iArea1008,vEast,iArea1009).
  2353. pathName(vNorth)= pathName(iArea1008,vNorth,s("The","turbolift","is","North")).
  2354. pathName(vEast)= pathName(iArea1008,vEast,s("Holodeck","2","is","East")).
  2355. pathName(vSouth)= pathName(iArea1008,vSouth,s("The","corridor","continues","South")).
  2356. pathName(vWest)= pathName(iArea1008,vWest,s("The","School","is","West")).
  2357. text= localityOfObject(iWorf720,iArea1008).
  2358. text= localityOfObject(iPicard701,iArea1008).
  2359. text= mudNearFeet(iPicard701,[]).
  2360. text= mudNearReach(iPicard701,[iWorf720]).
  2361. mudGetPrecepts= notFound(f4,mudGetPrecepts,_14190).
  2362. text= mudMoveDist(iPicard701,1).
  2363. mudHeightOnObj= notFound(f4,mudHeightOnObj,_20510).
  2364. mudLastCmdSuccess= wasSuccess(iPicard701,_25970,vTrue).
  2365. ftText= [mudPossess(iPicard701,iBoots702),mudPossess(iPicard701,iCommBadge703),mudPossess(iPicard701,iRedUniform704),mudPossess(iPicard701,iPhaserRifle705),mudPossess(iPicard701,iPicardsFlute),mudPossess(iPicard701,iFood7)].
  2366. ftText= [mudStowing(iPicard701,iPhaserRifle705),mudStowing(iPicard701,iPicardsFlute),mudStowing(iPicard701,iFood7)].
  2367. ftText= [wearsClothing(iPicard701,iBoots702),wearsClothing(iPicard701,iCommBadge703),wearsClothing(iPicard701,iRedUniform704)].
  2368. iPicard701 [iPicard701,wants,to]>
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!