1/*   
    2  LogicMOO Base FOL/PFC Setup
    3% Dec 13, 2035
    4% Douglas Miles
    5
    6*/
    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)).   11% :- abolish(use_pfc/0).
   12% :- prolog_load_context(file,File),unload_file(File).
   13% :- asserta(use_pfc).
   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).   30%:- set_prolog_flag(verbose_load,true).
   31%:- set_prolog_flag(debug_on_error,true).
   32%:- set_prolog_flag(report_error,true).
   33%:- set_prolog_flag(access_level,system).
   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))).