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 24
27:- set_prolog_flag(expect_pfc_file,unknown). 28:- endif.