:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep2.e',48). % translate: unskipped File: /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e.lps :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). % translate: begining File: /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e.lps % Fri, 09 Oct 2020 15:14:17 GMT File: (0x5625a973f200)%; %; 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/Chapter2/Sleep3.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/Chapter2/Sleep3.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/Chapter2/Sleep3.e',23). % sort agent % From E: % % sort(agent). sort(agent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',25). % agent Nathan % From E: % % t(agent,nathan). agent(nathan). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',27). % fluent Awake(agent) % From E: % % fluent( % awake(agent)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',27). fluents([awake/1]). % From E: % % mpred_prop( % awake(agent), % fluent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',27). mpred_prop(awake(agent),fluent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',29). % event WakeUp(agent) % From E: % % event( % wakeUp(agent)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',29). events([wakeUp/1]). % From E: % % mpred_prop( % wakeUp(agent), % event). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',29). mpred_prop(wakeUp(agent),event). % event FallAsleep(agent) % From E: % % event( % fallAsleep(agent)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',29). events([fallAsleep/1]). % From E: % % mpred_prop( % fallAsleep(agent), % event). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',29). mpred_prop(fallAsleep(agent),event). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',32). %; Sigma % [agent,time] % Initiates(WakeUp(agent),Awake(agent),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',34). % From E: % % initiates( % wakeUp(Agent), % awake(Agent), % Time). wakeUp(Agent)initiates awake(Agent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',34). /* initiated(happens(wakeUp(Agent),Time_From,Time_Until), awake(Agent), []). */ % "% =================================". % [agent,time] % Terminates(FallAsleep(agent),Awake(agent),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',34). % From E: % % terminates( % fallAsleep(Agent), % awake(Agent), % Time). fallAsleep(Agent)terminates awake(Agent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',34). /* terminated(happens(fallAsleep(Agent), Time_From, Time_Until), awake(Agent), []). */ % "% =================================". %; Delta % [agent,time] % Happens(WakeUp(agent),time) -> % !HoldsAt(Awake(agent),time). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',39). % From E: % % '->'( % wakeUp(Agent), % holds_at( % not( % awake(Agent)), % Time)). not awake(Agent)at Time if wakeUp(Agent). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',39). /* l_int(holds(not(awake(Agent)),Time), [happens(wakeUp(Agent),Time,Time)]). */ % "% =================================". % Happens(WakeUp(Nathan),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',42). % From E: % % happens( % wakeUp(nathan), % t+0). observe wakeUp(nathan)at t+0. % observe([wakeUp(nathan)],t+0). % "% =================================". %; Gamma :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',47). % HoldsAt(Awake(Nathan),1). % From E: % % holds_at( % awake(nathan), % start+1). awake(nathan)at start+1. % l_int(holds(awake(nathan),start+1),[]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',49). %; inferred: %; !HoldsAt(Awake(Nathan),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',52). % completion Happens % From E: % % completion(happens). completion(happens). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e',54). % 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/Chapter2/Sleep3.e',54). % From E: % % range(offset,1,1). range(offset,1,1). %; End of file. % translate: ending File: /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep3.e.lps