/** <module> 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
%
*/
:-module(logicmoo_ocl,[]).

:- use_module(logicmoo_planner).
:- style_check(-singleton).


do_ss(A,B):- do_ss,!, must(do_ss0(A,B)).
do_ss(A,A).

do_ss0(A,B):- \+ compound(A), !, B=A.
do_ss0(is_of_sort(I,C),isa(I,C)).
do_ss0(ss(C,I,G),GG):-do_ss0(ss([is_of_sort(I,C)|G]),GG).
do_ss0(se(C,I,G),GG):-do_ss0(se([is_of_sort(I,C)|G]),GG).
do_ss0(sc(C,I,=>(L,R)),GG):-do_ss0(sc(=>([is_of_sort(I,C)|L],[is_of_sort(I,C)|R])),GG).
%do_ss(sc(C,I,G),sc(G)):-!.
do_ss0(A,B):- A=..[F|AA],must_maplist(do_ss0,AA,BB),B=..[F|BB].

:-dynamic(do_ss/0).
:-dynamic(do_ss_in_file/0).
system:term_expansion(A,B):- do_ss, loop_check(do_ss(A,B)).
system:goal_expansion(A,B):- do_ss, loop_check(do_ss(A,B)).

:- ensure_loaded(library(logicmoo/util_structs)).
:- ensure_loaded(library(logicmoo/util_bb_env)).
%:-asserta(do_ss).
%do_ss_in_file.
do_non_ss_in_file.
term_expansion(A,B):-env_term_expansion(A,B).


:- ensure_loaded(hyhtn_pddl/hyhtn_new).

%:- ensure_loaded(hyhtn_pddl/hyhtn_works).
:- ensure_loaded(hyhtn_pddl/pddl_as_ocl).
% :-include(logicmoo_hyhtn_works).

:- fixup_exports.