API tools faq
paste
Advertisement
logicmoo

Untitled

logicmoo
Apr 10th, 2018
495
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 11.02 KB | None | 0 0
raw download clone embed print report
  1. foo123@gitlab:~$ echo ":- use_module(library(clpfd))." > .swiplrc
  2. foo123@gitlab:~$ /opt/logicmoo_workspace/bin/swipl
  3. Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.11-22-g2e660b5-DIRTY)
  4. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  5. Please run ?- license. for legal details.
  6.  
  7. For online help and background, visit http://www.swi-prolog.org
  8. For built-in help, use ?- help(Topic). or ?- apropos(Word).
  9.  
  10. ?- pack_install(must_trace).
  11. % Contacting server at http://www.swi-prolog.org/pack/query ... ok
  12. Install must_trace@1.1.118 from GIT at https://github.com/TeamSPoon/must_trace.git Y/n?
  13.  
  14. Create directory for packages
  15.    (1) * /home/foo123/lib/swipl/pack
  16.    (2)   Cancel
  17.  
  18. Your choice?
  19. % Cloning into '/home/foo123/lib/swipl/pack/must_trace'...
  20. % Contacting server at http://www.swi-prolog.org/pack/query ... ok
  21. Warning: Package depends on the following:
  22. Warning:   "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  23. Warning:     "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  24. Warning:       "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  25. Warning:   "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  26. Warning:     "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  27. Warning:       "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  28. Warning:         "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  29. Warning:     "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  30. Warning:     "file_scope", provided by file_scope@1.1.118 from https://github.com/TeamSPoon/file_scope.git
  31. Warning:       "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  32. Warning:       "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  33. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  34. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  35. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  36. Warning:         "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  37. Warning:         "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  38. Warning:         "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  39. Warning:           "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  40. Warning:             "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  41. Warning:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  42. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  43. Warning:         "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  44. Warning:           "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  45. Warning:             "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  46. Warning:               "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  47. Warning:     "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  48. Warning:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  49. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  50. Warning:     "must_trace", provided by must_trace@1.1.118 from https://github.com/TeamSPoon/must_trace.git
  51. Warning:       "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  52. Warning:         "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  53. Warning:           "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  54. Warning:       "hook_hybrid", provided by hook_hybrid@1.1.118 from https://github.com/TeamSPoon/hook_hybrid.git
  55. Warning:       "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  56. Warning:       "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  57. Warning:         "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  58. Warning:           "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  59. Warning:       "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  60. Warning:         "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  61. Warning:       "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.git
  62. Warning:         "clause_attvars", provided by clause_attvars@1.1.118 from https://github.com/TeamSPoon/clause_attvars.git
  63. Warning:           "dictoo", provided by dictoo@1.1.118 from https://github.com/TeamSPoon/dictoo.git
  64. Warning:             "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  65. Warning:     "subclause_expansion", provided by subclause_expansion@1.1.118 from https://github.com/TeamSPoon/subclause_expansion.git
  66. Warning:       "gvar_syntax", provided by gvar_syntax@1.1.118 from https://github.com/TeamSPoon/gvar_syntax.git
  67. Warning:       "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  68. Warning:   "logicmoo_utils", provided by logicmoo_utils@1.1.118 from https://github.com/TeamSPoon/logicmoo_utils.git
  69. Warning:   "loop_check", provided by loop_check@1.1.118 from https://github.com/TeamSPoon/loop_check.git
  70. Warning:     "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.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:   "with_thread_local", provided by with_thread_local@1.1.118 from https://github.com/TeamSPoon/with_thread_local.git
  73. Warning:     "each_call_cleanup", provided by each_call_cleanup@1.1.118 from https://github.com/TeamSPoon/each_call_cleanup.git
  74. Warning:   "xlisting", provided by xlisting@1.1.118 from https://github.com/TeamSPoon/xlisting.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.  
  79. What do you wish to do
  80.    (1) * Install proposed dependencies
  81.    (2)   Only install requested package
  82.    (3)   Cancel
  83.  
  84. Your choice?
  85. % "must_trace.git" was downloaded 3 times
  86. % Cloning into '/home/foo123/lib/swipl/pack/clause_attvars'...
  87. i clause_attvars@1.1.118    - An alternate interface to the clause database to allow attributed variables to be asserted
  88. % Updating index for library /home/foo123/lib/swipl/pack/clause_attvars/prolog/
  89. % Cloning into '/home/foo123/lib/swipl/pack/dictoo'...
  90. i dictoo@1.1.118            - Dict-like OO Syntax
  91. % Cloning into '/home/foo123/lib/swipl/pack/gvar_syntax'...
  92. i gvar_syntax@1.1.118       - Global Variable Syntax
  93. % Cloning into '/home/foo123/lib/swipl/pack/hook_hybrid'...
  94. i hook_hybrid@1.1.118       - Hook assert retract call of *specific* predicates
  95. % Updating index for library /home/foo123/lib/swipl/pack/hook_hybrid/prolog/
  96. % Cloning into '/home/foo123/lib/swipl/pack/each_call_cleanup'...
  97. i each_call_cleanup@1.1.118 - Each Call Redo Setup and Cleanup
  98. % Updating index for library /home/foo123/lib/swipl/pack/each_call_cleanup/prolog/
  99. % Cloning into '/home/foo123/lib/swipl/pack/file_scope'...
  100. i file_scope@1.1.118        - File local scoped efects
  101. % Updating index for library /home/foo123/lib/swipl/pack/file_scope/prolog/
  102. % Cloning into '/home/foo123/lib/swipl/pack/logicmoo_utils'...
  103. i logicmoo_utils@1.1.118    - Common predicates used by external Logicmoo Utils and Base
  104. % Updating index for library /home/foo123/lib/swipl/pack/logicmoo_utils/prolog/
  105. % Cloning into '/home/foo123/lib/swipl/pack/must_trace'...
  106. i must_trace@1.1.118        - Trace with your eyeballs instead of your fingers
  107. % Updating index for library /home/foo123/lib/swipl/pack/must_trace/prolog/
  108. % Cloning into '/home/foo123/lib/swipl/pack/loop_check'...
  109. i loop_check@1.1.118        - New simple loop checking
  110. % Updating index for library /home/foo123/lib/swipl/pack/loop_check/prolog/
  111. % Cloning into '/home/foo123/lib/swipl/pack/with_thread_local'...
  112. i with_thread_local@1.1.118 - Call a Goal with local assertions
  113. % Updating index for library /home/foo123/lib/swipl/pack/with_thread_local/prolog/
  114. % Cloning into '/home/foo123/lib/swipl/pack/xlisting'...
  115. i xlisting@1.1.118          - Selective Interactive Non-Deterministic Tracing
  116. % Updating index for library /home/foo123/lib/swipl/pack/xlisting/prolog/
  117. % Cloning into '/home/foo123/lib/swipl/pack/subclause_expansion'...
  118. i subclause_expansion@1.1.118 - More use specific versions of term/goal expansion hooks
  119. % Updating index for library /home/foo123/lib/swipl/pack/subclause_expansion/prolog/
  120. Package:                must_trace
  121. Title:                  Trace with your eyeballs instead of your fingers
  122. Installed version:      1.1.118
  123. Author:                 Douglas R. Miles <logicmoo@gmail.com>
  124. Maintainer:             TeamSPoon <https://github.com/TeamSPoon/>
  125. Packager:               TeamSPoon/LogicMoo <https://github.com/TeamSPoon/>
  126. Home page:              https://github.com/TeamSPoon/must_trace
  127. Download URL:           https://github.com/TeamSPoon/must_trace/releases/*.zip
  128. Requires:               clause_attvars, logicmoo_utils, loop_check, hook_hybrid, with_thread_local, xlisting
  129. Activate pack "must_trace" Y/n?
  130. true.
  131.  
  132. ?- ^D
  133. % halt
  134. foo123@gitlab:~$ /opt/logicmoo_workspace/bin/swipl
  135. Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.11-22-g2e660b5-DIRTY)
  136. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  137. Please run ?- license. for legal details.
  138.  
  139. For online help and background, visit http://www.swi-prolog.org
  140. For built-in help, use ?- help(Topic). or ?- apropos(Word).
  141.  
  142. ?- make.
  143. true.
  144.  
  145. ?- rtrace(true).
  146.    Call: (15) true
  147.    Exit: (15) true
  148. true.
  149.  
  150. [debug]  ?- rtrace(true).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!