MUD Server written in Prolog using Forward chaining
?- pack_install(prologmud).?- pack_install(prologmud_samples).?- pack_install(logtalk).%% to run?- consult(library(prologmud_sample_games/run_mud_server)).
Like “Hello world” that must be implemented in every language, a playable MUD server should also exist! (MUD servers examples are: LambdaMOO, DikuMUD, PerlMUD, CircleMUD.. etc)
However, for the Prolog language this is even more vital. Here in 2014, no one has created one?!
After doing the Nani-World tutorial at the AMZI-Prolog website students are excited by how simple it was. And for very little extra programming the program become better and better. They might go on to imagining if it was not simply a tutorial but a real game. Played with many people characters at once. That is what this project is about among other things. See what is meant by this at
It turns out that being a MUD keeps a sane description of the minimized version of the code. But really it is an application framework (much the way Tomcat is a web application hosting framework).
Some games (PrologMUD is no different) end up becoming miniature operating systems with 1000s of moving pieces and the type of problems/solutions being worked on in the layers of the game involve very different methodologies; Take a game like Doom II with Pathfinding, physics, image asset delivery to networked clients, mini-C interpreter for AI and rockets powered weapons, 3D rendering, Client networking to stay in sync, AAS (Area Awareness System) etc etc etc. PrologMUD has all of these (except 2D rendering in place of 3D rendering) plus natural language understanding, theorem prover, behaviour planner, neural simulator, STRIPS, CYC, CG-KIF and a crap-load of other acronyms.
10% code is Process management and client networking
10% is the Object Orientation smoothing layer (isa/genls hierarchy)
A text adventure game from the 1980s
First off, the author only had to write 100k lines to get it “bootstrapped”
The rest is data and modules created over the last 30 years by research projects in the areas of artificial intelligence. http://www.cyc.com http://www.larkc.eu etc
Initial version was only 1000 lines of code.
Prolog is required programming language at all 4 year universities (though most students only get 2 weeks to learn it! .. in which even then it is marginalized by the professor.. since really 2 weeks isn’t long enough)
PrologMUD would been OK in LISP but propositional resolution is a type of calculation PrologMUD does most often and in LISP that ends up 10x slower when compared to a Prolog-in-C native unifier.
LIVECODING http://livecoding.tv/logicmoo/
Added Cutted Forward Chaining =!=> as a signal to stop processing rules on first success
?- pack_install(prologmud).% Contacting server at http://www.swi-prolog.org/pack/query ... okInstall prologmud@1.1.117 from GIT at https://github.com/logicmoo/prologmud.git Y/n?Create directory for packages(1) * /home/testprologmud/lib/swipl/pack(2) CancelYour choice?% Cloning into '/home/testprologmud/lib/swipl/pack/prologmud'...% Contacting server at http://www.swi-prolog.org/pack/query ... okWarning: Package depends on the following:Warning: "logicmoo_base", provided by logicmoo_base@1.1.117 from https://github.com/logicmoo/logicmoo_base.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "each_call_cleanup", provided by each_call_cleanup@1.1.117 from https://github.com/logicmoo/each_call_cleanup.gitWarning: "eggdrop", provided by eggdrop@1.1.117 from https://github.com/logicmoo/eggdrop.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "must_trace", provided by must_trace@1.1.117 from https://github.com/logicmoo/must_trace.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "predicate_streams", provided by predicate_streams@1.1.117 from https://github.com/logicmoo/predicate_streams.gitWarning: "file_scope", provided by file_scope@1.1.117 from https://github.com/logicmoo/file_scope.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "must_trace", provided by must_trace@1.1.117 from https://github.com/logicmoo/must_trace.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "instant_prolog_docs", provided by instant_prolog_docs@1.1.117 from https://github.com/logicmoo/instant_prolog_docs.gitWarning: "must_trace", provided by must_trace@1.1.117 from https://github.com/logicmoo/must_trace.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "loop_check", provided by loop_check@1.1.117 from https://github.com/logicmoo/loop_check.gitWarning: "with_thread_local", provided by with_thread_local@1.1.117 from https://github.com/logicmoo/with_thread_local.gitWarning: "each_call_cleanup", provided by each_call_cleanup@1.1.117 from https://github.com/logicmoo/each_call_cleanup.gitWarning: "multimodal_dcg", provided by multimodal_dcg@1.1.117 from https://github.com/logicmoo/multimodal_dcg.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "must_trace", provided by must_trace@1.1.117 from https://github.com/logicmoo/must_trace.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "pfc", provided by pfc@1.1.117 from https://github.com/logicmoo/pfc.gitWarning: "each_call_cleanup", provided by each_call_cleanup@1.1.117 from https://github.com/logicmoo/each_call_cleanup.gitWarning: "file_scope", provided by file_scope@1.1.117 from https://github.com/logicmoo/file_scope.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "must_trace", provided by must_trace@1.1.117 from https://github.com/logicmoo/must_trace.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "hook_hybrid", provided by hook_hybrid@1.1.117 from https://github.com/logicmoo/hook_hybrid.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "each_call_cleanup", provided by each_call_cleanup@1.1.117 from https://github.com/logicmoo/each_call_cleanup.gitWarning: "file_scope", provided by file_scope@1.1.117 from https://github.com/logicmoo/file_scope.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "must_trace", provided by must_trace@1.1.117 from https://github.com/logicmoo/must_trace.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "loop_check", provided by loop_check@1.1.117 from https://github.com/logicmoo/loop_check.gitWarning: "with_thread_local", provided by with_thread_local@1.1.117 from https://github.com/logicmoo/with_thread_local.gitWarning: "each_call_cleanup", provided by each_call_cleanup@1.1.117 from https://github.com/logicmoo/each_call_cleanup.gitWarning: "must_trace", provided by must_trace@1.1.117 from https://github.com/logicmoo/must_trace.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "subclause_expansion", provided by subclause_expansion@1.1.117 from https://github.com/logicmoo/subclause_expansion.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "loop_check", provided by loop_check@1.1.117 from https://github.com/logicmoo/loop_check.gitWarning: "with_thread_local", provided by with_thread_local@1.1.117 from https://github.com/logicmoo/with_thread_local.gitWarning: "each_call_cleanup", provided by each_call_cleanup@1.1.117 from https://github.com/logicmoo/each_call_cleanup.gitWarning: "must_trace", provided by must_trace@1.1.117 from https://github.com/logicmoo/must_trace.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "no_repeats", provided by no_repeats@1.1.117 from https://github.com/logicmoo/no_repeats.gitWarning: "s_expression", provided by s_expression@1.1.117 from https://github.com/logicmoo/s_expression.gitWarning: "with_open_options", provided by with_open_options@1.1.117 from https://github.com/logicmoo/with_open_options.gitWarning: "with_thread_local", provided by with_thread_local@1.1.117 from https://github.com/logicmoo/with_thread_local.gitWarning: "each_call_cleanup", provided by each_call_cleanup@1.1.117 from https://github.com/logicmoo/each_call_cleanup.gitWarning: "xlisting", provided by xlisting@1.1.117 from https://github.com/logicmoo/xlisting.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "prologmud", provided by prologmud@1.1.117 from https://github.com/logicmoo/prologmud.gitWarning: "s_expression", provided by s_expression@1.1.117 from https://github.com/logicmoo/s_expression.gitWarning: "with_open_options", provided by with_open_options@1.1.117 from https://github.com/logicmoo/with_open_options.gitWarning: "subclause_expansion", provided by subclause_expansion@1.1.117 from https://github.com/logicmoo/subclause_expansion.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "with_thread_local", provided by with_thread_local@1.1.117 from https://github.com/logicmoo/with_thread_local.gitWarning: "each_call_cleanup", provided by each_call_cleanup@1.1.117 from https://github.com/logicmoo/each_call_cleanup.gitWarning: "xlisting", provided by xlisting@1.1.117 from https://github.com/logicmoo/xlisting.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "xlisting_web", provided by xlisting_web@1.1.117 from https://github.com/logicmoo/xlisting_web.gitWarning: "xlisting", provided by xlisting@1.1.117 from https://github.com/logicmoo/xlisting.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "pfc", provided by pfc@1.1.117 from https://github.com/logicmoo/pfc.gitWarning: "each_call_cleanup", provided by each_call_cleanup@1.1.117 from https://github.com/logicmoo/each_call_cleanup.gitWarning: "file_scope", provided by file_scope@1.1.117 from https://github.com/logicmoo/file_scope.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "must_trace", provided by must_trace@1.1.117 from https://github.com/logicmoo/must_trace.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "hook_hybrid", provided by hook_hybrid@1.1.117 from https://github.com/logicmoo/hook_hybrid.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "each_call_cleanup", provided by each_call_cleanup@1.1.117 from https://github.com/logicmoo/each_call_cleanup.gitWarning: "file_scope", provided by file_scope@1.1.117 from https://github.com/logicmoo/file_scope.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "must_trace", provided by must_trace@1.1.117 from https://github.com/logicmoo/must_trace.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "loop_check", provided by loop_check@1.1.117 from https://github.com/logicmoo/loop_check.gitWarning: "with_thread_local", provided by with_thread_local@1.1.117 from https://github.com/logicmoo/with_thread_local.gitWarning: "each_call_cleanup", provided by each_call_cleanup@1.1.117 from https://github.com/logicmoo/each_call_cleanup.gitWarning: "must_trace", provided by must_trace@1.1.117 from https://github.com/logicmoo/must_trace.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "subclause_expansion", provided by subclause_expansion@1.1.117 from https://github.com/logicmoo/subclause_expansion.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "loop_check", provided by loop_check@1.1.117 from https://github.com/logicmoo/loop_check.gitWarning: "with_thread_local", provided by with_thread_local@1.1.117 from https://github.com/logicmoo/with_thread_local.gitWarning: "each_call_cleanup", provided by each_call_cleanup@1.1.117 from https://github.com/logicmoo/each_call_cleanup.gitWarning: "must_trace", provided by must_trace@1.1.117 from https://github.com/logicmoo/must_trace.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWarning: "logicmoo_utils", provided by logicmoo_utils@1.1.117 from https://github.com/logicmoo/logicmoo_utils.gitWarning: "no_repeats", provided by no_repeats@1.1.117 from https://github.com/logicmoo/no_repeats.gitWarning: "s_expression", provided by s_expression@1.1.117 from https://github.com/logicmoo/s_expression.gitWarning: "with_open_options", provided by with_open_options@1.1.117 from https://github.com/logicmoo/with_open_options.gitWarning: "with_thread_local", provided by with_thread_local@1.1.117 from https://github.com/logicmoo/with_thread_local.gitWarning: "each_call_cleanup", provided by each_call_cleanup@1.1.117 from https://github.com/logicmoo/each_call_cleanup.gitWarning: "xlisting", provided by xlisting@1.1.117 from https://github.com/logicmoo/xlisting.gitWarning: "clause_attvars", provided by clause_attvars@1.1.117 from https://github.com/logicmoo/clause_attvars.gitWarning: "dictoo", provided by dictoo@1.1.117 from https://github.com/logicmoo/dictoo.gitWarning: "gvar_syntax", provided by gvar_syntax@1.1.117 from https://github.com/logicmoo/gvar_syntax.gitWhat do you wish to do(1) * Install proposed dependencies(2) Only install requested package(3) CancelYour choice?% "prologmud.git" was downloaded 1 times% Cloning into '/home/testprologmud/lib/swipl/pack/logicmoo_base'...i logicmoo_base@1.1.117 - LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints% Cloning into '/home/testprologmud/lib/swipl/pack/clause_attvars'...i clause_attvars@1.1.117 - An alternate interface to the clause database to allow attributed variables to be asserted% Cloning into '/home/testprologmud/lib/swipl/pack/dictoo'...i dictoo@1.1.117 - Dict-like OO Syntax% Cloning into '/home/testprologmud/lib/swipl/pack/gvar_syntax'...i gvar_syntax@1.1.117 - Global Variable Syntax% Cloning into '/home/testprologmud/lib/swipl/pack/each_call_cleanup'...i each_call_cleanup@1.1.117 - Each Call Redo Setup and Cleanup% Updating index for library /home/testprologmud/lib/swipl/pack/each_call_cleanup/prolog/% Cloning into '/home/testprologmud/lib/swipl/pack/eggdrop'...i eggdrop@1.1.117 - Hook up to an existing IRC Client called an Eggdrop% Cloning into '/home/testprologmud/lib/swipl/pack/logicmoo_utils'...i logicmoo_utils@1.1.117 - Common predicates used by external Logicmoo Utils and Base% Updating index for library /home/testprologmud/lib/swipl/pack/logicmoo_utils/prolog/% Cloning into '/home/testprologmud/lib/swipl/pack/must_trace'...i must_trace@1.1.117 - Trace with your eyeballs instead of your fingers% Updating index for library /home/testprologmud/lib/swipl/pack/must_trace/prolog/% Cloning into '/home/testprologmud/lib/swipl/pack/predicate_streams'...i predicate_streams@1.1.117 - Implement your own Abstract Predicate Streams% Updating index for library /home/testprologmud/lib/swipl/pack/predicate_streams/prolog/% Cloning into '/home/testprologmud/lib/swipl/pack/file_scope'...i file_scope@1.1.117 - File local scoped efects% Updating index for library /home/testprologmud/lib/swipl/pack/file_scope/prolog/% Cloning into '/home/testprologmud/lib/swipl/pack/instant_prolog_docs'...i instant_prolog_docs@1.1.117 - Magically document prolog source files based on predicate and variable naming conventions% Updating index for library /home/testprologmud/lib/swipl/pack/instant_prolog_docs/prolog/% Cloning into '/home/testprologmud/lib/swipl/pack/loop_check'...i loop_check@1.1.117 - New simple loop checking% Updating index for library /home/testprologmud/lib/swipl/pack/loop_check/prolog/% Cloning into '/home/testprologmud/lib/swipl/pack/with_thread_local'...i with_thread_local@1.1.117 - Call a Goal with local assertions% Updating index for library /home/testprologmud/lib/swipl/pack/with_thread_local/prolog/% Cloning into '/home/testprologmud/lib/swipl/pack/multimodal_dcg'...i multimodal_dcg@1.1.117 - Reduce floundering of DCGs by constraining and narrowing search% Cloning into '/home/testprologmud/lib/swipl/pack/pfc'...i pfc@1.1.117 - Pfc -- a package for forward chaining in Prolog% Cloning into '/home/testprologmud/lib/swipl/pack/hook_hybrid'...i hook_hybrid@1.1.117 - Hook assert retract call of *specific* predicates% Updating index for library /home/testprologmud/lib/swipl/pack/hook_hybrid/prolog/% Cloning into '/home/testprologmud/lib/swipl/pack/subclause_expansion'...i subclause_expansion@1.1.117 - More detailed versions of term/goal expansion hooks% Cloning into '/home/testprologmud/lib/swipl/pack/no_repeats'...i no_repeats@1.1.117 - New ways to avoid duplicate solutions% Updating index for library /home/testprologmud/lib/swipl/pack/no_repeats/prolog/% Cloning into '/home/testprologmud/lib/swipl/pack/s_expression'...i s_expression@1.1.117 - Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF% Updating index for library /home/testprologmud/lib/swipl/pack/s_expression/prolog/% Cloning into '/home/testprologmud/lib/swipl/pack/with_open_options'...i with_open_options@1.1.117 - Utilities to open various objects for read/write% Updating index for library /home/testprologmud/lib/swipl/pack/with_open_options/prolog/% Cloning into '/home/testprologmud/lib/swipl/pack/xlisting'...i xlisting@1.1.117 - Selective Interactive Non-Deterministic Tracing% Updating index for library /home/testprologmud/lib/swipl/pack/xlisting/prolog/% Cloning into '/home/testprologmud/lib/swipl/pack/prologmud'...i prologmud@1.1.117 - Online text adventure game - MUD Server% Cloning into '/home/testprologmud/lib/swipl/pack/xlisting_web'...i xlisting_web@1.1.117 - Manipulate and browse prolog runtime over wwwPackage: prologmudTitle: Online text adventure game - MUD ServerInstalled version: 1.1.117Author: Douglas R. Miles <logicmoo@gmail.com>, Douglas Miles <http://www.linkedin.com/in/logicmoo>Maintainer: logicmoo <https://github.com/logicmoo></https:>Packager: logicmoo <https://github.com/logicmoo></https:>Home page: https://github.com/logicmoo/prologmud.gitDownload URL: https://github.com/logicmoo/prologmud/release/*.zipRequires: logicmoo_base, pfcActivate pack "prologmud" Y/n?true.?- pack_install(prologmud_samples).% Contacting server at http://www.swi-prolog.org/pack/query ... okInstall prologmud_samples@1.1.117 from GIT at https://github.com/logicmoo/prologmud_samples.git Y/n?% Cloning into '/home/testprologmud/lib/swipl/pack/prologmud_samples'...% Contacting server at http://www.swi-prolog.org/pack/query ... ok% "prologmud_samples.git" was downloaded 1 timesPackage: prologmud_samplesTitle: Online text adventure game - SampleInstalled version: 1.1.117Author: Douglas R. Miles <logicmoo@gmail.com>, Douglas Miles <http://www.linkedin.com/in/logicmoo>Maintainer: logicmoo <https://github.com/logicmoo></https:>Packager: logicmoo <https://github.com/logicmoo></https:>Home page: https://github.com/logicmoo/prologmud_samples.gitDownload URL: https://github.com/logicmoo/prologmud_samples/release/*.zipRequires: prologmudActivate pack "prologmud_samples" Y/n?true.?- pack_install(logtalk).% Contacting server at http://www.swi-prolog.org/pack/query ... okInstall logtalk@3.10.3 from http://logtalk.org/files/swi-prolog/packs/logtalk-3.10.3.tgz Y/n?% Contacting server at http://www.swi-prolog.org/pack/query ... ok% "logtalk-3.10.3.tgz" was downloaded 3 timesPackage: logtalkTitle: Logtalk - Object-Oriented Logic Programming LanguageInstalled version: 3.10.3Author: Paulo Moura <pmoura@logtalk.org>Maintainer: Paulo Moura <pmoura@logtalk.org>Packager: Paulo Moura <pmoura@logtalk.org>Home page: http://logtalk.org/Download URL: http://logtalk.org/files/swi-prolog/packs/logtalk-3.10.3.tgzInstall "logtalk-3.10.3.tgz" (4,134,728 bytes) Y/n?true.?- consult(library(prologmud_sample_games/run_mud_server)).