Startup

(base) root@gitlab:/opt/logicmoo_workspace/packs_sys/NomicMU# git commit -am "plain old install"
[master 024f25c] plain old install
 1 file changed, 1 insertion(+), 1 deletion(-)
(base) root@gitlab:/opt/logicmoo_workspace/packs_sys/NomicMU# git push
Enumerating objects: 11, done.
Counting objects: 100% (11/11), done.
Delta compression using up to 4 threads
Compressing objects: 100% (9/9), done.
Writing objects: 100% (9/9), 880 bytes | 880.00 KiB/s, done.
Total 9 (delta 6), reused 0 (delta 0)
remote: Resolving deltas: 100% (6/6), completed with 2 local objects.
To https://github.com/TeamSPoon/NomicMU
   29e0fa8..024f25c  master -> master
(base) root@gitlab:/opt/logicmoo_workspace/packs_sys/NomicMU# ./nomicmu_server.pl
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
% Pack `logicmoo_nlu' is already installed @1.3.111
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
% Pack `logicmoo_base' is already installed @1.3.111
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
% Pack `wam_common_lisp' is already installed @1.3.111
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
% Pack `pfc' is already installed @1.3.111
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
% Pack `dictoo' is already installed @1.3.111
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
% Pack `gvar_syntax' is already installed @1.3.111
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
% Pack `predicate_streams' is already installed @1.2.111
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
% Pack `body_reordering' is already installed @1.3.111
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
% Pack `instant_prolog_docs' is already installed @1.2.111
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
% Pack `multimodal_dcg' is already installed @1.2.111
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
% Pack `logicmoo_utils' is already installed @1.2.111
Installed packages (21):

i aleph@5                   - Aleph Inductive Logic Programming system
i body_reordering@1.3.111   - Clause expansion Utils for deciding which order to run Goals in a body
i dictoo@1.3.111            - Dict-like OO Syntax
i eggdrop@1.3.111           - Hook up to an existing IRC Client called an Eggdrop
i flux@1.1.118              - FLUX: A logic programming method for reasoning agents and ALPprologis a Prolog implementation of an action programming language. With ALPprolog you can program strategies for autonomous agents in dynamic domains like e.g. the Wumpus world.
i gvar_syntax@1.3.111       - Global Variable Syntax
i instant_prolog_docs@1.2.111 - Magically document prolog source files based on predicate and variable naming conventions
i logicmoo_base@1.3.111     - LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints
i logicmoo_nlu@1.3.111      - Various English to Logic Converters - warning: HUGE amount of lexical and test data
i logicmoo_utils@1.2.111    - Common predicates that are used throughout LogicMOO Software
i multimodal_dcg@1.2.111    - Reduce floundering of DCGs by constraining and narrowing search
i pfc@1.3.111               - Pfc -- a package for forward chaining in Prolog
i planner_api@1.1.118       - planner_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking PDDLish and OCLh
i predicate_streams@1.2.111 - Implement your own Abstract Predicate Streams
i programk@1.2.111          - AIML 2.0 - Because an AIML Interpreter/Chatbot needed to exist in Prolog to!
i prologmud@1.3.111         - Online text adventure game - MUD Server
i prologmud_samples@1.2.111 - Online text adventure game - Sample
i rdet@1.0.1                - Runtime determinacy checker
i tabling_dra@1.2.111       - SWI-Prolog interface to Table-handling procedures for the "dra" interpreter. Written by Feliks Kluzniak at UTD (March 2009)
i tauchain_prolog@1.2.111   - Tauchain implemented in Prolog - See IDNI.org Tauchain
i wam_common_lisp@1.3.111   - ANSI Common Lisp implemented in Prolog
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
% Pack `dictoo' is already installed @1.3.111
set_prolog_flag(argv,[--,'--nonet','--irc','--sumo','--planner'])
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_pldata.pl:20
% Loading loading language data (This may take 10-15 seconds)
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_pldata.pl:28
% def_parser_data(sm=parser_pldata, cm=user, m=clex_iface, clex_adj/3).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_pldata.pl:32
% not_exists_source(library(el_holds/el_assertions)).
Compiling Quickload tt0_00022_cycl.qlf (this may take 60-120 seconds the very first time) ...
% 661 inferences, 0.003 CPU in 8.234 seconds (0% CPU, 244711 Lips)
Made tt0_00022_cycl.qlf
Done with tt0_00022_cycl.
Compiling Quickload ac_xnl_7166.qlf (this may take 60-120 seconds the very first time) ...
% 434 inferences, 0.004 CPU in 91.994 seconds (0% CPU, 104189 Lips)
Made ac_xnl_7166.qlf
Done with ac_xnl_7166.
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/ext/pldata/ac_xnl_7166_nlkb.pl:45
% retain(acnl(verbSemTrans, xAssumeTheWord, '$BORKED_ARG', xTransitiveThatClauseFrame, or(surmises('SUBJECT', 'CLAUSE'), hypothesizes('SUBJECT', 'CLAUSE')), a773959('$BORKED_ARG'))).
% retain(acnl(verbSemTrans, xIndicateTheWord, '$BORKED_ARG', xTransitiveNPFrame, and(isa('ACTION', eventInformationTransferEvent), informationOrigin('ACTION', 'SUBJECT'), infoTransferred('ACTION', 'OBJECT')), a707787('$BORKED_ARG'))).
% retain(acnl(verbSemTrans, xIndicateTheWord, '$BORKED_ARG', xTransitiveThatClauseFrame, and(isa('ACTION', eventInformationTransferEvent), informationOrigin('ACTION', 'SUBJECT'), infoTransferred('ACTION', 'CLAUSE')), a707784('$BORKED_ARG'))).
% retain(acnl(verbSemTrans, xIndicateTheWord, '$BORKED_ARG', xTransitiveWhClauseFrame, and(isa('ACTION', eventInformationTransferEvent), informationOrigin('ACTION', 'SUBJECT'), infoTransferred('ACTION', 'CLAUSE')), a707786('$BORKED_ARG'))).
% retain(acnl(verbSemTrans, xInviteTheWord, '$BORKED_ARG', xTransitiveNPFrame, and(isa('ACTION', actInvitingCommunicationAct), senderOfInfo('ACTION', 'SUBJECT'), recipientOfInfo('ACTION', 'OBJECT')), a707798('$BORKED_ARG'))).
% retain(acnl(verbSemTrans, xRecognizeTheWord, '$BORKED_ARG', xTransitiveNPFrame, and(isa('ACTION', actIdentifying), performedBy('ACTION', 'SUBJECT'), identifiedThing('ACTION', 'SUBJECT')), a714754('$BORKED_ARG'))).
% retain(acnl(verbSemTrans, xSuggestTheWord, '$BORKED_ARG', xTransitiveNPFrame, and(isa('ACTION', eventInformationTransferEvent), informationOrigin('ACTION', 'SUBJECT'), infoTransferred('ACTION', 'OBJECT')), a707792('$BORKED_ARG'))).
% retain(acnl(verbSemTrans, xSuggestTheWord, '$BORKED_ARG', xTransitiveThatClauseFrame, and(isa('ACTION', eventInformationTransferEvent), informationOrigin('ACTION', 'SUBJECT'), infoTransferred('ACTION', 'CLAUSE')), a707789('$BORKED_ARG'))).
% retain(acnl(verbSemTrans, xSuggestTheWord, '$BORKED_ARG', xTransitiveWhClauseFrame, and(isa('ACTION', eventInformationTransferEvent), informationOrigin('ACTION', 'SUBJECT'), infoTransferred('ACTION', 'CLAUSE')), a707790('$BORKED_ARG'))).
% Including talk_db.nldata  talk_db/2=3   talk_db/3=7   talk_db/4=1   talk_db/5=1   talk_db/6=4
% correcting...  talk_db/2=32273   talk_db/3=61010   talk_db/4=106   talk_db/5=1   talk_db/6=14982
% Loaded  talk_db/2=32256   talk_db/3=61117   talk_db/4=4823   talk_db/5=1   talk_db/6=14980
Compiling Quickload wn_frames.qlf (this may take 60-120 seconds the very first time) ...
% 579 inferences, 0.032 CPU in 21.327 seconds (0% CPU, 18115 Lips)
Made wn_frames.qlf
Done with wn_frames.
% Unknown message: "WARNING: PFC_NOAUTOLOAD"
% Unknown message: "WARNING: NOT PFC_LEAN"
Installed packages (21):

i aleph@5                   - Aleph Inductive Logic Programming system
i body_reordering@1.3.111   - Clause expansion Utils for deciding which order to run Goals in a body
i dictoo@1.3.111            - Dict-like OO Syntax
i eggdrop@1.3.111           - Hook up to an existing IRC Client called an Eggdrop
i flux@1.1.118              - FLUX: A logic programming method for reasoning agents and ALPprologis a Prolog implementation of an action programming language. With ALPprolog you can program strategies for autonomous agents in dynamic domains like e.g. the Wumpus world.
i gvar_syntax@1.3.111       - Global Variable Syntax
i instant_prolog_docs@1.2.111 - Magically document prolog source files based on predicate and variable naming conventions
i logicmoo_base@1.3.111     - LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints
i logicmoo_nlu@1.3.111      - Various English to Logic Converters - warning: HUGE amount of lexical and test data
i logicmoo_utils@1.2.111    - Common predicates that are used throughout LogicMOO Software
i multimodal_dcg@1.2.111    - Reduce floundering of DCGs by constraining and narrowing search
i pfc@1.3.111               - Pfc -- a package for forward chaining in Prolog
i planner_api@1.1.118       - planner_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking PDDLish and OCLh
i predicate_streams@1.2.111 - Implement your own Abstract Predicate Streams
i programk@1.2.111          - AIML 2.0 - Because an AIML Interpreter/Chatbot needed to exist in Prolog to!
i prologmud@1.3.111         - Online text adventure game - MUD Server
i prologmud_samples@1.2.111 - Online text adventure game - Sample
i rdet@1.0.1                - Runtime determinacy checker
i tabling_dra@1.2.111       - SWI-Prolog interface to Table-handling procedures for the "dra" interpreter. Written by Feliks Kluzniak at UTD (March 2009)
i tauchain_prolog@1.2.111   - Tauchain implemented in Prolog - See IDNI.org Tauchain
i wam_common_lisp@1.3.111   - ANSI Common Lisp implemented in Prolog
% /opt/logicmoo_workspace/packs_sys/pfc/prolog/pfc_lib_2_0.pl:175
% SCAN AUTOLOADING PACKAGES...
% Updating index for library /opt/logicmoo_workspace/packs_sys/predicate_streams/prolog/
% Updating index for library /opt/logicmoo_workspace/packs_sys/logicmoo_utils/prolog/
% Updating index for library /opt/logicmoo_workspace/packs_sys/body_reordering/prolog/
% .. SCAN AUTOLOADING COMPLETE
% Updating index for library /usr/lib/swi-prolog/library/
% /opt/logicmoo_workspace/packs_sys/pfc/prolog/pfc_lib_2_0.pl:196
% created_library_index_for('/usr/lib/swi-prolog/library/').
% created_library_index_for('/root/lib/swipl/pack/predicate_streams/prolog/').
% created_library_index_for('/root/lib/swipl/pack/logicmoo_utils/prolog/').
% created_library_index_for('/root/lib/swipl/pack/body_reordering/prolog/').
% Updating index for library /usr/lib/swi-prolog/xpce/prolog/lib/
% created_library_index_for('/usr/lib/swi-prolog/xpce/prolog/lib/').
:- dynamic pfcSanityA/0.

pfcSanityA.

:- dynamic pfcSanityB/0.

pfcSanityB.

% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:69
% def_parser_data(sm=parser_chat80, cm=user, m=baseKB, installed_converter/1).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:71
% def_parser_data(sm=parser_chat80, cm=user, m=baseKB, transitive_subclass/2).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:72
% def_parser_data(sm=parser_chat80, cm=user, m=baseKB, tSet/1).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:73
% def_parser_data(sm=parser_chat80, cm=user, m=baseKB, ttFormatType/1).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:74
% def_parser_data(sm=parser_chat80, cm=user, m=baseKB, capitalized/5).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:76
% def_parser_data(sm=parser_chat80, cm=user, m=baseKB, mpred_arity/2).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:77
% def_parser_data(sm=parser_chat80, cm=user, m=baseKB, posName/1).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:80
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, longitude80/2).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:81
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, latitude80/2).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:137
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, contains0/2).
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, country/8).
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, city/3).
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, borders/2).
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, in_continent/2).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:138
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, contains/2).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:139
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, trans/9).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:140
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, det/7).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:141
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, sentence80/5).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:142
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, noun/6).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:150
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, chat80/1).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:151
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, chat80/2).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:152
% def_parser_data(sm=parser_chat80, cm=user, m=parser_chat80, chat80/3).


** Grammar from file /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/ext/chat80/clone.xg: (+):149 words .. time 326 **



** Grammar from file /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/ext/chat80/lex.xg: (+):228 words .. time 150 **

:- dynamic is_nl_pred/3.


city(C) :-
    city(C, _, _).

% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/ext/chat80/newdict.pl:427
% city/1=[interpreted, visible, static, file('/opt/logicmoo_workspace/packs_sys/logicmoo_nlu/ext/chat80/newdict.pl'), line_count(426), number_of_clauses(1), number_of_rules(1), last_modified_generation(3586011), defined].
:- dynamic is_nl_pred/3.

is_nl_pred(parser_chat80, city, 3).

:- dynamic city/3.
:- multifile city/3.
:- public city/3.
:- module_transparent city/3.

city(tehran, iran, 1010).

% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/ext/chat80/newdict.pl:431
% city/3=[interpreted, visible, exported, public, dynamic, multifile, transparent, file('/opt/logicmoo_workspace/packs_sys/logicmoo_nlu/ext/chat80/newdict.pl'), line_count(430), number_of_clauses(1), number_of_rules(0), last_modified_generation(3586065), defined].
:- dynamic is_nl_pred/3.

is_nl_pred(parser_chat80, trans_LF, 9).

:- dynamic trans_LF/9.
:- multifile trans_LF/9.
:- public trans_LF/9.
:- module_transparent trans_LF/9.

trans_LF(govern, feature&_, X, feature&place&country, Y, capital(Y, X), [], _, _).

% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/ext/chat80/newdict.pl:436
% trans_LF/9=[interpreted, visible, exported, public, dynamic, multifile, transparent, file('/opt/logicmoo_workspace/packs_sys/logicmoo_nlu/ext/chat80/newdict.pl'), line_count(434), number_of_clauses(1), number_of_rules(0), last_modified_generation(3586106), defined].
name_db([black, sea], black_sea).
name_db([upper, volta], upper_volta).
name_db([W1, W2], Name) :-
    reorder_if_var(W2,
                   atomic_list_concat([W1, '_', W2], Name),
                   name_template_db(Name, _)).
name_db([Name], Name) :-
    (   call(name_template_db(Name, _)),
        deterministic(yes)
    ->  !
    ;   true
    ).
name_db([A], A) :-
    t_l:useAltPOS,
    downcase_atom(A, B),
    loop_check_term(not(cw_db(B, C)),
                    info(not(cw_db(B, C)), 'newdict.pl':569),
                    fail).

% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl:390
% warn_undefined(show_missing_renames).
% on_f_log_fail(on_x_log_throw(if_defined(show_missing_renames))).
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:88
% SET TOPLEVEL OPTIONS
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:118
% SETUP KB EXTENSIONS
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:130
% PACK LOADER
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_packs.pl:21
% AUTOLOAD PACKAGES
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:137
% AUTOLOAD PACKAGES
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:177
% LOAD PARTS OF SYSTEM EARLY
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:201
% SETUP LOGICMOO OPERATORS
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:223
% SETUP PATHS FOR PROLOGMUD/LOGICMOO
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:236
% LOAD LOGICMOO UTILS
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:251
% LOGICMOO/CYC Alignment util
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_i_cyc_rewriting.pl:1904
% no need to makeRenames!?
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:269
% [Required] Load the Logicmoo Type System
% dot_cfg:using_dot_type(gvar_syntax,baseKB)
% dot_cfg:using_dot_type(core,baseKB)
:- dynamic pfcSanityA/0.
:- multifile pfcSanityA/0.
:- public pfcSanityA/0.
:- module_transparent pfcSanityA/0.

pfcSanityA.

:- dynamic pfcSanityB/0.
:- multifile pfcSanityB/0.
:- public pfcSanityB/0.
:- module_transparent pfcSanityB/0.

pfcSanityB.

% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_constraints.pfc.pl:118
% maplist(call, [iz(_6936, [weak1])]),
% do_but_warn(put_attr(_6936, iz, [weak1])).
% maplist(call, [iz(_10006, ["WeAK2"])]),
% do_but_warn(put_attr(_10006, iz, ["WeAK2"])).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

 No justifications for weak_test(weak1,"WeAK2").

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_constraints.pfc.pl:140
% maplist(call, [iz(_6532, ["Weac1"])]),
% do_but_warn(put_attr(_6532, iz, ["Weac1"])).
% maplist(call, [iz(_9590, ["Weac2"])]),
% do_but_warn(put_attr(_9590, iz, ["Weac2"])).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_constraints.pfc.pl:140

Justifications for weac_test("Weac1","Weac2"):

    1.1 mfl4(_,baseKB,/opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_constraints.pfc.pl,128)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_constraints.pfc.pl:141
% maplist(call, [iz(_20090, ["Weac1"])]),
% do_but_warn(put_attr(_20090, iz, ["Weac1"])).
% maplist(call, [iz(_23148, ["wEac2"])]),
% do_but_warn(put_attr(_23148, iz, ["wEac2"])).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

 No justifications for weac_test("Weac1","wEac2").

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_constraints.pfc.pl:142
% maplist(call, [iz(_13150, [weac1])]),
% do_but_warn(put_attr(_13150, iz, [weac1])).
% maplist(call, [iz(_16220, ["WeAC2"])]),
% do_but_warn(put_attr(_16220, iz, ["WeAC2"])).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

 No justifications for weac_test(weac1,"WeAC2").

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% 118,961,327 inferences, 25.050 CPU in 25.057 seconds (100% CPU, 4748997 Lips)
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:274
% [Mostly Required] Load the Logicmoo Plan Generator System
% The graphical front-end will be used for subsequent tracing

% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:279
% [Mostly Required] Load the Prolog LarKC System
:- dynamic exactlyAssertedEL_first/5.

exactlyAssertedEL_first(isa, xor, rtLogicalConnective, iUniversalVocabularyMt, vStrDef).
exactlyAssertedEL_first(isa, xor, iELRelationOneWay, iUniversalVocabularyMt, vStrDef).
exactlyAssertedEL_first(isa, xor, rtCommutativeRelation, iUniversalVocabularyMt, vStrDef).

% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_u_cyc_kb_tinykb.pl:645
% azzert_rename(implies, =>).
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo/plarkc/logicmoo_u_cyc_kb_tinykb.pl:721
% azzert_rename(equiv, <=>).
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:287
% [Mostly Required] logicmoo_clif
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:293
% SETUP CYC KB EXTENSIONS (TINYKB)
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:299
% SETUP CYC KB EXTENSIONS (FULLKB)
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:307
% [Required] Load the CYC Network Client and Logicmoo CycServer Emulator (currently server is disabled)
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:313
% [Optional] NOT YET Load the Logicmoo RDF/OWL Browser System
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:319
% [Debugging] Normarily this set as 'true' can interfere with debugging
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:330
% [Mostly Required] Load the Logicmoo Parser/Generator System
% /opt/logicmoo_workspace/packs_sys/logicmoo_base/prolog/logicmoo_lib.pl:340
% MAYBE QSAVE THIS
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/nl_pipeline.pl:46
% def_parser_data(sm=parser_all, cm=user, m=baseKB, installed_converter/2).
:-(op(400,yfx,/))
:-(op(600,xfy,:))
:-(op(500,fx,-))
:-(op(500,yfx,-))
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/nl_pipeline.pl:361
% parser_all_start.
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/nl_pipeline.pl:518
% Scanning el_assertions.pl for programatic definations (This may take 10-30 seconds)
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/nl_pipeline.pl:528
% Implementing programatic definations (This shoiuld take less than 2 seconds)
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/nl_pipeline.pl:570
% List of possible data transformations
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/nl_pipeline.pl:573
% installed_converter(parser_tokenize, into_acetext(+text80, -acetext)).
% installed_converter(parser_tokenize, into_text80(+input, -text80)).
% installed_converter(parser_tokenize, into_text80(+acetext, -text80)).
% installed_converter(system, my_aceparagraph_to_drs(+acetext, -sentences_set, -syntaxTrees, -unresolvedDrs, -drs0, -messages)).
% installed_converter(drs_fol_pnf, drs_pnf(+drs0, -fol)).
% installed_converter(drs_fol_pnf, drs_fol(+drs0, -pnf)).
% installed_converter(get_ape_results, fol_to_pkif(+pnf, -aceKif(p_kif))).
% installed_converter(get_ape_results, fol_to_pkif(+fol, -aceKif(f_kif))).
% installed_converter(get_ape_results, fol_to_pkif(+drs0, -aceKif(d_kif))).
% installed_converter(get_ape_results, fol_to_pkif(+sdrs, -aceKif(s_kif))).
% installed_converter(drs_to_ace, drs_to_ace(+drs0, -paraphrase_set)).
% installed_converter(drs_to_ace, drslist_to_ace(+drs_set, -paraphrase_set)).
% installed_converter(drs_to_drslist, drs_to_drslist(+drs0, -drs_set)).
% installed_converter(drs_to_sdrs, drs_to_sdrs(+drs, -sdrs)).
% installed_converter(parser_chat80, sent_to_parsed(+text80, -parsed80)).
% installed_converter(parser_chat80, i_sentence(+parsed80, -sent80)).
% installed_converter(parser_chat80, clausify80(+sent80, -clausify80)).
% installed_converter(parser_chat80, simplify80(+clausify80, -simplify80)).
% installed_converter(parser_chat80, qplan(+simplify80, -qplan80)).
% installed_converter(parser_chat80, results80(+qplan80, -results80)).
% installed_converter(parser_e2c, e2c_parse(+chat80, -lf_b)).
% installed_converter(parser_e2c, e2c_clausify(+lf_b, -clause_b)).
% installed_converter(parser_e2c, e2c_reply(+clause_b, -reply_b)).
% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/nl_pipeline.pl:581
% parser_all_complete.
:- dynamic baseKB:feature_test/0.
:- multifile baseKB:feature_test/0.
:- public baseKB:feature_test/0.
:- module_transparent baseKB:feature_test/0.

baseKB:feature_test :-
    chat80_tests.
baseKB:feature_test :-
    run_pipeline("what countries are there in europe ?").
baseKB:feature_test :-
    run_pipeline("What countries are there in europe ?").
baseKB:feature_test :-
    run_pipeline("What countries are there in north_america ?").
baseKB:feature_test :-
    run_pipeline("What countries are there in north america ?").

:- dynamic baseKB:feature_test/1.
:- multifile baseKB:feature_test/1.
:- public baseKB:feature_test/1.
:- module_transparent baseKB:feature_test/1.

baseKB:feature_test(nlu_riddle) :-
    parser_e2c:riddle.
baseKB:feature_test(must_test_80) :-
    parser_all:forall(must_test_80(U, R, O),  (ignore(\+ \+process_run_diff(report, U, R, O)), ignore(\+ \+ (run_pipeline([input=U], [results80=_], OL), show_kvs(OL))))).

:- dynamic baseKB:sanity_test/0.
:- multifile baseKB:sanity_test/0.
:- public baseKB:sanity_test/0.
:- module_transparent baseKB:sanity_test/0.

baseKB:sanity_test :-
    parser_e2c:t33.
baseKB:sanity_test :-
    parser_chat80:test_chat80_sanity.
baseKB:sanity_test :-
    common_logic_sanity:kif_test(all(R, =>(room(R), exists(D, door(D)&has(R, D))))).
baseKB:sanity_test :-
    common_logic_sanity:
    (   kif_to_boxlog(not((a, b, c, d)), A),
        !,
        disjuncts_to_list(A, B),
        list_to_set(B, C),
        \+ ( member(D, C),
             \+ writeln(D)
           ),
        !
    ).
