logicmoo_hyhtn

% Provides a prolog database env % % % % Logicmoo Project PrologMUD: A MUD server written in Prolog % Maintainer: Douglas Miles % Denton, TX 2005, 2010, 2014 % Dec 13, 2035 % */
   12:-module(logicmoo_hyhtn,[]).   13
   14:- use_module(library(prolog_pack)).   15:- if( \+ prolog_pack:current_pack(logicmoo_planners)).   16:- dynamic   user:file_search_path/2.   17:- multifile user:file_search_path/2.   18:- prolog_load_context(directory,Dir),
   19   DirFor = planner,
   20   (( \+ user:file_search_path(DirFor,Dir)) ->asserta(user:file_search_path(DirFor,Dir));true),
   21   absolute_file_name('../../../../',Y,[relative_to(Dir),file_type(directory)]),
   22   (( \+ user:file_search_path(pack,Y)) ->asserta(user:file_search_path(pack,Y));true).   23:- initialization(attach_packs,now).   24:- endif.   25% [Required] Load the Logicmoo Library Utils
   26:- ensure_loaded(library(logicmoo_utils)).   27
   28do_ss(A,B):-do_ss,!, must(do_ss0(A,B)).
   29do_ss(A,A).
   30
   31do_ss0(A,B):- \+ compound(A), !, B=A.
   32do_ss0(is_of_sort(I,C),isa(I,C)).
   33do_ss0(ss(C,I,G),GG):-do_ss0(ss([is_of_sort(I,C)|G]),GG).
   34do_ss0(se(C,I,G),GG):-do_ss0(se([is_of_sort(I,C)|G]),GG).
   35do_ss0(sc(C,I,=>(L,R)),GG):-do_ss0(sc(=>([is_of_sort(I,C)|L],[is_of_sort(I,C)|R])),GG).
   36%do_ss(sc(C,I,G),sc(G)):-!.
   37do_ss0(A,B):- A=..[F|AA],must_maplist(do_ss0,AA,BB),B=..[F|BB].
   38
   39:-dynamic(do_ss/0).   40:-dynamic(do_ss_in_file/0).   41system:term_expansion(A,B):- do_ss, loop_check(do_ss(A,B)).
   42system:goal_expansion(A,B):- do_ss, loop_check(do_ss(A,B)).
   43
   44:- ensure_loaded(library(logicmoo_util_structs)).   45:- ensure_loaded(library(logicmoo_util_bb_env)).   46%:-asserta(do_ss).
   47%do_ss_in_file.
   48do_non_ss_in_file.
   49term_expansion(A,B):-env_term_expansion(A,B).
   50
   51
   52:- ensure_loaded(logicmoo_hyhtn_code).   53:- ensure_loaded(library(logicmoo_ocl_and_pddl)).   54% :-include(logicmoo_hyhtn_works).
   55
   56:- fixup_exports.