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).
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)). 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)). 64
65:- fixup_exports.
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 % */