:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey3-ea.e',40). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-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/WalkingTurkey40-ea.pel')). %; WalkingTurkey40-ea.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',2). % 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/WalkingTurkey40-ea.e',5). % fluent Loaded() fluent(loaded()). % fluent Alive() fluent(alive()). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',7). % fluent Walking() fluent(walking()). % event Load() event(load()). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',9). % event Shoot() event(shoot()). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',11). % [time] % (Initiates(Load(), Loaded(), time)). initiates_at(load(),loaded(),Time). % [time] % (HoldsAt(Loaded(),time) -> % Terminates(Shoot(), Alive(), time)). holds_at(loaded(), Time) -> terminates_at(shoot(), alive(), Time). %; Effect Constraint % [time] % (Terminates(Shoot(), Alive(), time) -> % Terminates(Shoot(), Walking(), time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',19). terminates_at(shoot(), alive(), Time) -> terminates_at(shoot(), walking(), Time). % !ReleasedAt(Loaded(),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',22). not(released_at(loaded(),0)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',24). % !ReleasedAt(Alive(),0). not(released_at(alive(),0)). % !ReleasedAt(Walking(),0). not(released_at(walking(),0)). % HoldsAt(Alive(), 0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',26). holds_at(alive(),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',28). % HoldsAt(Loaded(), 0). holds_at(loaded(),0). % HoldsAt(Walking(), 0). holds_at(walking(),0). % Happens(Shoot(), 25). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',30). happens_at(shoot(),25). % !HoldsAt(Walking(),37). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',32). holds_at(not(walking()),37). % completion Happens :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',34). :- call_pel_directive(completion(happens_at)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',37). % 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/WalkingTurkey40-ea.pel')).