10
11:-
12 op(1199,fx,('==>')),
13 op(1190,xfx,('::::')),
14 op(1180,xfx,('==>')),
15 op(1170,xfx,'<==>'),
16 op(1160,xfx,('<-')),
17 op(1150,xfx,'=>'),
18 op(1140,xfx,'<='),
19 op(1130,xfx,'<=>'),
20 op(600,yfx,'&'),
21 op(600,yfx,'v'),
22 op(350,xfx,'xor'),
23 op(300,fx,'~'),
24 op(300,fx,'-'). 25
26
27:- thread_local(t_l:infSkipFullExpand/0). 28:- thread_local(t_l:deduceArgTypes/1). 29:- thread_local(t_l:noDBaseMODs/1). 30:- thread_local(t_l:side_effect_buffer/3). 31:- thread_local(t_l:loading_mpred_file/2). 32:- thread_local(t_l:consulting_sources/0). 34
35:- forall(member(M:F/A,[
36el_assertions:el_holds/10, 37el_assertions:el_holds/11, 38el_assertions:el_holds/12, 39el_assertions:el_holds/13, 40el_assertions:el_holds/14, 41el_assertions:el_holds/4, 42el_assertions:el_holds/5, 43el_assertions:el_holds/6, 44el_assertions:el_holds/7, 45el_assertions:el_holds/8, 46el_assertions:el_holds/9, 47el_assertions:el_holds_pred_impl/1, 49lmcache:has_pfc_database_preds/1,
50lmcache:after_mpred_load/0,
51lmcache:loaded_external_kbs/1,
53baseKB:decl_coerce/3,
54baseKB:coerce_hook/3,
55baseKB:hook_mpred_listing/1,
56baseKB:hook_one_minute_timer_tick/0,
57baseKB:hook_one_second_timer_tick/0,
58baseKB:isa_pred_now_locked/0,
59baseKB:loaded_file_world_time/3,
60baseKB:loaded_mpred_file/2,
61baseKB:module_local_init/0,
62baseKB:mpred_hook_rescan_files/0,
63baseKB:mpred_provide_read_attributes/3,
64baseKB:mpred_provide_setup/4,
65baseKB:mpred_provide_storage_clauses/3,
66baseKB:mpred_provide_storage_op/2,
67baseKB:mpred_provide_write_attributes/2,
68baseKB:mpred_skipped_module/1,
69baseKB:mud_test/2,
70baseKB:never_reload_file/1,
71baseKB:pfcManageHybrids/0,
72baseKB:regression_test/0,
73baseKB:feature_test/0,
74baseKB:sanity_test/0,
75baseKB:regression_test/1,
76baseKB:feature_test/1,
77baseKB:sanity_test/1,
78baseKB:type_action_info/3,
80baseKB:use_ideep_swi/0,
81baseKB:cycPred/2,
82baseKB:isa/2,
83baseKB:cycPlus2/2,
84
85user:portray/1,
86user:prolog_load_file/2,
90user:term_expansion/2,user:goal_expansion/2,system:term_expansion/2,system:goal_expansion/2]),
91 (multifile(M:F/A),M:module_transparent(M:F/A),dynamic(M:F/A),discontiguous(M:F/A))).
92
93:- discontiguous(module_local_init/2). 98:- thread_local(t_l:repl_to_string/2). 99:- thread_local(t_l:repl_writer/2). 100
101:- thread_local(t_l:agenda_slow_op_do_prereqs/0). 102:- thread_local(t_l:agenda_suspend_scans/0). 103:- thread_local(t_l:agent_current_action/2). 104:- thread_local(t_l:already_in_file_term_expansion/0). 105:- thread_local(t_l:assert_op_override/1). 106:- thread_local(t_l:caller_module/2). 107:- thread_local(t_l:consulting_sources/0). 108:- thread_local(t_l:current_pttp_db_oper/1). 109:- thread_local(t_l:deduceArgTypes/1). 110:- thread_local(t_l:disable_px /0). 111:- thread_local(t_l:enable_src_loop_checking/0). 112:- thread_local(t_l:in_dynamic_reader/1). 113:- thread_local(t_l:in_prolog_source_code/0). 114:- thread_local(t_l:infAssertedOnly/1). 115:- thread_local(t_l:infForward). 116:- thread_local(t_l:infInstanceOnly/1). 117:- thread_local(t_l:infMustArgIsa/0). 118:- thread_local(t_l:infSecondOrder/0). 119:- thread_local(t_l:infSkipArgIsa/0). 120:- thread_local(t_l:infSkipFullExpand/0). 121:- thread_local(t_l:infSupertypeName/0). 122:- thread_local(t_l:infThirdOrder/0). 123:- thread_local(t_l:into_form_code/0). 124:- thread_local(t_l:inVoProp/0). 125:- thread_local(t_l:is_calling/0). 126:- thread_local(t_l:loading_mpred_file/2). 127:- thread_local(t_l:mpred_ain_loaded/0). 128:- thread_local(t_l:mpred_loads_file/0). 129:- thread_local(t_l:mpred_opcall/2). 130:- thread_local(t_l:mpred_run_paused/0). 131:- thread_local(t_l:no_arg_type_error_checking/0). 132:- thread_local(t_l:no_kif_var_coroutines/1). 133:- thread_local(t_l:noDBaseHOOKS/1). 134:- thread_local(t_l:noDBaseMODs/1). 135:- thread_local(t_l:noRandomValues/1). 136:- thread_local(t_l:print_mode/1). 137:- thread_local(t_l:side_effect_buffer/3). 138:- thread_local(t_l:side_effect_ok/0). 139:- thread_local(t_l:tracing80/0). 140:- thread_local(t_l:use_side_effect_buffer/0). 141:- thread_local(t_l:useAltPOS/0). 142:- thread_local(t_l:useOnlyExternalDBs/0). 143:- thread_local(t_l:usePlTalk/0). 144:- thread_local(t_l:verify_side_effect_buffer/0). 145:- thread_local(t_l:with_callMPred/1).