:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:58:02 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.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 %; %; Example: Carrying a Book (Effect Axioms) %; %; @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/Chapter6/CarryingABook1.e:22 % option modeldiff on % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:24 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:25 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:27 % sort object % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:28 sort(object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:28 sort(object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:28 % sort agent: object % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:29 subsort(agent,object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:29 subsort(agent,object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:29 % sort room % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:30 sort(room). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:30 sort(room). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:31 % object Book % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:32 t(object,book). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:32 object(book). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:32 % agent Nathan % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:33 t(agent,nathan). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:33 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:33 agent(nathan). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:33 % room LivingRoom, Kitchen % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:34 t(room,livingRoom). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:34 room(livingRoom). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:34 t(room,kitchen). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:34 room(kitchen). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:35 % event LetGoOf(agent,object) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 event(letGoOf(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 actions([letGoOf/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 actions([letGoOf/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 meta_argtypes(letGoOf(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 meta_argtypes(letGoOf(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 mpred_prop(letGoOf(agent,object),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 mpred_prop(letGoOf(agent,object),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 meta_argtypes(letGoOf(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 meta_argtypes(letGoOf(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:36 % event PickUp(agent,object) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 event(pickUp(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 actions([pickUp/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 actions([pickUp/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 meta_argtypes(pickUp(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 meta_argtypes(pickUp(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 mpred_prop(pickUp(agent,object),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 mpred_prop(pickUp(agent,object),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 meta_argtypes(pickUp(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 meta_argtypes(pickUp(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:37 % event Walk(agent,room,room) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 event(walk(agent,room,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 actions([walk/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 actions([walk/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 meta_argtypes(walk(agent,room,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 meta_argtypes(walk(agent,room,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 mpred_prop(walk(agent,room,room),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 mpred_prop(walk(agent,room,room),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 meta_argtypes(walk(agent,room,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:38 meta_argtypes(walk(agent,room,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:39 % fluent InRoom(object,room) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 fluent(inRoom(object,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 fluents([inRoom/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 fluents([inRoom/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 meta_argtypes(inRoom(object,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 meta_argtypes(inRoom(object,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 mpred_prop(inRoom(object,room),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 mpred_prop(inRoom(object,room),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 meta_argtypes(inRoom(object,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 meta_argtypes(inRoom(object,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:40 % fluent Holding(agent,object) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 fluent(holding(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 fluents([holding/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 fluents([holding/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 meta_argtypes(holding(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 meta_argtypes(holding(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 mpred_prop(holding(agent,object),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 mpred_prop(holding(agent,object),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 meta_argtypes(holding(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:41 meta_argtypes(holding(agent,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:42 %; Sigma % [agent,room1,room2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:45 % Initiates(Walk(agent,room1,room2),InRoom(agent,room2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:45 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(walk(Agent, Room1, Room2), inRoom(Agent, Room2), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:45 initiates(walk(WalkP_Num3_V,_,Walk), inRoom(WalkP_Num3_V,Walk), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:45 initiated(happens(walk(WalkP_Num3_V,_,Walk), Maptime, Happens), inRoom(WalkP_Num3_V,Walk), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:47 % [agent,room1,room2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:48 % room1!=% room2 -> % Terminates(Walk(agent,room1,room2),InRoom(agent,room1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:49 diff(Room1, Room2) -> terminates(walk(Agent, Room1, Room2), inRoom(Agent, Room1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:49 reactive_rule([diff(Room1,Room2)], [ terminates(walk(Agent,Room1,Room2), at(inRoom(Agent,Room1), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:51 % [agent,object,room,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:52 % HoldsAt(InRoom(agent,room),time) & % HoldsAt(InRoom(object,room),time) -> % Initiates(PickUp(agent,object),Holding(agent,object),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:54 holds_at(inRoom(Agent, Room), Time), holds_at(inRoom(Object, Room), Time) -> initiates(pickUp(Agent, Object), holding(Agent, Object), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:54 reactive_rule([ holds(inRoom(Agent,Room),Time), holds(inRoom(Object,Room),Time) ], [ initiates(pickUp(Agent,Object), at(holding(Agent,Object), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:56 % [agent,object,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:57 % HoldsAt(Holding(agent,object),time) -> % Terminates(LetGoOf(agent,object),Holding(agent,object),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:58 holds_at(holding(Agent, Object), Time) -> terminates(letGoOf(Agent, Object), holding(Agent, Object), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:58 reactive_rule([holds(holding(Agent,Object),Time)], [ terminates(letGoOf(Agent,Object), at(holding(Agent,Object), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:60 % [agent,object,room1,room2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:61 % HoldsAt(Holding(agent,object),time) -> % Initiates(Walk(agent,room1,room2),InRoom(object,room2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:62 holds_at(holding(Agent, Object), Time) -> initiates(walk(Agent, Room1, Room2), inRoom(Object, Room2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:62 reactive_rule([holds(holding(Agent,Object),Time)], [ initiates(walk(Agent,Room1,Room2), at(inRoom(Object,Room2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:64 % [agent,object,room1,room2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:65 % HoldsAt(Holding(agent,object),time) & % room1!=room2 -> % Terminates(Walk(agent,room1,room2),InRoom(object,room1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:67 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:67 holds_at(holding(Agent, Object), Time), diff(Room1, Room2) -> terminates(walk(Agent, Room1, Room2), inRoom(Object, Room1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:67 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:67 reactive_rule([ holds(holding(Agent,Object),Time), diff(Room1,Room2) ], [ terminates(walk(Agent,Room1,Room2), at(inRoom(Object,Room1), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:69 %; Delta % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:71 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:71 % Happens(PickUp(Nathan,Book),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:71 /* [] -> ta(TaP_Num4_V, tvs1=[start], tvs2=[start], happens(pickUp(nathan, book), start)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:71 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:71 happens(pickUp(nathan,book),start). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:71 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:71 observe(at(pickUp(nathan,book),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:71 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:71 observe(at(pickUp(nathan,book),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:72 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:72 % Happens(Walk(Nathan,LivingRoom,Kitchen),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:72 /* [b(start, Maptime), ignore(start+1==Maptime)] -> ta(TaP_Num4_V, tvs1=[start+1], tvs2=[Maptime, start], happens(walk(nathan, livingRoom, kitchen), Maptime)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:72 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:72 b(start, Maptime2) -> happens(walk(nathan, livingRoom, kitchen), Maptime2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:72 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:72 reactive_rule([b(start,Maptime2)], [happens(walk(nathan,livingRoom,kitchen),Maptime2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:74 %; Psi % [object,room1,room2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:77 % HoldsAt(InRoom(object,room1),time) & % HoldsAt(InRoom(object,room2),time) -> % room1=room2. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:79 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:79 holds_at(inRoom(Object, Room1), Time), holds_at(inRoom(Object, Room2), Time) -> equals(Room1, Room2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:79 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:79 reactive_rule([ holds(inRoom(Object,Room1),Time), holds(inRoom(Object,Room2),Time) ], [equals(Room1,Room2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:81 %; Gamma % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:83 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:83 % HoldsAt(InRoom(Nathan,LivingRoom),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:83 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(inRoom(nathan, livingRoom))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:83 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:83 initially(inRoom(nathan,livingRoom)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:83 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:83 initial_state([inRoom(nathan,livingRoom)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:84 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:84 % HoldsAt(InRoom(Book,LivingRoom),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:84 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(inRoom(book, livingRoom))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:84 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:84 initially(inRoom(book,livingRoom)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:84 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:84 initial_state([inRoom(book,livingRoom)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:86 %; added: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:87 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:87 % !HoldsAt(Holding(Nathan,Book),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:87 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(holding(nathan, book)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:87 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:87 initially(neg(holding(nathan,book))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:87 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:87 initial_state([not(holding(nathan,book))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:88 % [agent,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:88 % !HoldsAt(Holding(agent,agent),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:88 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(neg(holding(Agent, Agent)), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:88 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:88 holds_at(neg(holding(Holding,Holding)),Time2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:88 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:88 l_int(holds(not(holding(Holding,Holding)),Time2),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:90 % completion Happens % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:91 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:91 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:91 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:91 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:92 % range time 0 2 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:93 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:93 range(time,0,2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:93 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:93 range(time,0,2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:93 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:94 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:94 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:94 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter6/CarryingABook1.e:94 range(offset,1,1). %; End of file.