:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss40-ea.e',38). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.pel')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(ecalc). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.pel')). %; CoinToss4-ea.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.e',3). % load foundations/Root.e :- call_pel_directive(load('foundations/Root.e')). % load foundations/EC.e :- call_pel_directive(load('foundations/EC.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.e',6). % event Toss() event(toss()). % fluent ItsHeads() fluent(itsHeads()). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.e',8). % fluent Heads() fluent(heads()). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.e',10). % [time] % (HoldsAt(ItsHeads(),time) -> Initiates(Toss(),Heads(),time)). holds_at(itsHeads(), Time) -> initiates_at(toss(), heads(), Time). % [time] % (!HoldsAt(ItsHeads(),time) -> Terminates(Toss(),Heads(),time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.e',14). holds_at(not(itsHeads()), Time) -> terminates_at(toss(), heads(), Time). %;noninertial ItsHeads % [time] % (ReleasedAt(ItsHeads(),time)). released_at(itsHeads(),Time). % !ReleasedAt(Heads(),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.e',20). not(released_at(heads(),0)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.e',24). % HoldsAt(Heads(),0). holds_at(heads(),0). % Happens(Toss(),1). happens_at(toss(),1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.e',26). % Happens(Toss(),2). happens_at(toss(),2). % Happens(Toss(),3). happens_at(toss(),3). %; prune models irrelevant to example: :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.e',30). % HoldsAt(ItsHeads(),0). holds_at(itsHeads(),0). % HoldsAt(ItsHeads(),4). holds_at(itsHeads(),4). % completion Happens :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.e',32). :- call_pel_directive(completion(happens_at)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.e',35). % range time 0 4 :- call_pel_directive(range(time, 0, 4)). % range offset 1 1 :- call_pel_directive(range(offset, 1, 1)). %; End of file. :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/CoinToss4-ea.pel')).