:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey3-ea.e',40). % From E: % % :-call_pel_directive(translate(unskipped,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e.lps')). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e.lps')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey3-ea.e',40). % From E: % % :-call_pel_directive(translate(begining,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e.lps')). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e.lps')). % Sat, 10 Oct 2020 15:32:00 GMT File: (0x559e4b3ec500)%; WalkingTurkey40-ea.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',2). % load foundations/Root.e % From E: % % :-call_pel_directive(load('foundations/Root.e')). :- call_pel_directive(load('foundations/Root.e')). % load foundations/EC.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',2). % From E: % % :-call_pel_directive(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() % From E: % % fluent(loaded()). fluents([loaded/0]). % fluent Alive() :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',5). % From E: % % fluent(alive()). fluents([alive/0]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',7). % fluent Walking() % From E: % % fluent(walking()). fluents([walking/0]). % event Load() :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',7). % From E: % % event(load()). events([load/0]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',9). % event Shoot() % From E: % % event(shoot()). events([shoot/0]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',11). % [time] % (Initiates(Load(), Loaded(), time)). % From E: % % initiates_at(load(),loaded(),Time). % [Time]. load initiates loaded. % initiated(happens(load,Time_From,Time_Until),loaded,[]). % "% =================================". % [time] % (HoldsAt(Loaded(),time) -> % Terminates(Shoot(), Alive(), time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',15). % From E: % % '->'( % holds_at(loaded(),Time), % terminates_at(shoot(),alive(),Time)). % [Time]. shoot terminates alive if loaded. /* terminated(happens(shoot,Time_From,Time_Until), alive, [holds(loaded,Time_From)]). */ % "% =================================". %; 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). % From E: % % '->'( % terminates_at(shoot(),alive(),Time), % terminates_at(shoot(),walking(),Time)). % [Time]. shoot terminates walking if shoot terminates alive. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',19). /* terminated(happens(shoot,Time_From,Time_Until), walking, [terminates(shoot,alive)]). */ % "% =================================". % !ReleasedAt(Loaded(),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',22). % From E: % % not(released_at(loaded(),0)). not(released_at(loaded,0)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',24). % !ReleasedAt(Alive(),0). % From E: % % not(released_at(alive(),0)). not(released_at(alive,0)). % !ReleasedAt(Walking(),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',24). % From E: % % not(released_at(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). % From E: % % holds_at(alive(),0). initially alive. % initial_state([alive]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',28). % HoldsAt(Loaded(), 0). % From E: % % holds_at(loaded(),0). initially loaded. % initial_state([loaded]). % "% =================================". % HoldsAt(Walking(), 0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',28). % From E: % % holds_at(walking(),0). initially walking. % initial_state([walking]). % "% =================================". % Happens(Shoot(), 25). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',30). % From E: % % happens_at(shoot(),25). observe shoot at 25. % observe([shoot],25). % "% =================================". % !HoldsAt(Walking(),37). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',32). % From E: % % holds_at(not(walking()),37). holds_at(not(walking),37). % completion Happens :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',34). % From E: % % :-call_pel_directive(completion(happens_at)). :- 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 % From E: % % :-call_pel_directive(range(time,0,40)). :- call_pel_directive(range(time, 0, 40)). % range offset 1 1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',37). % From E: % % :-call_pel_directive(range(offset,1,1)). :- call_pel_directive(range(offset, 1, 1)). %; End of file :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e',40). % From E: % % :-call_pel_directive(translate(ending,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e.lps')). :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/WalkingTurkey40-ea.e.lps')).