:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/HotAirBalloon40-ea.e',74). % From E: % % :-call_pel_directive(translate(unskipped,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e.lps')). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e.lps')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/HotAirBalloon40-ea.e',74). % From E: % % :-call_pel_directive(translate(begining,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e.lps')). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e.lps')). % Sat, 10 Oct 2020 15:31:57 GMT File: (0x559e4b3fd300)%; KitchenSink_M25-ea.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',2). % option trajectory on % From E: % % :-call_pel_directive(option(trajectory,on)). :- call_pel_directive(option(trajectory, on)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',4). % 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/KitchenSink_M25-ea.e',4). % 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/KitchenSink_M25-ea.e',7). % sort height: integer % From E: % % subsort(height,integer). subsort(height,integer). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',9). % event TapOn() % From E: % % event(tapOn()). events([tapOn/0]). % event TapOff() :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',9). % From E: % % event(tapOff()). events([tapOff/0]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',11). % event Overflow() % From E: % % event(overflow()). events([overflow/0]). % fluent Filling() :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',11). % From E: % % fluent(filling()). fluents([filling/0]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',13). % fluent Height(height) % From E: % % fluent(height(height)). mpred_prop(height(height),fluent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',13). fluents([height/1]). % fluent Spilling() % From E: % % fluent(spilling()). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',13). fluents([spilling/0]). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',16). % [time] % Initiates(TapOn(),Filling(),time). % From E: % % initiates_at(tapOn(),filling(),Time). % [Time]. tapOn initiates filling. % initiated(happens(tapOn,Time_From,Time_Until),filling,[]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',18). % [time] % Terminates(TapOff(),Filling(),time). % From E: % % terminates_at(tapOff(),filling(),Time). % [Time]. tapOff terminates filling. % terminated(happens(tapOff,Time_From,Time_Until),filling,[]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',20). %; should probably add: %;[time] Terminates(TapOff(),Spilling(),time). % [height,time] :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',23). % Releases(TapOn(),Height(height),time). % From E: % % releases_at( % tapOn(), % height(Height), % Time). % [Time]. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',23). releases(tapOn,height(Height)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',25). % [height,time] % (HoldsAt(Height(height),time) -> % Initiates(TapOff(),Height(height),time)). % From E: % % '->'( % holds_at(height(Height),Time), % initiates_at( % tapOff(), % height(Height), % Time)). % [Time]. tapOff initiates height(Height)if height(Height). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',25). /* initiated(happens(tapOff,Time_From,Time_Until), height(Height), [holds(height(Height),Time_From)]). */ % "% =================================". % [time] % Terminates(Overflow(),Filling(),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',28). % From E: % % terminates_at(overflow(),filling(),Time). % [Time]. overflow terminates filling. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',28). /* terminated(happens(overflow,Time_From,Time_Until), filling, []). */ % "% =================================". % [height,time] % (HoldsAt(Height(height),time) -> % Initiates(Overflow(),Height(height),time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',32). % From E: % % '->'( % holds_at(height(Height),Time), % initiates_at( % overflow(), % height(Height), % Time)). % [Time]. overflow initiates height(Height)if height(Height). /* initiated(happens(overflow,Time_From,Time_Until), height(Height), [holds(height(Height),Time_From)]). */ % "% =================================". % [time] % Initiates(Overflow(),Spilling(),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',34). % From E: % % initiates_at(overflow(),spilling(),Time). % [Time]. overflow initiates spilling. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',34). /* initiated(happens(overflow,Time_From,Time_Until), spilling, []). */ % "% =================================". % [height1,height2,offset,time] % (HoldsAt(Height(height1),time) & % height2 = height1 + offset -> % Trajectory(Filling(),time,Height(height2),offset)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',38). % From E: % % '->'( % (holds_at(height(Height1),Time) , % Height2=Height1+Offset), % trajectory( % filling(), % Time, Time, % height(Height2), % Offset)). % [Time]. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',38). holds_at(height(Height1), Time), Height2=Height1+Offset -> trajectory(filling, Time, height(Height2), Offset). % [height1,height2,time] % (HoldsAt(Height(height1),time) & % HoldsAt(Height(height2),time) -> % height1 = height2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',43). % From E: % % '->'( % (holds_at(height(Height1),Time) , % holds_at(height(Height2),Time)), % Height1=Height2). % [Time]. false not equals(Height1, Height2), height(Height1), height(Height2). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',43). /* d_pre([ not(equals(Height1,Height2)), holds(height(Height1),Time_At), holds(height(Height2),Time_At) ]). */ % "% =================================". % [time] % (HoldsAt(Height(15),time) & HoldsAt(Filling(),time) -> % Happens(Overflow(),time)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',46). % From E: % % '->'( % (holds_at(height(15),Time) , % holds_at(filling(),Time)), % happens_at(overflow(),Time)). % [Time]. overflow if height(15), filling. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',46). /* l_events(happens(overflow,Time_From,Time_From), [ holds(height(15),Time_From), holds(filling,Time_From) ]). */ % "% =================================". % HoldsAt(Height(0),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',49). % From E: % % holds_at(height(0),0). initially height(0). % initial_state([height(0)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',51). % !HoldsAt(Filling(),0). % From E: % % holds_at(not(filling()),0). initially not filling. % initial_state([not(filling)]). % "% =================================". % !HoldsAt(Spilling(),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',51). % From E: % % holds_at(not(spilling()),0). initially not spilling. % initial_state([not(spilling)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',53). % Happens(TapOn(),5). % From E: % % happens_at(tapOn(),5). observe tapOn at 5. % observe([tapOn],5). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',55). % completion Happens % 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/KitchenSink_M25-ea.e',57). % !ReleasedAt(Filling(),0). % From E: % % not(released_at(filling(),0)). not(released_at(filling,0)). % [height] % !ReleasedAt(Height(height),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',57). % From E: % % not(released_at(height(Height),0)). not(released_at(height(Height),0)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',59). % !ReleasedAt(Spilling(),0). % From E: % % not(released_at(spilling(),0)). not(released_at(spilling,0)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',61). % range time 0 25 % From E: % % :-call_pel_directive(range(time,0,25)). :- call_pel_directive(range(time, 0, 25)). % range height 0 15 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',61). % From E: % % :-call_pel_directive(range(height,0,15)). :- call_pel_directive(range(height, 0, 15)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',63). % range offset 1 15 % From E: % % :-call_pel_directive(range(offset,1,15)). :- call_pel_directive(range(offset, 1, 15)). %; End of file. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e',65). % From E: % % :-call_pel_directive(translate(ending,'/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e.lps')). :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/ext/ec_sources/examples/ecasp/KitchenSink_M25-ea.e.lps')).