:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Abduction.e',34). % translate: unskipped File: /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e.lps :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). % translate: begining File: /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e.lps % Fri, 09 Oct 2020 15:14:00 GMT File: (0x5625a97f6c00)%; %; 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/Chapter13/Deduction1.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/Chapter13/Deduction1.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/Chapter13/Deduction1.e',23). % sort agent % From E: % % sort(agent). sort(agent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',25). % fluent Awake(agent) % From E: % % fluent( % awake(agent)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',25). fluents([awake/1]). % From E: % % mpred_prop( % awake(agent), % fluent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',25). mpred_prop(awake(agent),fluent). % event WakeUp(agent) % From E: % % event( % wakeUp(agent)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',25). events([wakeUp/1]). % From E: % % mpred_prop( % wakeUp(agent), % event). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',25). mpred_prop(wakeUp(agent),event). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',28). % [agent,time] % Initiates(WakeUp(agent),Awake(agent),time). % From E: % % initiates( % wakeUp(Agent), % awake(Agent), % Time). wakeUp(Agent)initiates awake(Agent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',28). /* initiated(happens(wakeUp(Agent),Time_From,Time_Until), awake(Agent), []). */ % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',30). % agent James % From E: % % t(agent,james). agent(james). % !HoldsAt(Awake(James),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',30). % From E: % % initially( % neg( % awake(james))). initially not awake(james). % initial_state([not(awake(james))]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',32). % Delta: % Happens(WakeUp(James),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',32). % From E: % % '->'( % axiom_uses(delta,Axiom_Uses), % happens( % wakeUp(james), % t+0)). if axiom_uses(delta, _)then observe wakeUp(james)at t+0. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',32). /* reactive_rule([axiom_uses(delta,Axiom_Uses)], [observe(at(wakeUp(james),t+0))]). */ % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',34). % completion Delta Happens % From E: % % completion(delta). completion(delta). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',34). % From E: % % completion(happens). completion(happens). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',36). % range time 0 1 % From E: % % range(time,0,1). range(time,0,1). % range offset 1 1 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e',36). % From E: % % range(offset,1,1). range(offset,1,1). % translate: ending File: /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter13/Deduction1.e.lps