:-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_includes.e',257). % From E: % % :-call_pel_directive(translate(unskipped,'/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e.lps')). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e.lps')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_includes.e',257). % From E: % % :-call_pel_directive(translate(begining,'/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e.lps')). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e.lps')). % Sat, 10 Oct 2020 15:32:29 GMT File: (0x559e4b46a900)%; %; Copyright (c) 2005 IBM Corporation and others. %; All rights reserved. This program and the accompanying materials %; are made available under the terms of the Common Public License v1.0 %; which accompanies this distribution, and is available at %; http://www.eclipse.org/legal/cpl-v10.html %; %; Contributors: %; IBM - Initial implementation %; %; deduction :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',13). % option timediff off % From E: % % :-call_pel_directive(option(timediff,off)). :- call_pel_directive(option(timediff, off)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',15). % 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/test/ec_planner/ectest/Example1a.e',15). % From E: % % :-call_pel_directive(load('foundations/EC.e')). :- call_pel_directive(load('foundations/EC.e')). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',18). % sort agent % From E: % % sort(agent). sort(agent). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',20). % fluent Awake(agent) % From E: % % fluent(awake(agent)). mpred_prop(awake(agent),fluent). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',20). fluents([awake/1]). %;; executable(wake_up(_X)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',22). % event WakeUp(agent) % From E: % % event(wakeUp(agent)). events([wakeUp/1]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',22). mpred_prop(wakeUp(agent),action). actions([wakeUp/1]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',24). %;; axiom(initiates(wake_up(X),awake(X),T),[]). % [agent,time] % Initiates(WakeUp(agent),Awake(agent),time). % From E: % % initiates_at( % wakeUp(Agent), % awake(Agent), % Time). % [Time]. wakeUp(Agent)initiates awake(Agent). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',24). /* initiated(happens(wakeUp(Agent),Time_From,Time_Until), awake(Agent), []). */ % "% =================================". % agent James :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',26). % From E: % % t(agent,james). agent(james). %;; axiom(initially(neg(awake(nathan))),[]). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',29). % !HoldsAt(Awake(James),0). % From E: % % holds_at(not(awake(james)),0). initially not awake(james). % initial_state([not(awake(james))]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',31). % Delta: % From E: % % directive(delta). directive(delta). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',31). % Happens(WakeUp(James),0). % From E: % % happens_at(wakeUp(james),0). observe wakeUp(james)at 0. % observe([wakeUp(james)],0). % "% =================================". :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',33). % completion Delta Happens % From E: % % :-call_pel_directive(completion(delta)). :- call_pel_directive(completion(delta)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',33). % From E: % % :-call_pel_directive(completion(happens_at)). :- call_pel_directive(completion(happens_at)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',35). % range time 0 1 % From E: % % :-call_pel_directive(range(time,0,1)). :- call_pel_directive(range(time, 0, 1)). % range offset 1 1 :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',35). % From E: % % :-call_pel_directive(range(offset,1,1)). :- call_pel_directive(range(offset, 1, 1)). %;; axiom(terminates(fall_asleep(X),awake(Y),T),[]). %;; %;; abducible(dummy). %;; executable(fall_asleep(_X)). :-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e',43). % From E: % % :-call_pel_directive(translate(ending,'/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e.lps')). :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/test/ec_planner/ectest/Example1a.e.lps')).