Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Changing the user information for test_swipl
- Enter the new value, or press ENTER for the default
- Full Name []:
- Room Number []:
- Work Phone []:
- Home Phone []:
- Other []:
- Is the information correct? [Y/n]
- (base) root@gitlab:~/programk/programk#
- (base) root@gitlab:~/programk/programk# su - test_swipl
- test_swipl@gitlab:~$ swipl
- Welcome to SWI-Prolog (threaded, 64 bits, version 8.1.15)
- SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
- Please run ?- license. for legal details.
- For online help and background, visit http://www.swi-prolog.org
- For built-in help, use ?- help(Topic). or ?- apropos(Word).
- ?- pack_install(gvar_syntax).
- % Contacting server at https://www.swi-prolog.org/pack/query ... ok
- Install gvar_syntax@1.2.111 from GIT at https://github.com/TeamSPoon/gvar_syntax.git Y/n?
- Create directory for packages
- (1) * /home/test_swipl/.local/share/swi-prolog/pack
- (2) Cancel
- Your choice?
- % Cloning into '/home/test_swipl/.local/share/swi-prolog/pack/gvar_syntax'...
- % Contacting server at https://www.swi-prolog.org/pack/query ... ok
- % "gvar_syntax.git" was downloaded 8 times
- Package: gvar_syntax
- Title: Global Variable Syntax
- Installed version: 1.2.111
- Author: Douglas R. Miles <logicmoo@gmail.com>
- Maintainer: TeamSPoon <https://github.com/TeamSPoon/>
- Packager: TeamSPoon/LogicMoo <https://github.com/TeamSPoon/>
- Home page: https://github.com/TeamSPoon/gvar_syntax
- Download URL: https://github.com/TeamSPoon/gvar_syntax/releases/*.zip
- Activate pack "gvar_syntax" Y/n?
- true.
- ?- pack_install(logicmoo_utils).
- % Contacting server at https://www.swi-prolog.org/pack/query ... ok
- Install logicmoo_utils@1.2.111 from GIT at https://github.com/TeamSPoon/logicmoo_utils.git Y/n?
- % Cloning into '/home/test_swipl/.local/share/swi-prolog/pack/logicmoo_utils'...
- % Contacting server at https://www.swi-prolog.org/pack/query ... ok
- Warning: Package depends on the following:
- Warning: "predicate_streams", provided by predicate_streams@1.2.111 from http://github.com/TeamSPoon/predicate_streams.git
- What do you wish to do
- (1) * Install proposed dependencies
- (2) Only install requested package
- (3) Cancel
- Your choice?
- % "logicmoo_utils.git" was downloaded 2 times
- % Cloning into '/home/test_swipl/.local/share/swi-prolog/pack/predicate_streams'...
- Warning: warning: redirecting to https://github.com/TeamSPoon/predicate_streams.git/
- i predicate_streams@1.2.111 - Implement your own Abstract Predicate Streams
- % Updating index for library /home/test_swipl/.local/share/swi-prolog/pack/predicate_streams/prolog/
- Package: logicmoo_utils
- Title: Common predicates that are used throughout LogicMOO Software
- Installed version: 1.2.111
- Author: Douglas Miles <http://www.linkedin.com/in/logicmoo>
- Maintainer: TeamSPoon <https://github.com/TeamSPoon/>
- Packager: TeamSPoon/LogicMoo <https://github.com/TeamSPoon/>
- Home page: https://github.com/TeamSPoon/logicmoo_utils
- Download URL: https://github.com/TeamSPoon/logicmoo_utils/release/*.zip
- Requires: predicate_streams
- Activate pack "logicmoo_utils" Y/n?
- % Updating index for library /home/test_swipl/.local/share/swi-prolog/pack/logicmoo_utils/prolog/
- true.
- ?- use_module(library(must_sanity)).
- true.
- ?- dumpST.
- % user_input:66
- (0)$[system]# '$c_call_prolog'. no(clause)
- (1)$[plevel]# '$toplevel'. % toplevel.pl:692:
- (2)$[plevel]# '$runtoplevel'. % toplevel.pl:704:
- (3)$[plevel]# '$query_loop'. % toplevel.pl:802:
- (5)<*>$[plevel]# '$execute_goal2'(dumpST,[]). % toplevel.pl:1071:
- (7)$[abling]# '$wfs_call'(stop_backtrace(dumpST),A). % tabling.pl:688:
- (8)$[plevel]# stop_backtrace(dumpST). % toplevel.pl:1095:
- (9)$[plevel]# toplevel_call(dumpST). % toplevel.pl:1099:
- (11)$[user]# zotrace((prolog_current_frame(177),b_setval('$dump_frame',177),dumpST1)). % first.pl:434:
- (17)[_check]# loop_check_term_frame(dumpST9,dumpST9,1,167,dumpST0). % no_loops.pl:223:
- true.
- ?-
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement