:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e',137). % translate: unskipped File: /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e.lps :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). % translate: begining File: /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e.lps % Fri, 09 Oct 2020 15:14:36 GMT File: (0x5625a95c8800)%; %; 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 %; %; @book{Mueller:2006, %; author = "Erik T. Mueller", %; year = "2006", %; title = "Commonsense Reasoning", %; address = "San Francisco", %; publisher = "Morgan Kaufmann/Elsevier", %; } %; :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',20). % load foundations/Root.e :- if(is_e_toplevel). :- load_e_cond('foundations/Root.e', changed). % load('/pack/logicmoo_ec/ext/ec_sources/foundations/Root.e',changed). :- endif. % load foundations/EC.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',20). :- if(is_e_toplevel). :- load_e_cond('foundations/EC.e', changed). % load('/pack/logicmoo_ec/ext/ec_sources/foundations/EC.e',changed). :- endif. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',23). % sort agent % From E: % % sort(agent). sort(agent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',25). % event PatHead(agent) % From E: % % event( % patHead(agent)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',25). events([patHead/1]). % From E: % % mpred_prop( % patHead(agent), % event). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',25). mpred_prop(patHead(agent),event). % event RubStomach(agent) % From E: % % event( % rubStomach(agent)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',25). events([rubStomach/1]). % From E: % % mpred_prop( % rubStomach(agent), % event). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',25). mpred_prop(rubStomach(agent),event). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',28). % agent Nathan % From E: % % t(agent,nathan). agent(nathan). %; Delta % [agent,time] % Happens(PatHead(agent),time) -> % !Happens(RubStomach(agent),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',32). % From E: % % '->'( % patHead(Agent), % not( % rubStomach(Agent))). if patHead(Agent)then not rubStomach(Agent). % reactive_rule([patHead(Agent)],[not(rubStomach(Agent))]). % "% =================================". % Happens(PatHead(Nathan),0) & Happens(RubStomach(Nathan),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',35). % From E: % % ','( % happens( % patHead(nathan), % start), % happens( % rubStomach(nathan), % start)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',35). observe(at(patHead(nathan), start)), observe(at(rubStomach(nathan), start)). % range time 0 1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',37). % From E: % % range(time,0,1). range(time,0,1). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e',39). % range offset 1 1 % From E: % % range(offset,1,1). range(offset,1,1). %; End of file. % translate: ending File: /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/PatHeadRubStomach.e.lps