Advertisement
logicmoo

Untitled

Oct 21st, 2019
843
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 4.13 KB | None | 0 0
  1. Changing the user information for test_swipl
  2. Enter the new value, or press ENTER for the default
  3.         Full Name []:
  4.         Room Number []:
  5.         Work Phone []:
  6.         Home Phone []:
  7.         Other []:
  8. Is the information correct? [Y/n]
  9. (base) root@gitlab:~/programk/programk#
  10. (base) root@gitlab:~/programk/programk# su - test_swipl
  11. test_swipl@gitlab:~$ swipl
  12. Welcome to SWI-Prolog (threaded, 64 bits, version 8.1.15)
  13. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
  14. Please run ?- license. for legal details.
  15.  
  16. For online help and background, visit http://www.swi-prolog.org
  17. For built-in help, use ?- help(Topic). or ?- apropos(Word).
  18.  
  19. ?- pack_install(gvar_syntax).
  20. % Contacting server at https://www.swi-prolog.org/pack/query ... ok
  21. Install gvar_syntax@1.2.111 from GIT at https://github.com/TeamSPoon/gvar_syntax.git Y/n?
  22.  
  23. Create directory for packages
  24.    (1) * /home/test_swipl/.local/share/swi-prolog/pack
  25.    (2)   Cancel
  26.  
  27. Your choice?
  28. % Cloning into '/home/test_swipl/.local/share/swi-prolog/pack/gvar_syntax'...
  29. % Contacting server at https://www.swi-prolog.org/pack/query ... ok
  30. % "gvar_syntax.git" was downloaded 8 times
  31. Package:                gvar_syntax
  32. Title:                  Global Variable Syntax
  33. Installed version:      1.2.111
  34. Author:                 Douglas R. Miles <logicmoo@gmail.com>
  35. Maintainer:             TeamSPoon <https://github.com/TeamSPoon/>
  36. Packager:               TeamSPoon/LogicMoo <https://github.com/TeamSPoon/>
  37. Home page:              https://github.com/TeamSPoon/gvar_syntax
  38. Download URL:           https://github.com/TeamSPoon/gvar_syntax/releases/*.zip
  39. Activate pack "gvar_syntax" Y/n?
  40. true.
  41.  
  42. ?- pack_install(logicmoo_utils).
  43. % Contacting server at https://www.swi-prolog.org/pack/query ... ok
  44. Install logicmoo_utils@1.2.111 from GIT at https://github.com/TeamSPoon/logicmoo_utils.git Y/n?
  45. % Cloning into '/home/test_swipl/.local/share/swi-prolog/pack/logicmoo_utils'...
  46. % Contacting server at https://www.swi-prolog.org/pack/query ... ok
  47. Warning: Package depends on the following:
  48. Warning:   "predicate_streams", provided by predicate_streams@1.2.111 from http://github.com/TeamSPoon/predicate_streams.git
  49.  
  50. What do you wish to do
  51.    (1) * Install proposed dependencies
  52.    (2)   Only install requested package
  53.    (3)   Cancel
  54.  
  55. Your choice?
  56. % "logicmoo_utils.git" was downloaded 2 times
  57. % Cloning into '/home/test_swipl/.local/share/swi-prolog/pack/predicate_streams'...
  58. Warning: warning: redirecting to https://github.com/TeamSPoon/predicate_streams.git/
  59. i predicate_streams@1.2.111 - Implement your own Abstract Predicate Streams
  60. % Updating index for library /home/test_swipl/.local/share/swi-prolog/pack/predicate_streams/prolog/
  61. Package:                logicmoo_utils
  62. Title:                  Common predicates that are used throughout LogicMOO Software
  63. Installed version:      1.2.111
  64. Author:                 Douglas Miles <http://www.linkedin.com/in/logicmoo>
  65. Maintainer:             TeamSPoon <https://github.com/TeamSPoon/>
  66. Packager:               TeamSPoon/LogicMoo <https://github.com/TeamSPoon/>
  67. Home page:              https://github.com/TeamSPoon/logicmoo_utils
  68. Download URL:           https://github.com/TeamSPoon/logicmoo_utils/release/*.zip
  69. Requires:               predicate_streams
  70. Activate pack "logicmoo_utils" Y/n?
  71. % Updating index for library /home/test_swipl/.local/share/swi-prolog/pack/logicmoo_utils/prolog/
  72. true.
  73.  
  74. ?- use_module(library(must_sanity)).
  75. true.
  76.  
  77. ?- dumpST.
  78. % user_input:66
  79. (0)$[system]# '$c_call_prolog'.  no(clause)
  80. (1)$[plevel]# '$toplevel'.   %  toplevel.pl:692:
  81. (2)$[plevel]# '$runtoplevel'.   %  toplevel.pl:704:
  82. (3)$[plevel]# '$query_loop'.   %  toplevel.pl:802:
  83. (5)<*>$[plevel]# '$execute_goal2'(dumpST,[]).   %  toplevel.pl:1071:
  84. (7)$[abling]# '$wfs_call'(stop_backtrace(dumpST),A).   %  tabling.pl:688:
  85. (8)$[plevel]# stop_backtrace(dumpST).   %  toplevel.pl:1095:
  86. (9)$[plevel]# toplevel_call(dumpST).   %  toplevel.pl:1099:
  87. (11)$[user]# zotrace((prolog_current_frame(177),b_setval('$dump_frame',177),dumpST1)).   %  first.pl:434:
  88. (17)[_check]# loop_check_term_frame(dumpST9,dumpST9,1,167,dumpST0).   %  no_loops.pl:223:
  89. true.
  90.  
  91. ?-
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement