1:- module(logicmoo_repl,[]). 6:- set_module(class(system)). 7:- '$set_source_module'(baseKB). 8:- set_module(baseKB:class(development)). 9:- ensure_loaded(library(xlisting)). 10:- ensure_loaded(library(xlisting_web)). 11:- ensure_loaded(library(logicmoo_lib)). 12
16
17logicmoo_web_s:- whenever_flag_permits(load_network,load_library_system(library(logicmoo_webbot))).
18
19logicmoo_web :- whenever_flag_permits(load_network,with_no_mpred_expansions(user:ensure_loaded(logicmoo_webbot))).
20
21:- set_prolog_flag(access_level,system). 22
23:- set_prolog_flag(toplevel_print_anon,true). 26
27:- if(\+ current_module(baseKB)). 28:- set_prolog_flag(logicmoo_qsave,true). 29:- else. 30:- set_prolog_flag(logicmoo_qsave,false). 31:- endif. 32
33
34
37
38
42
43:- baseKB:ensure_loaded(library(pfc_lib)). 44
45init_mud_server:- ensure_loaded(library(prologmud_sample_games/run_mud_server)).
46
47run_mud_server:- consult(library(prologmud_sample_games/run_mud_server)).
48
49
53
55:- if(exists_source(library(xlisting_web))). 56:- user:ensure_loaded(library(xlisting_web)). 57:- endif. 58
59:- before_boot(add_history_ideas). 60
63
64:- set_prolog_flag(do_renames,restore). 65:- use_module(library(gvar_syntax)). 66:- user:use_module(library(dif)). 67
68:- baseKB:import(dif:dif/2). 69:- baseKB:export(dif:dif/2). 70:- catch(quietly(nodebugx(if_file_exists(baseKB:use_module(library(prolog_predicate))))),E,dmsg(E)). 71
79
86
88
89
94
98:- set_prolog_flag(do_renames,restore). 99:- baseKB:ensure_loaded(library(pfc_lib)). 100:- set_prolog_flag(do_renames,restore). 101
103
104:- load_library_system(logicmoo_lib). 105
106
110decl_kb_shared_tests:-
111 112 kb_global(baseKB:sanity_test/0),
113 kb_global(baseKB:regression_test/0),
114 kb_global(baseKB:feature_test/0),
115 kb_global(baseKB:(
116 baseKB:feature_test/0,
117 baseKB:mud_test/2,
118 baseKB:regression_test/0,
119 baseKB:sanity_test/0,
120 baseKB:agent_call_command/2,
121 action_info/2,
122 type_action_info/3)).
123
124:- decl_kb_shared_tests. 125
126
130system:iRR7_test:-
131 baseKB:(
132 ain(isa(iRR7,tRR)),
133 ain(genls(tRR,tRRP)),
134 (\+ tRRP(iRR7) -> (xlisting(iRR7),xlisting(tRRP)) ; true),
135 must( isa(iRR7,tRR) ),
136 must( isa(iRR7,tRRP) ),
137 must( tRRP(iRR7) )).
138
140
141:- test_runtime_boot(iRR7_test). 142
143
147
148:- if(exists_source(library(wam_cl/sreader))). 149:- system:use_module(library(wam_cl/sreader)). 150:- endif. 151
152show_kif(Str):- sanity(must(input_to_forms_debug(Str,sumo_to_pdkb))).
153:- export(show_kif/1). 154
155:- add_history((input_to_forms("
156(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM1 ?ITEM2)
157 (=> (and (inList ?ITEM1 (ListFn @ROW)) (inList ?ITEM2 (ListFn @ROW)) (not (equal ?ITEM1 ?ITEM2)))
158 (disjoint ?ITEM1 ?ITEM2))))"
159 ,O,Vs),!,wdmsg(O+Vs))). 160
166:- show_kif("(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM1 ?ITEM2) (=> (and (inList ?ITEM1 (ListFn @ROW)) (inList ?ITEM2 (ListFn @ROW)) (not (equal ?ITEM1 ?ITEM2))) (disjoint ?ITEM1 ?ITEM2))))"). 167:- show_kif("(=> (isa ?NUMBER ImaginaryNumber) (exists (?REAL) (and (isa ?REAL RealNumber) (equal ?NUMBER (MultiplicationFn ?REAL (SquareRootFn -1))))))"). 168:- show_kif("(=> (isa ?PROCESS DualObjectProcess) (exists (?OBJ1 ?OBJ2) (and (patient ?PROCESS ?OBJ1) (patient ?PROCESS ?OBJ2) (not (equal ?OBJ1 ?OBJ2)))))"). 169:- show_kif("(=> (contraryAttribute @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (isa ?ELEMENT Attribute)))"). 170:- show_kif("(=> (and (contraryAttribute @ROW1) (identicalListItems (ListFn @ROW1) (ListFn @ROW2))) (contraryAttribute @ROW2))"). 171:- show_kif("(=> (contraryAttribute @ROW) (forall (?ATTR1 ?ATTR2) (=> (and (equal ?ATTR1 (ListOrderFn (ListFn @ROW) ?NUMBER1)) (equal ?ATTR2 (ListOrderFn (ListFn @ROW) ?NUMBER2)) (not (equal ?NUMBER1 ?NUMBER2))) (=> (property ?OBJ ?ATTR1) (not (property ?OBJ ?ATTR2))))))"). 172:- show_kif("(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (DivisionFn (SubtractionFn ?NUMBER 32) 1.8) FahrenheitDegree)))"). 173:- show_kif("(DivisionFn (SubtractionFn ?NUMBER 32) 1.8 #C(1.2 9))"). 174
175
179:- check_clause_counts. 180
183
184:- after_boot((set_prolog_flag(pfc_booted,true))). 185
186:- thread_initialization(nb_setval('$oo_stack',[])). 187:- thread_initialization(b_setval('$oo_stack',[])). 188
190
191
192
193
198:- if(current_prolog_flag(logicmoo_qsave,true)). 199:- baseKB:qsave_lm(lm_repl). 200:- endif. 201
202:- set_prolog_flag(access_level,system). 203:- if(false). 204:- statistics. 205:- endif.