Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- packwtester@titan:~$ swipl
- Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.3.5-38-g4eff21a)
- Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
- SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
- and you are welcome to redistribute it under certain conditions.
- Please visit http://www.swi-prolog.org for details.
- For help, use ?- help(Topic). or ?- apropos(Word).
- ?- pack_install(logicmoo_base).
- % Contacting server at http://www.swi-prolog.org/pack/query ... ok
- Install logicmoo_base@1.1.1 from http://www.prologmoo.com/packs/logicmoo_base/release/logicmoo_base-1.1.1.tgz Y/n?
- % Contacting server at http://www.swi-prolog.org/pack/query ... ok
- % "logicmoo_base-1.1.1.tgz" was downloaded 1 times
- Package: logicmoo_base
- Title: Support for various Prolog programing extensions such reactive [agent] programming in FOL using forward-chaining and memoization
- Installed version: 1.1.1
- Author: Douglas R. Miles <logicmoo@gmail.com>
- Home page: https://github.com/TeamSPoon/PrologMUD/tree/master/pack/logicmoo_base
- Download URL: http://www.prologmoo.com/packs/logicmoo_base/release/logicmoo_base-1.1.1.tgz
- Install "logicmoo_base-1.1.1.tgz" (2,182,372 bytes) Y/n?
- true.
- ?- use_module(logicmoo_utils).
- ERROR: source_sink `logicmoo_utils' does not exist
- ?- use_module(library(logicmoo_utils)).
- ERROR: source_sink `library(logicmoo_utils)' does not exist
- ?- use_module(library(logicmoo/logicmoo_utils)).
- % Updating index for library /home/packwtester/lib/swipl/pack/logicmoo_base/prolog/logicmoo/util/
- % /home/packwtester/lib/swipl/pack/logicmoo_base/prolog/logicmoo/logicmoo_utils.pl:204
- % Adding logicmoo/utils to autoload path
- true.
- ?- use_listing_vars.
- true.
- ?- listing(listing).
- :- meta_predicate prolog_listing:listing(:).
- prolog_listing:listing(M:Spec) :-
- var(Spec), !,
- list_module(M).
- prolog_listing:listing(M:List) :-
- is_list(List), !,
- forall(member(Spec, List), listing(M:Spec)).
- prolog_listing:listing(X) :-
- ( prolog:locate_clauses(X, ClauseRefs)
- -> list_clauserefs(ClauseRefs)
- ; '$find_predicate'(X, Preds),
- list_predicates(Preds, X)
- ).
- prolog_listing:listing :-
- context_module(Context),
- list_module(Context).
- true.
- ?-
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement