:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom2-ea.e',41). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-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/StuffyRoom40-ea.pel')). %; StuffyRoom40-ea.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-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/StuffyRoom40-ea.e',6). % event Close1() event(close1()). % event Close2() event(close2()). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-ea.e',8). % event Start() event(start()). % fluent Blocked1() fluent(blocked1()). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-ea.e',10). % fluent Blocked2() fluent(blocked2()). % fluent Stuffy() fluent(stuffy()). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-ea.e',13). % [time] % (Initiates(Close1(),Blocked1(),time)). initiates_at(close1(),blocked1(),Time). % [time] % (Initiates(Close2(),Blocked2(),time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-ea.e',13). initiates_at(close2(),blocked2(),Time). % [time] % (HoldsAt(Stuffy(),time) <-> % HoldsAt(Blocked1(),time)&HoldsAt(Blocked2(),time)). holds_at(stuffy(), Time) <-> holds_at(blocked1(), Time), holds_at(blocked2(), Time). % [time] % (Initiates(Start(),Blocked1(),time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-ea.e',19). initiates_at(start(),blocked1(),Time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-ea.e',21). % [time] % (Terminates(Start(),Blocked2(),time)). terminates_at(start(),blocked2(),Time). %;noninertial Stuffy % [time] % (ReleasedAt(Stuffy(),time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-ea.e',25). released_at(stuffy(),Time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-ea.e',27). % !ReleasedAt(Blocked1(),0). not(released_at(blocked1(),0)). % !ReleasedAt(Blocked2(),0). not(released_at(blocked2(),0)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-ea.e',31). % !HoldsAt(Blocked1(),0). holds_at(not(blocked1()),0). % !HoldsAt(Blocked2(),0). holds_at(not(blocked2()),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-ea.e',33). % Happens(Start(),10). happens_at(start(),10). % Happens(Close2(),20). happens_at(close2(),20). % completion Happens :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-ea.e',35). :- call_pel_directive(completion(happens_at)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StuffyRoom40-ea.e',38). % 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/StuffyRoom40-ea.pel')).