logicmoo_hyhtn

   12:-module(logicmoo_hyhtn,[]).   13
   14:- style_check(-singleton).   15
   16:- use_module(library(prolog_pack)).   17:- if( \+ prolog_pack:current_pack(planner_api)).   18:- dynamic   user:file_search_path/2.   19:- multifile user:file_search_path/2.   20:- prolog_load_context(directory,Dir),
   21   DirFor = planner,
   22   (( \+ user:file_search_path(DirFor,Dir)) ->asserta(user:file_search_path(DirFor,Dir));true),
   23   absolute_file_name('../..',Y,[relative_to(Dir),file_type(directory)]),
   24   (( \+ user:file_search_path(pack,Y)) ->asserta(user:file_search_path(pack,Y));true).   25:- attach_packs.   26:- initialization(attach_packs).   27:- endif.   28
   29
   30:- if( \+  user:file_search_path(pddl,_) ).   31:- prolog_load_context(directory,Dir),
   32   must((absolute_file_name('../pddl',Y,[relative_to(Dir),file_type(directory)]),
   33   asserta(user:file_search_path(pddl,Y)))).   34:- endif.   35
   36
   37do_ss(A,B):-do_ss,!, must(do_ss0(A,B)).
   38do_ss(A,A).
   39
   40do_ss0(A,B):- \+ compound(A), !, B=A.
   41do_ss0(is_of_sort(I,C),isa(I,C)).
   42do_ss0(ss(C,I,G),GG):-do_ss0(ss([is_of_sort(I,C)|G]),GG).
   43do_ss0(se(C,I,G),GG):-do_ss0(se([is_of_sort(I,C)|G]),GG).
   44do_ss0(sc(C,I,=>(L,R)),GG):-do_ss0(sc(=>([is_of_sort(I,C)|L],[is_of_sort(I,C)|R])),GG).
   45%do_ss(sc(C,I,G),sc(G)):-!.
   46do_ss0(A,B):- A=..[F|AA],must_maplist(do_ss0,AA,BB),B=..[F|BB].
   47
   48:-dynamic(do_ss/0).   49:-dynamic(do_ss_in_file/0).   50system:term_expansion(A,B):- do_ss, loop_check(do_ss(A,B)).
   51system:goal_expansion(A,B):- do_ss, loop_check(do_ss(A,B)).
   52
   53:- ensure_loaded(library(logicmoo_util_structs)).   54:- ensure_loaded(library(logicmoo_util_bb_env)).   55%:-asserta(do_ss).
   56%do_ss_in_file.
   57do_non_ss_in_file.
   58term_expansion(A,B):-env_term_expansion(A,B).
   59
   60
   61:- ensure_loaded(logicmoo_hyhtn_code).   62:- ensure_loaded(library(logicmoo_ocl_and_pddl)).   63% :-include(logicmoo_hyhtn_works).
   64
   65:- fixup_exports.