7:- if(('$current_source_module'(SM),'context_module'(M),'$current_typein_module'(CM),asserta(baseKB:'wusing_pfc'(M,CM,SM,pfc_toplevel)))). 8:- endif. 9:- module(pfc_toplevel,[use_pfc/0]). 10:- use_module(library(logicmoo_utils_all)). 14
15use_pfc.
16
17
18:- if(\+ current_prolog_flag(lm_no_autoload,_)). 19:- set_prolog_flag(lm_no_autoload,false). 20:- wdmsg_pretty("WARNING: PFC_AUTOLOAD"). 21:- endif. 22
23:- if(\+ current_prolog_flag(lm_pfc_lean,_)). 24:- set_prolog_flag(lm_pfc_lean,false). 25:- wdmsg_pretty("WARNING: PFC_NOT_LEAN"). 26:- endif. 27
28:- reexport(pfc_lib).
29:- set_prolog_flag(mpred_te,true). 34
35:- retract(baseKB:'wusing_pfc'(M,CM,SM,pfc_toplevel)),
36 assert(baseKB:'using_pfc'(M,CM,SM,pfc_toplevel)),
37 (M==SM ->
38 (ensure_abox(SM),nop((M:ain(genlMt(SM,baseKB)))));
39 wdmsg_pretty(baseKB:'lusing_pfc'(M,CM,SM,pfc_toplevel))).