:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar2-ea.e',24). % From E: % % :-call_pel_directive(translate(unskipped,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e.lps')). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e.lps')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar2-ea.e',24). % From E: % % :-call_pel_directive(translate(begining,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e.lps')). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e.lps')). % Sat, 10 Oct 2020 15:31:58 GMT File: (0x559e4b414700)%; StolenCar40-ea.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',3). % 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/StolenCar40-ea.e',3). % 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/StolenCar40-ea.e',6). % event Park() % From E: % % event(park()). events([park/0]). % event Steal() :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',6). % From E: % % event(steal()). events([steal/0]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',8). % fluent CarParked() % From E: % % fluent(carParked()). fluents([carParked/0]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',10). % [time] % (Initiates(Park(),CarParked(),time)). % From E: % % initiates_at(park(),carParked(),Time). % [Time]. park initiates carParked. % initiated(happens(park,Time_From,Time_Until),carParked,[]). % "% =================================". % [time] % (Terminates(Steal(),CarParked(),time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',10). % From E: % % terminates_at(steal(),carParked(),Time). % [Time]. steal terminates carParked. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',10). /* terminated(happens(steal,Time_From,Time_Until), carParked, []). */ % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',14). % !ReleasedAt(CarParked(),0). % From E: % % not(released_at(carParked(),0)). not(released_at(carParked,0)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',16). % !HoldsAt(CarParked(),0). % From E: % % holds_at(not(carParked()),0). initially not carParked. % initial_state([not(carParked)]). % "% =================================". % Happens(Park(),20). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',16). % From E: % % happens_at(park(),20). observe park at 20. % observe([park],20). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',18). %; ABDUCED Happens(Steal(), 1). % !HoldsAt(CarParked(),40). % From E: % % holds_at(not(carParked()),40). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',18). holds_at(not(carParked),40). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',22). %; Action Precondition axiom added % [time] % (Happens(Steal(),time) -> HoldsAt(CarParked(),time)). % From E: % % '->'( % happens_at(steal(),Time), % holds_at(carParked(),Time)). % [Time]. carParked if steal. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',22). /* l_int(holds(carParked,Time_At), [happens(steal,Time_At,Time_At)]). */ % "% =================================". %; Event Occurrence Constraints added % [time1, time2] % (Happens(Steal(), time1) & time1 % !Happens(Park(), time2)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/StolenCar40-ea.e',26). % From E: % % '->'( % (happens_at(steal(),Time1) , % Time1