1/*   
    2  LogicMOO Base FOL/PFC Setup
    3% Dec 13, 2035
    4% Douglas Miles
    5
    6*/
    7:- if(( current_prolog_flag(xref,true) ;
    8   ('$current_source_module'(SM),'context_module'(M),'$current_typein_module'(CM),asserta(baseKB:'wusing_pfc'(M,CM,SM,pfc_mod))))).    9:- endif.   10:- if((prolog_load_context(source,File),prolog_load_context(file,File))).   11:- module(pfc_mod,[]).   12:- prolog_load_context(file,File),unload_file(File).   13:- endif.   14:- pfc_lib:use_module(pfc_lib).   15:- if( \+  current_prolog_flag(xref,true)).   16:- must(retract(baseKB:'wusing_pfc'(M,CM,SM,pfc_mod))),
   17   show_wdmsg(baseKB:'chusing_pfc'(M,CM,SM,pfc_mod)),
   18   (M==SM -> 
   19     (maybe_ensure_abox(SM),nop((M:ain(genlMt(SM,baseKB)))));
   20     show_wdmsg(baseKB:'lusing_pfc'(M,CM,SM,pfc_mod))),   
   21   assert(baseKB:'$using_pfc'(M,CM,SM,pfc_mod)),
   22   asserta(SM:'$does_use_pfc_mod'(M,CM,SM,pfc_mod)).   23   %backtrace(200).
   24   
   25%:- set_prolog_flag(retry_undefined, kb_shared).
   26%:- set_prolog_flag(pfc_ready, true).
   27:- set_prolog_flag(expect_pfc_file,unknown).   28:- endif.