baseKB:sanity_test :-
    parser_all:
    (   run_pipeline(input='A person who loves all animals is loved by someone.',
                     [aceKif(p)=_],
                     O),
        show_kvs(O)
    ).
baseKB:sanity_test :-
    parser_all:
    (   run_pipeline(input='All persons are happy.',
                     [aceKif(p)=_],
                     O),
        wdmsg(O)
    ).

:- dynamic baseKB:sanity_test/1.
:- multifile baseKB:sanity_test/1.
:- public baseKB:sanity_test/1.
:- module_transparent baseKB:sanity_test/1.


:- dynamic baseKB:regression_test/1.
:- multifile baseKB:regression_test/1.
:- public baseKB:regression_test/1.
:- module_transparent baseKB:regression_test/1.


:- dynamic chat80/3.
:- multifile chat80/3.
:- public chat80/3.
:- module_transparent chat80/3.

chat80(A, B, C) :-
    awc,
    ground(A),
    !,
    chat80(A, B),
    ignore(( nonvar(C),
             dmsg(traitsShouldBe(C))
           )).
chat80(X, Ans, notraits) :-
    var(X),
    (   chat80(X, Ans)
    ;   chat80(X)
    ).
chat80("How many countries have a population greater than 10 million?", 50, borked).
chat80("What are the continents containing a country in which contains more than 3 cities?", [america, asia, europe], slow).

:- dynamic chat80/1.
:- multifile chat80/1.
:- public chat80/1.
:- module_transparent chat80/1.

chat80(A) :-
    awc,
    ground(A),
    !,
    (   is_trait(A)
    ->  with_traits(A)
    ;   test_chat80(A)
    ).
chat80(A) :-
    var(A),
    must_test_80(B, _, _),
    (   into_acetext(B, C),
        any_to_string(C, A)
    ->  true
    ).
chat80(A) :-
    var(A),
    clause(chat80([B|C]), true),
    (   into_acetext([B|C], D),
        any_to_string(D, A)
    ->  true
    ).
chat80(X) :-
    var(X),
    clause(chat80(X, _, _), true).
chat80(X) :-
    var(X),
    clause(chat80(X, _), true).
chat80("Which countries have a population exceeding 10 million?").
chat80("Which countries contain a city?").
chat80("Which countries contain 2 cities?").
chat80("Which countries contain 3 cities?").
chat80("Which countries contain more than 3 cities?").
chat80("Which countries contain more than 2 cities?").
chat80("Which continents contain more than 4 cities?").
chat80("Which asian countries have a population exceeding 10 million?").
chat80("What is the average area of the countries in each continent?").
chat80("What is a river?").
chat80("What is a river that is in asia?").
chat80("Which rivers are not in asia?").
chat80("What is a river that is not happy?").
chat80("does afghanistan border china?").
chat80("what is the capital of upper_volta?").
chat80("where is the largest country?").
chat80("which countries are european?").
chat80("which country's capital is london?").
chat80("which is the largest african country?").
chat80("how large is the smallest american country?").
chat80("what is the ocean that borders african countries and that borders asian countries?").
chat80("what are the capitals of the countries bordering the baltic?").
chat80("how many countries does the danube flow through?").
chat80("what is the total area of countries south of the equator and not in australasia?").
chat80("what is the average area of the countries in each continent?").
chat80("is there more than one country in each continent?").
chat80("is there some ocean that does not border any country? ").
chat80("what are the countries from which a river flows into the black_sea?").
chat80("what are the continents no country in which contains more than two cities whose population exceeds 1 million? ").
chat80("which country bordering the mediterranean borders a country that is bordered by a country whose population exceeds the population of india?").
chat80("which countries have a population exceeding 10 million?").
chat80("which countries with a population exceeding 10 million border the atlantic?").
chat80("what percentage of countries border each ocean?").
chat80("what countries are there in europe?").
chat80([which, is, the, largest, african, country, ?]).

:- dynamic chat80/2.
:- multifile chat80/2.
:- public chat80/2.
:- module_transparent chat80/2.

chat80(A, B) :-
    awc,
    ground(A),
    !,
    chat80(A),
    ignore(( nonvar(B),
             dmsg(answersShouldBe(B))
           )).
chat80(A, B) :-
    var(A),
    must_test_80(D, C, _),
    (   member(answers(B), C),
        into_acetext(D, E),
        any_to_string(E, A)
    ->  true
    ).
chat80("which countries are bordered by two seas?", [[egypt, iran, israel, saudi_arabia, turkey]]).
chat80("How many rivers are not in asia?", 25).
chat80("How many rivers are in asia?", 16).
chat80("How many asian countries have a population exceeding 10 million?", 20).
chat80("How many countries have a population exceeding 10 million?", 50).
chat80("What are the continents in which no country contains more than 3 cities?", [africa, antarctica, australasia, europe]).
chat80("What are the continents not containing a country?", [antarctica]).
chat80("What are the continents no country in which contains more than two cities whose population exceeds 1 million ?", [africa, antarctica, australasia]).
chat80("What are the continents in which no country contains more than two cities whose population exceeds 1 million?", [africa, antarctica, australasia]).
chat80("What are the continents containing a country in which contains more than two cities whose population exceeds 1 million?", [america, asia, europe]).

:- module_transparent test_e2c/1.

test_e2c(String) :-
    string(String),
    !,
    run_e2c_test(String, [requested]).
test_e2c(C) :-
    \+ ( test_e2c(A, B),
         is_testing_e2c(A, B, C),
         \+ ( flatten([B, C], D),
              run_e2c_test(A, D)
            )
       ).

:- dynamic test_e2c/2.
:- multifile test_e2c/2.
:- module_transparent test_e2c/2.

test_e2c("His friends are liked by hers.", [bad_juju, sanity]).
test_e2c("Her friends are not liked by his.", [bad_juju, sanity]).
test_e2c("Do their friends like each other?", [bad_juju, feature]).
test_e2c("If ?X is rearing ?Y then ?X has ?Y.", [riddle(_), sanity]).
test_e2c("If ?X keeps ?Y then ?X has ?Y.", [riddle(_), sanity]).
test_e2c("There are 5 houses with five different colors.", [riddle(_), sanity]).
test_e2c("There are 5 houses", [riddle_prep, sanity]).
test_e2c("Each house has a different color", [riddle_prep, sanity]).
test_e2c("In each house lives a person with a different nationality.", [riddle(_), sanity]).
test_e2c("These five owners drink a certain type of beverage, smoke a certain brand of cigar and keep a certain pet.", [riddle(3), sanity]).
test_e2c("These five owners each drink a certain type of beverage.", [riddle(1), sanity]).
test_e2c("These five owners each smoke a certain brand of cigar.", [riddle(1), regression]).
test_e2c("These five owners each keep a certain pet.", [riddle(1), sanity, regression]).
test_e2c("No owners have the same pet, smoke the same brand of cigar or drink the same beverage.", [riddle(3), sanity]).
test_e2c("No owners have the same pet.", [riddle(1), sanity, regression]).
test_e2c("No owners smoke the same brand of cigar", [riddle(1), sanity, regression]).
test_e2c("No two owners drink the same kind of beverage.", [riddle(1), sanity]).
test_e2c("No two owners have the same pet.", [riddle(1), sanity, regression]).
test_e2c("The brit lives in the red house.", [riddle(_), sanity]).
test_e2c("The swede keeps dogs as pets.", [riddle(_), sanity]).
test_e2c("A dane drinks tea.", [riddle(_), sanity]).
test_e2c("The green house is on the left of the white house.", [riddle(_), sanity]).
test_e2c("The green house's owner drinks coffee.", [riddle(_), sanity]).
test_e2c("The person who smokes Pall Mall rears birds.", [riddle(_), sanity, regression]).
test_e2c("The owner of the yellow house smokes Dunhill.", [riddle(_), sanity]).
test_e2c("The man living in the center house drinks milk.", [riddle(_), sanity]).
test_e2c("The Norwegian lives in the first house .", [riddle(_), sanity]).
test_e2c("The man who smokes Blends lives next to the one who keeps cats   .", [riddle(_), sanity]).
test_e2c("The man who keeps horses lives next to the man who smokes Dunhill.", [riddle(_), sanity]).
test_e2c("The owner who smokes BlueMaster drinks beer.", [riddle(_), sanity]).
test_e2c("The German smokes Prince.", [riddle(_), sanity]).
test_e2c("The Norwegian lives next to the blue house.", [riddle(_), sanity]).
test_e2c("The man who smokes Blends has a neighbor who drinks water.", [riddle(_), sanity]).
test_e2c("Who owns the fish?", [riddle(_), sanity]).
test_e2c("The man who smokes Blends has a neighbor who drinks water.", [sanity]).
test_e2c("no two owners eat pizza", [sanity]).
test_e2c("no three owners eat pizza", [sanity]).
test_e2c("no owners eat the same pizza", [sanity]).
test_e2c("there are 5 houses", [sanity]).
test_e2c("there are not 5 houses", [sanity]).
test_e2c("there are not zero houses", [sanity]).
test_e2c("terry writes a non-program.", [tell]).
test_e2c("every nonhuman programmer writes a program.", [tell]).
test_e2c("every human programmer writes a not a program.", [tell]).
test_e2c("every human programmer happily writes a not a program.", [tell]).

% Thread Status       Time    Stack use    allocated
% --------------------------------------------------
%   main running    84.134      118,520    1,029,984
%     gc running     0.275        1,448      112,480
%    pce running     0.371       25,832      309,088
%         lists:(append/3): Not tracing
%         lists:(list_to_set/2): Not tracing
%         lists:(member_/3): Not tracing
% Subsequent tracing uses the commandline tracer
:- dynamic istate/1.

istate([type_props(broken_videocam, [can(switch, f), powered=f, inherit(videocamera, t)]), type_props(videocamera, [inherit(memorize, t), inherit(perceptq, t), inherit(memorize_perceptq, t), can(switch, t), effect(switch(on), setprop($self, powered=t)), effect(switch(off), setprop($self, powered=f)), powered=t, has_sense(see), breaks_into=broken_videocam]), type_props(wrench, [inherit(shiny, t)]), type_props(table, [inherit(surface, t), adjs(physical), default_rel=on]), type_props(shelf, [inherit(surface, t), adjs(physical), inherit(furnature, t)]), type_props(surface, [has_rel(on, t), default_rel=on, adjs(physical), cleanliness=clean]), type_props(broken_lamp, [name='dented brass lamp', nouns(light), nominals(brass), adjs(dented), can(switch, t), effect(switch(on), true), effect(switch(off), true)]), type_props(lamp, [name='shiny brass lamp', powered=t, can(switch, t), nouns(light), nominals(brass), inherit(shiny, t), inherit(object, t), emitting(see, light), effect(switch(on), setprop($self, emitting(see, light))), effect(switch(off), delprop($self, emitting(see, light))), breaks_into=broken_lamp]), type_props(flour, [inherit(food, t), inherit(measurable, t)]), type_props(coins, [inherit(shiny, t), inherit(measurable, t)]), type_props(shiny, [adjs($class), inherit(object, t), inherit(fully_corporial, t)]), type_props(measurable, [adjs($class), ammount=some]), type_props(fountain, [volume_capacity=150, inherit(place, t), inherit(sink, t)]), type_props(cabinate, [inherit(container, t), inherit(furnature, t), volume_capacity=10]), type_props(uncloseable, [opened=t, can(close, f), can(open, f), inherit(container, t)]), type_props(sink, [cleanliness=dirty, inherit(uncloseable, t), inherit(flask, t), inherit(furnature, t), volume_capacity=5]), type_props(paper, [can(burn, t)]), type_props(cardboard, [inherit(paper, t)]), type_props(metal, [can(burn, f)]), type_props(wooden, [breaks_into=splinters, can(burn, t)]), type_props(locker, [inherit(container, t), inherit(object, t), volume_capacity=13, inherit(metal, t), opened=f]), type_props(crate, [inherit(container, t), inherit(object, t), volume_capacity=13, inherit(wooden, t), opened=t]), type_props(box, [opened=f, volume_capacity=11, inherit(container, t), inherit(object, t), inherit(cardboard, t)]), type_props(fireplace, [has_rel(on, f), has_rel(over, t), inherit(uncloseable, t), volume_capacity=20, inherit(furnature, t)]), type_props(plate, [inherit(surface, t), inherit(object, t), volume_capacity=2, breaks_into=shards, cleanliness=dirty, name= $class]), type_props(bowl, [inherit(uncloseable, t), inherit(flask, t), volume_capacity=2, breaks_into=shards, cleanliness=dirty, name='porcelain bowl', desc='This is a modest glass cooking bowl with a yellow flower motif glazed into the outside surface.']), type_props(flask, [adjs(physical), inherit(container, t), inherit(object, t)]), type_props(cup, [inherit(flask, t)]), type_props(bag, [volume_capacity=10, inherit(container, t), inherit(object, t)]), type_props(container, [default_rel=in, opened=f, can(open, t), has_rel(in, t)]), type_props(place, [volume_capacity=10000, default_rel=in, has_rel(in, t), nouns([here]), nouns($self), adjs(locally), can(move, f), can(take, f), has_rel(exit(_), t)]), type_props(natural_force, [knows_verbs(eat, f), can(touch, f), has_rel(held_by, f), has_rel(worn_by, f), has_sense(see), inherit(no_perceptq, t), inherit(noncorporial, t), inherit(actor, t)]), type_props(robot, [knows_verbs(eat, f), inherit(autonomous, t), emitting(see, light), volume=50, mass=200, nouns([robot]), adjs([metallic]), desc='Your classic robot: metallic with glowing red eyes, enthusiastic but not very clever.', can(switch, t), inherit(memorize, t), nouns($class), inherit(shiny, t), inherit(character, t), powered=t, effect(switch(on), setprop($self, powered=t)), effect(switch(off), setprop($self, powered=f))]), type_props(actor, [knows_verbs(examine, t), inherit(partly_noncorporial, t)]), type_props(character, [has_rel(worn_by, t), has_rel(held_by, t), model_depth=3, mass=50, volume=50, has_sense(see), inherit(no_perceptq, t), inherit(memorize, t), inherit(actor, t), inherit(autoscan, t), inherit(partly_noncorporial, t)]), type_props(autonomous, [inherit(autoscan, t)]), type_props(humanoid, [knows_verbs(eat, t), volume=50, mass=50, inherit(character, t), inherit(memorize, t), can(switch(off), f), powered=t]), type_props(console, [adjs(physical), nominals([console]), nouns([player])]), type_props(player, [name= $self, model_depth=3, inherit(autoscan, t), look_depth=2, user_mode=2, access_level=admin, inherit(console, t), inherit(humanoid, t)]), type_props(telnet, [adjs(remote), inherit(player, t), nouns([player])]), props(floyd, [name='Floyd the robot', powered=f, inherit(autonomous, t), inherit(robot, t)]), type_props(furnature, [can(examine, t), inherit(untakeable, t), inherit(fully_corporial, t), inherit(surface, t), inherit(thinkable, t), adjs(physical), class_desc(['kind is furnature'])]), type_props(untakeable, [adjs($class), can(take, f), class_desc(['kind is an Immobile Object'])]), type_props(object, [can(examine, t), adjs(physical), can(move, t), inherit(fully_corporial, t), inherit(thinkable, t), class_desc(['kind is an Movable Object'])]), type_props(fully_corporial, [can(touch, t), can(examine, t), inherit(thinkable, t), cleanliness=clean, adjs($class), class_desc(['kind is corporial'])]), type_props(partly_noncorporial, [inherit(fully_corporial, t), adjs($class), inherit(noncorporial, t), class_desc(['kind is both partly corporial and non-corporial'])]), type_props(only_conceptual, [adjs($class), inherit(noncorporial, t), inherit(thinkable, t), class_desc(['kind is only conceptual'])]), type_props(noncorporial, [can(examine)=f, can(touch, f), inherit(thinkable, t), adjs($class), inherit(fully_corporial, f), class_desc(['direct inheriters are completely noncorporial'])]), type_props(thinkable, [can(examine, t), nouns($self), adjs($class), class_desc(['kind is normally thinkable'])]), type_props(unthinkable, [can(examine, f), adjs($class), class_desc(['kind is normally unthinkable'])]), type_props(door, [can(take, f), can(open, t), can(close, t), opened=f, nouns($class), inherit(fully_corporial, t), can(take, f), can(open, t), can(close, t), opened=f, nouns(door), inherit(fully_corporial, t)]), type_props(mushroom, [name='speckled mushroom', inherit(food, t), nouns(eachOf([mushroom, fungus, toadstool])), adjs([speckled]), initial('A speckled mushroom grows out of the sodden earth, on a long stalk.'), desc='The mushroom is capped with blotches, and you aren\'t at all sure it\'s not a toadstool.', can(eat, t), before(eat,  (random100=<30, die('It was poisoned!');'yuck!')), after(take,  (initial, 'You pick the mushroom, neatly cleaving its thin stalk.'))]), type_props(broken, [name='definately broken', effect(switch(on), true), effect(switch(off), true), can(switch, t), adjs([dented]), adjs($class)]), props(screendoor, [door_to(kitchen), door_to(garden), opened=f, inherit(door, t)]), props(brklamp, [inherit(broken, t), name='possibly broken lamp', effect(switch(on), print_(_, "Switch is flipped")), effect(hit, [print_("Hit brklamp"), setprop($self, inherit(broken))]), inherit(lamp, t)]), props(pantry, [volume_capacity=1000, nouns(closet), nominals(kitchen), desc='You\'re in a dark kitchen pantry.', dark=t, inherit(place, t)]), props(living_room, [inherit(place, t)]), h(in, the(cup), the(cabinate)), h(in, the(cabinate), kitchen), h(in, the(plate), the(sink)), h(in, the(sink), kitchen), h(on, the(lamp), the(table)), h(in, the(table), kitchen), h(in, the(flour), the(bowl)), h(in, the(bowl), the(box)), h(on, the(box), the(table)), h(reverse(on), the(table), the(table_leg)), props(kitchen, [inherit(place, t), desc='cooking happens here']), props(garden, [inherit(place, t), cant_go($agent, up, 'You lack the ability to fly.'), cant_go($agent, _, 'The fence surrounding the garden is too tall and solid to pass.')]), props(dining_room, [inherit(place, t)]), props(basement, [inherit(place, t), desc='This is a very dark basement.', dark=t]), type_props(food, [can(eat, t), inherit(object, t), inherit(measurable, t)]), h(in, brklamp, garden), h(in, screendoor, garden), h(in, the(apple), the(crate)), h(in, the(crate), kitchen), h(in, screendoor, kitchen), h(in, the(fireplace), living_room), h(in, the(videocamera), living_room), h(in, the(shovel), basement), h(in, the(mushroom), garden), h(in, the(fountain), garden), h(in, a(rock), garden), h(in, the(rock), garden), h(in, the(locker), pantry), h(in, the(shelf), pantry), h(exit(west), kitchen, living_room), h(exit(south), living_room, kitchen), h(exit(east), living_room, dining_room), h(exit(north), dining_room, living_room), h(exit(west), dining_room, kitchen), h(exit(east), kitchen, dining_room), h(exit(north), garden, kitchen), h(exit(south), kitchen, garden), h(exit(up), basement, pantry), h(exit(down), pantry, basement), h(exit(north), kitchen, pantry), h(exit(south), pantry, kitchen), h(held_by, the(wrench), floyd), h(in, the(coins), the(bag)), h(held_by, the(bag), the(player)), h(worn_by, the(watch), the(player)), h(in, the(player), kitchen), h(in, floyd, pantry), structure_label(istate)]).


You may start the server with:

 ?- mu:srv_mu(PortNum).


Or serve default port 4004:

 ?- mu:srv_mu.


For single-threaded debugging/devel
or to run as single player use:

 ?- mu:run_mu.


% /opt/logicmoo_workspace/packs_sys/logicmoo_nlu/ext/pldata/talk_db.nldata:109825
% init_why(after('/opt/logicmoo_workspace/packs_sys/NomicMU/nomicmu_server.pl')).
% start_x_ide.
% after_boot.
% Dont forget to ?- logicmoo_i_cyc_xform.
% init_why(after('/opt/logicmoo_workspace/packs_sys/NomicMU/nomicmu_server.pl')).
% init_why(program).

You may start the server with:

 ?- mu:srv_mu(PortNum).


Or serve default port 4004:

 ?- mu:srv_mu.


For single-threaded debugging/devel
or to run as single player use:

 ?- mu:run_mu.



% adv_server(4004)

Server is starting on port 4004
%  Thread Status       Time    Stack use    allocated
% ---------------------------------------------------
%    main running    87.858      938,680    1,816,416
%      gc running     0.301          744      112,480
%     pce running     0.377       25,832      309,088
% mu_4004 running     0.000            0            0

% 'ORDERING TEST:~n'
%  unordered was [before(start,finish),before(start,x),before(start,y),before(y,finish),before(x,z),before(z,finish)]

%  ordering is [before(z,finish),before(x,finish),before(x,z),before(start,z),before(y,finish),before(start,y),before(start,x),before(start,finish)]

% ' END ORDERING TEST~n'
% create_1obj('~1', [type_props(broken_videocam, [can(switch, f), powered=f, inherit(videocamera, t)]), type_props(videocamera, [inherit(memorize, t), inherit(perceptq, t), inherit(memorize_perceptq, t), can(switch, t), effect(switch(on), setprop($self, powered=t)), effect(switch(off), setprop($self, powered=f)), powered=t, has_sense(see), breaks_into=broken_videocam]), type_props(wrench, [inherit(shiny, t)]), ...(_8738)], the(cup), _8710).
% create_1obj('~1', [type_props(broken_videocam, [can(switch, f), powered=f, inherit(videocamera, t)]), type_props(videocamera, [inherit(memorize, t), inherit(perceptq, t), inherit(memorize_perceptq, t), can(switch, t), effect(switch(on), setprop($self, powered=t)), effect(switch(off), setprop($self, powered=f)), powered=t, has_sense(see), breaks_into=broken_videocam]), type_props(wrench, [inherit(shiny, t)]), ...(_14550)], the(cabinate), _14522).
% create_1obj('~1', [type_props(broken_videocam, [can(switch, f), powered=f, inherit(videocamera, t)]), type_props(videocamera, [inherit(memorize, t), inherit(perceptq, t), inherit(memorize_perceptq, t), can(switch, t),

.... <SNIP> ................
.... <SNIP> ................
.... <SNIP> ................


 h(exit(east),living_room,dining_room),
  h(exit(north),dining_room,living_room),
  h(exit(west),dining_room,kitchen),
  h(exit(east),kitchen,dining_room),
  h(exit(north),garden,kitchen),
  h(exit(south),kitchen,garden),
  h(exit(up),basement,pantry),
  h(exit(down),pantry,basement),
  h(exit(north),kitchen,pantry),
  h(exit(south),pantry,kitchen),
  h(in,floyd,pantry),
  structure_label(istate)
]
=============================================
Welcome to Marty's Prolog Adventure Prototype
=============================================

% player~1 @ kitchen: already about todo: look(player~1)

% aXiom( look('player~1'))

Player~1 sees in kitchen

(...verbose...: player sees the kitchen is large, has an interior, can have exits and "cooking happens here". )
Player~1 sees in kitchen: crate, table, sink, cabinate and screendoor.
Exits in kitchen are: west, east, south and north.


(...verbose...: player sees the crate ( Opened: f ) and has an interior. )
(...verbose...: crate is closed from seeing In )

(...verbose...: player sees the table has a surface. )
Player~1 see on table: box and lamp.

(...verbose...: player sees the sink opened, has an interior and has a surface. )
Player~1 see in sink: plate.
(...verbose...: nothing on sink )

(...verbose...: player sees the cabinate ( Opened: f ), has an interior and has a surface. )
(...verbose...: cabinate is closed from seeing In )
(...verbose...: nothing on cabinate )

(...verbose...: player sees the screendoor ( Opened: f ). )


(...verbose...: box is closed from seeing In )




Player~1 see on plate: <nothing>
player~1@spatial>