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_ocl,[]).   13
   14:- use_module(logicmoo_planner).   15:- style_check(-singleton).   16
   17
   18do_ss(A,B):-do_ss,!, must(do_ss0(A,B)).
   19do_ss(A,A).
   20
   21do_ss0(A,B):- \+ compound(A), !, B=A.
   22do_ss0(is_of_sort(I,C),isa(I,C)).
   23do_ss0(ss(C,I,G),GG):-do_ss0(ss([is_of_sort(I,C)|G]),GG).
   24do_ss0(se(C,I,G),GG):-do_ss0(se([is_of_sort(I,C)|G]),GG).
   25do_ss0(sc(C,I,=>(L,R)),GG):-do_ss0(sc(=>([is_of_sort(I,C)|L],[is_of_sort(I,C)|R])),GG).
   26%do_ss(sc(C,I,G),sc(G)):-!.
   27do_ss0(A,B):- A=..[F|AA],must_maplist(do_ss0,AA,BB),B=..[F|BB].
   28
   29:-dynamic(do_ss/0).   30:-dynamic(do_ss_in_file/0).   31system:term_expansion(A,B):- do_ss, loop_check(do_ss(A,B)).
   32system:goal_expansion(A,B):- do_ss, loop_check(do_ss(A,B)).
   33
   34:- ensure_loaded(library(logicmoo_util_structs)).   35:- ensure_loaded(library(logicmoo_util_bb_env)).   36%:-asserta(do_ss).
   37%do_ss_in_file.
   38do_non_ss_in_file.
   39term_expansion(A,B):-env_term_expansion(A,B).
   40
   41
   42:- ensure_loaded(hyhtn_pddl/hyhtn_code).   43:- ensure_loaded(hyhtn_pddl/pddl_as_ocl)).
   44% :-include(logicmoo_hyhtn_works).
   45
   46:- fixup_exports.