:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:57:56 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e'). */ %; %; 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", %; } %; % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:19 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:20 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:22 % sort agent % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:23 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:23 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:24 % agent Nathan % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:25 t(agent,nathan). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:25 agent(nathan). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:26 % fluent Awake(agent) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 fluent(awake(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 fluents([awake/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 fluents([awake/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 meta_argtypes(awake(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 meta_argtypes(awake(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 mpred_prop(awake(agent),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 mpred_prop(awake(agent),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 meta_argtypes(awake(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:27 meta_argtypes(awake(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:28 % event WakeUp(agent) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 event(wakeUp(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 actions([wakeUp/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 actions([wakeUp/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 meta_argtypes(wakeUp(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 meta_argtypes(wakeUp(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 mpred_prop(wakeUp(agent),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 mpred_prop(wakeUp(agent),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 meta_argtypes(wakeUp(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 meta_argtypes(wakeUp(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:29 % event FallAsleep(agent) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 event(fallAsleep(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 actions([fallAsleep/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 actions([fallAsleep/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 meta_argtypes(fallAsleep(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 meta_argtypes(fallAsleep(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 mpred_prop(fallAsleep(agent),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 mpred_prop(fallAsleep(agent),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 meta_argtypes(fallAsleep(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:30 meta_argtypes(fallAsleep(agent)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:31 %; Sigma % [agent,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:33 % Initiates(WakeUp(agent),Awake(agent),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:33 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(wakeUp(Agent), awake(Agent), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:33 initiates(wakeUp(Wakeup),awake(Wakeup),Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:33 initiated(happens(wakeUp(Wakeup),Maptime,Happens), awake(Wakeup), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:34 % [agent,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:34 % Terminates(FallAsleep(agent),Awake(agent),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:34 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], terminates(fallAsleep(Agent), awake(Agent), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:34 terminates(fallAsleep(Fallasleep), awake(Fallasleep), Terminates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:34 terminated(happens(fallAsleep(Fallasleep), Maptime, Happens), awake(Fallasleep), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:36 %; Delta % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:38 % Happens(WakeUp(Nathan),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:38 /* [b(start, Maptime), ignore(start+1==Maptime)] -> ta(TaP_Num4_V, tvs1=[start+1], tvs2=[Maptime, start], happens(wakeUp(nathan), Maptime)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:38 b(start, Maptime2) -> happens(wakeUp(nathan), Maptime2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:38 reactive_rule([b(start,Maptime2)], [happens(wakeUp(nathan),Maptime2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:40 %; entailed: %; HoldsAt(Awake(Nathan),3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:43 % completion Happens % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:44 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:44 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:45 % range time 0 3 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:46 range(time,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:46 range(time,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:46 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:47 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter2/Sleep4.e:47 range(offset,1,1). %; End of file.