1:- module(logicmoo_clif,[
    2 ]).    3
    4:- 
    5 op(1199,fx,('==>')), 
    6 op(1190,xfx,('::::')),
    7 op(1180,xfx,('==>')),
    8 op(1170,xfx,'<==>'),  
    9 op(1160,xfx,('<-')),
   10 op(1150,xfx,'=>'),
   11 op(1140,xfx,'<='),
   12 op(1130,xfx,'<=>'), 
   13 op(600,yfx,'&'), 
   14 op(600,yfx,'v'),
   15 op(350,xfx,'xor'),
   16 op(300,fx,'~'),
   17 op(300,fx,'-').

   31:- '$set_source_module'(baseKB).   32
   33:- ensure_loaded(library(logicmoo_lib)).   34
   35
   36:- pfc_lib:use_module(library(pfc_lib)).   37:- set_fileAssertMt(baseKB).   38
   39%:- set_defaultAssertMt(baseKB).
   40
   41:- set_prolog_flag_until_eof(retry_undefine,false).   42
   43:- user:use_module(library(logicmoo_common)).   44
   45:- if((exists_source(library(wam_cl/sreader)))).   46:- use_module(library(wam_cl/sreader)).   47:- endif.   48
   49:- dynamic   user:file_search_path/2.   50:- multifile user:file_search_path/2.   51:- prolog_load_context(directory,Dir),
   52   DirFor = library,
   53   before_boot((( \+ user:file_search_path(DirFor,Dir)) ->asserta(user:file_search_path(DirFor,Dir));true)),!.   54
   55:- '$set_source_module'(baseKB).   56
   57:- asserta_new(user:file_search_path(logicmoo,library('logicmoo/.'))).   58:- prolog_load_context(directory,Dir), asserta_new(user:file_search_path(logicmoo,Dir)).   59% :- asserta_new(user:file_search_path(logicmoo,library('.'))).
   60
   61% :- add_library_search_path('./logicmoo/common_logic/',[ 'common_*.pl']).
   62
   63
   64:- reexport(library('logicmoo/common_logic/common_logic_utils.pl')).   65:- reexport(library('logicmoo/common_logic/common_logic_boxlog.pl')).   66:- reexport(library('logicmoo/common_logic/common_logic_modal.pl')).   67:- reexport(library('logicmoo/common_logic/common_logic_exists.pl')).   68%:- consult(library('logicmoo/common_logic/common_logic_exists.pl')).
   69:- reexport(library('logicmoo/common_logic/common_logic_compiler.pl')). 
   70:- reexport(library('logicmoo/common_logic/common_logic_kb_hooks.pl')).   71:- reexport(library('logicmoo/common_logic/common_logic_loader.pl')).   72:- reexport(library('logicmoo/common_logic/common_logic_theorist.pl')).   73:- reexport(library('logicmoo/common_logic/common_logic_reordering.pl')).   74:- reexport(library('logicmoo/common_logic/common_logic_snark.pl')). 
   75:- reexport(library('logicmoo/common_logic/common_logic_sanity.pl')).   76
   77% 
   78
   79really_load_clif_file(Found, Options):-
   80  dmsg(really_load_clif_file(Found, Options)),
   81  fail.
   82
   83maybe_load_clif_file(Found, Options):- 
   84  atom(Found),exists_file(Found),!,
   85  file_name_extension(_,Ext,Found),
   86  memberchk(Ext,['.clif','.ikl','.kif','.lbase']),!,
   87  really_load_clif_file(Found, Options).
   88  
   89maybe_load_clif_file(Spec, Options):- 
   90  notrace(absolute_file_name(Spec,Found,[extensions(['.clif','.ikl','.kif',
   91  %'.lisp',
   92  '.lbase']),access(read),expand(true),solutions(all)])),
   93  exists_file(Found),!,
   94  really_load_clif_file(Found, Options).
   95
   96:- fixup_exports.   97
   98:- dynamic user:prolog_load_file/2.   99:- multifile user:prolog_load_file/2.  100%:- use_module(library(logicmoo_common)).
  101user:prolog_load_file(Spec, Options):- maybe_load_clif_file(Spec, Options),!.
  102
  103
  104:- baseKB:ensure_loaded(baseKB:library('logicmoo/common_logic/common_logic_clif.pfc')).  105
  106:- kif_compile.