:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M5-ea.e',65). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-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/RussianTurkey40-ea.pel')). %; RussianTurkey40-ea.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-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/RussianTurkey40-ea.e',6). % event Load() event(load()). % event Shoot() event(shoot()). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-ea.e',8). % event Spin() event(spin()). % fluent Loaded() fluent(loaded()). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-ea.e',10). % fluent Alive() fluent(alive()). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-ea.e',12). % [time] % (Initiates(Load(),Loaded(),time)). initiates_at(load(),loaded(),Time). % [time] % (HoldsAt(Loaded(),time) -> Terminates(Shoot(),Alive(),time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-ea.e',12). holds_at(loaded(), Time) -> terminates_at(shoot(), alive(), Time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-ea.e',14). % [time] % (Releases(Spin(),Loaded(),time)). releases_at(spin(),loaded(),Time). % [time] % (Terminates(Shoot(),Loaded(),time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-ea.e',14). terminates_at(shoot(),loaded(),Time). % !ReleasedAt(Loaded(), 0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-ea.e',16). not(released_at(loaded(),0)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-ea.e',18). % !ReleasedAt(Alive(), 0). not(released_at(alive(),0)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-ea.e',20). % HoldsAt(Alive(),0). holds_at(alive(),0). % !HoldsAt(Loaded(),0). holds_at(not(loaded()),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-ea.e',22). % Happens(Load(),10). happens_at(load(),10). % Happens(Spin(),20). happens_at(spin(),20). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-ea.e',24). % Happens(Shoot(),30). happens_at(shoot(),30). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-ea.e',26). % completion Happens :- call_pel_directive(completion(happens_at)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/RussianTurkey40-ea.e',28). % range time 0 40 :- call_pel_directive(range(time, 0, 40)). % 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/RussianTurkey40-ea.pel')).