:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/KitchenSink_M5.e',101). % From E: % % :-call_pel_directive(translate(unskipped,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e.lps')). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e.lps')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/KitchenSink_M5.e',101). % From E: % % :-call_pel_directive(translate(begining,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e.lps')). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e.lps')). % Sat, 10 Oct 2020 15:31:53 GMT File: (0x559e4b401c00) % load foundations/Root.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',1). % 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-decreasoner/Pendulum_Prediction.e',1). % 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-decreasoner/Pendulum_Prediction.e',4). % sort dir % From E: % % sort(dir). sort(dir). % dir Left, Right :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',4). % From E: % % t(dir,left). dir(left). % From E: % % t(dir,right). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',4). dir(right). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',7). % fluent Oscillating() % From E: % % fluent(oscillating()). fluents([oscillating/0]). % fluent At(dir) :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',7). % From E: % % fluent(at_loc(dir)). mpred_prop(at_loc(dir),fluent). fluents([at_loc/1]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',10). % event Hold() % From E: % % event(hold()). events([hold/0]). % event Swing() :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',10). % From E: % % event(swing()). events([swing/0]). % range time 0 5 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',13). % From E: % % :-call_pel_directive(range(time,0,5)). :- call_pel_directive(range(time, 0, 5)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',15). % range offset 1 3 % From E: % % :-call_pel_directive(range(offset,1,3)). :- call_pel_directive(range(offset, 1, 3)). %; State Constraints: % [dir1, dir2, time] % (HoldsAt(At(dir1), time) & % HoldsAt(At(dir2), time) -> % dir1=dir2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',19). % From E: % % '->'( % (holds_at(at_loc(Dir1),Time) , % holds_at(at_loc(Dir2),Time)), % Dir1=Dir2). % [Time]. false not equals(Dir1, Dir2), at_loc(Dir1), at_loc(Dir2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',19). /* d_pre([ not(equals(Dir1,Dir2)), holds(at_loc(Dir1),Time_At), holds(at_loc(Dir2),Time_At) ]). */ % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',25). %; Effect Axioms: % [time] % (Initiates(Swing(), Oscillating(), time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',27). % From E: % % initiates_at(swing(),oscillating(),Time). % [Time]. swing initiates oscillating. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',27). /* initiated(happens(swing,Time_From,Time_Until), oscillating, []). */ % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',29). % [time, dir] % (Releases(Swing(), At(dir), time)). % From E: % % releases_at( % swing(), % at_loc(Dir), % Time). % [Time]. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',29). releases(swing,at_loc(Dir)). % [time,dir] % (HoldsAt(At(dir), time) -> % Initiates(Hold(), At(dir), time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',33). % From E: % % '->'( % holds_at(at_loc(Dir),Time), % initiates_at( % hold(), % at_loc(Dir), % Time)). % [Time]. hold initiates at_loc(Dir)if at_loc(Dir). /* initiated(happens(hold,Time_From,Time_Until), at_loc(Dir), [holds(at_loc(Dir),Time_From)]). */ % "% =================================". % [time] % (Terminates(Hold(), Oscillating(), time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',37). % From E: % % terminates_at(hold(),oscillating(),Time). % [Time]. hold terminates oscillating. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',37). /* terminated(happens(hold,Time_From,Time_Until), oscillating, []). */ % "% =================================". % [time, offset] % (HoldsAt(At(Left), time) & (offset % 2!=0) -> % Trajectory(Oscillating(),time,At(Right),offset)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',41). % From E: % % '->'( % (holds_at(at_loc(left),Time) , % Offset/2\=0), % trajectory( % oscillating(), % Time, Time, % at_loc(right), % Offset)). % [Time]. holds_at(at_loc(left), Time), Offset/2\=0 -> trajectory(oscillating, Time, at_loc(right), Offset). % [time, offset] % (HoldsAt(At(Right), time) & (offset % 2!=0) -> % Trajectory(Oscillating(),time,At(Left),offset)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',45). % From E: % % '->'( % (holds_at(at_loc(right),Time) , % Offset/2\=0), % trajectory( % oscillating(), % Time, Time, % at_loc(left), % Offset)). % [Time]. holds_at(at_loc(right), Time), Offset/2\=0 -> trajectory(oscillating, Time, at_loc(left), Offset). % [time, offset] % (HoldsAt(At(Left), time) & (offset % 2=0) -> % Trajectory(Oscillating(),time,At(Left),offset)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',49). % From E: % % '->'( % (holds_at(at_loc(left),Time) , % Offset/2=0), % trajectory( % oscillating(), % Time, Time, % at_loc(left), % Offset)). % [Time]. holds_at(at_loc(left), Time), /(Offset, 2, 0) -> trajectory(oscillating, Time, at_loc(left), Offset). % [time, offset] % (HoldsAt(At(Right), time) & (offset % 2=0) -> % Trajectory(Oscillating(),time,At(Right),offset)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',53). % From E: % % '->'( % (holds_at(at_loc(right),Time) , % Offset/2=0), % trajectory( % oscillating(), % Time, Time, % at_loc(right), % Offset)). % [Time]. holds_at(at_loc(right), Time), /(Offset, 2, 0) -> trajectory(oscillating, Time, at_loc(right), Offset). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',57). %; Observation % !HoldsAt(Oscillating(),0). % From E: % % holds_at(not(oscillating()),0). initially not oscillating. % initial_state([not(oscillating)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',59). % HoldsAt(At(Left),0). % From E: % % holds_at(at_loc(left),0). initially at_loc(left). % initial_state([at_loc(left)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',61). %; Event Occurrence % Happens(Swing(), 0). % From E: % % happens_at(swing(),0). observe swing at 0. % observe([swing],0). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',63). % Happens(Hold(), 3). % From E: % % happens_at(hold(),3). observe hold at 3. % observe([hold],3). % "% =================================". % completion Happens :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',67). % From E: % % :-call_pel_directive(completion(happens_at)). :- call_pel_directive(completion(happens_at)). %; end of file :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e',70). % From E: % % :-call_pel_directive(translate(ending,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e.lps')). :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp-decreasoner/Pendulum_Prediction.e.lps')).