:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:57:25 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.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/Chapter10/MovingNewspaperAndBox.e:19 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:20 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:22 % sort object % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:23 sort(object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:23 sort(object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:23 % sort agent: object % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:24 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:24 subsort(agent,object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:24 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:24 subsort(agent,object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:24 % sort physobj: object % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:25 subsort(physobj,object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:25 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:25 subsort(physobj,object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:25 % sort room: object % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:26 subsort(room,object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:26 subsort(room,object). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:27 % fluent IN(object,object) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 fluent(in(object,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 fluents([in/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 fluents([in/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 meta_argtypes(in(object,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 meta_argtypes(in(object,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 mpred_prop(in(object,object),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 mpred_prop(in(object,object),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 meta_argtypes(in(object,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 meta_argtypes(in(object,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:28 % fluent INROOM(object,room) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 fluent(inroom(object,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 fluents([inroom/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 fluents([inroom/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 meta_argtypes(inroom(object,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 meta_argtypes(inroom(object,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 mpred_prop(inroom(object,room),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 mpred_prop(inroom(object,room),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 meta_argtypes(inroom(object,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 meta_argtypes(inroom(object,room)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:29 % noninertial INROOM % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:30 noninertial(inroom). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:30 noninertial(inroom). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:31 % event MOVE(agent,object,object,object) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 event(move(agent,object,object,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 actions([move/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 actions([move/4]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 meta_argtypes(move(agent,object,object,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 meta_argtypes(move(agent,object,object,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 mpred_prop(move(agent,object,object,object),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 mpred_prop(move(agent,object,object,object),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 meta_argtypes(move(agent,object,object,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:32 meta_argtypes(move(agent,object,object,object)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:33 % agent Lisa % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:34 t(agent,lisa). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:34 agent(lisa). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:34 % physobj Box, Newspaper % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:35 t(physobj,box). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:35 physobj(box). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:35 t(physobj,newspaper). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:35 physobj(newspaper). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:35 % room Kitchen, LivingRoom % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:36 t(room,kitchen). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:36 room(kitchen). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:36 t(room,livingRoom). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:36 room(livingRoom). %; Sigma %; RS10 % [agent,physobj1,physobj2,room,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:41 % HoldsAt(IN(agent,room),time) & % HoldsAt(IN(physobj1,room),time) & % HoldsAt(INROOM(physobj2,room),time) -> % Initiates(MOVE(agent,physobj1,room,physobj2),IN(physobj1,physobj2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:44 holds_at(in(Agent, Room), Time), holds_at(in(Physobj1, Room), Time), holds_at(inroom(Physobj2, Room), Time) -> initiates(move(Agent, Physobj1, Room, Physobj2), in(Physobj1, Physobj2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:44 reactive_rule([ holds(in(Agent,Room),Time), holds(in(Physobj1,Room),Time), holds(inroom(Physobj2,Room),Time) ], [ initiates(move(Agent, Physobj1, Room, Physobj2), at(in(Physobj1,Physobj2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:46 %; RS11 % [agent,physobj1,physobj2,room,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:48 % HoldsAt(IN(agent,room),time) & % HoldsAt(IN(physobj1,room),time) & % HoldsAt(INROOM(physobj2,room),time) -> % Terminates(MOVE(agent,physobj1,room,physobj2),IN(physobj1,room),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:51 holds_at(in(Agent, Room), Time), holds_at(in(Physobj1, Room), Time), holds_at(inroom(Physobj2, Room), Time) -> terminates(move(Agent, Physobj1, Room, Physobj2), in(Physobj1, Room), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:51 reactive_rule([ holds(in(Agent,Room),Time), holds(in(Physobj1,Room),Time), holds(inroom(Physobj2,Room),Time) ], [ terminates(move(Agent, Physobj1, Room, Physobj2), at(in(Physobj1,Room),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:53 %; RS12 % [agent,physobj1,physobj2,room,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:55 % HoldsAt(IN(agent,room),time) -> % Initiates(MOVE(agent,physobj1,physobj2,room),IN(physobj1,room),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:56 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:56 holds_at(in(Agent, Room), Time) -> initiates(move(Agent, Physobj1, Physobj2, Room), in(Physobj1, Room), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:56 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:56 reactive_rule([holds(in(Agent,Room),Time)], [ initiates(move(Agent, Physobj1, Physobj2, Room), at(in(Physobj1,Room),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:58 %; RS13 % [agent,physobj1,physobj2,room,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:60 % HoldsAt(IN(agent,room),time) -> % Terminates(MOVE(agent,physobj1,physobj2,room),IN(physobj1,physobj2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:61 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:61 holds_at(in(Agent, Room), Time) -> terminates(move(Agent, Physobj1, Physobj2, Room), in(Physobj1, Physobj2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:61 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:61 reactive_rule([holds(in(Agent,Room),Time)], [ terminates(move(Agent, Physobj1, Physobj2, Room), at(in(Physobj1,Physobj2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:63 %; RS14 % [agent,room1,room2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:65 % HoldsAt(IN(agent,room1),time) -> % Initiates(MOVE(agent,agent,room1,room2),IN(agent,room2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:66 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:66 holds_at(in(Agent, Room1), Time) -> initiates(move(Agent, Agent, Room1, Room2), in(Agent, Room2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:66 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:66 reactive_rule([holds(in(Agent,Room1),Time)], [ initiates(move(Agent, Agent, Room1, Room2), at(in(Agent,Room2),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:68 %; RS15 % [agent,room1,room2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:70 % HoldsAt(IN(agent,room1),time) -> % Terminates(MOVE(agent,agent,room1,room2),IN(agent,room1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:71 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:71 holds_at(in(Agent, Room1), Time) -> terminates(move(Agent, Agent, Room1, Room2), in(Agent, Room1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:71 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:71 reactive_rule([holds(in(Agent,Room1),Time)], [ terminates(move(Agent, Agent, Room1, Room2), at(in(Agent,Room1),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:73 %; RS16 % [agent,physobj,room,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:75 % HoldsAt(IN(agent,room),time) & % HoldsAt(IN(physobj,room),time) -> % Initiates(MOVE(agent,physobj,room,agent),IN(physobj,agent),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:77 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:77 holds_at(in(Agent, Room), Time), holds_at(in(Physobj, Room), Time) -> initiates(move(Agent, Physobj, Room, Agent), in(Physobj, Agent), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:77 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:77 reactive_rule([ holds(in(Agent,Room),Time), holds(in(Physobj,Room),Time) ], [ initiates(move(Agent, Physobj, Room, Agent), at(in(Physobj,Agent),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:79 %; RS17 % [agent,physobj,room,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:81 % HoldsAt(IN(agent,room),time) & % HoldsAt(IN(physobj,room),time) -> % Terminates(MOVE(agent,physobj,room,agent),IN(physobj,room),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:83 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:83 holds_at(in(Agent, Room), Time), holds_at(in(Physobj, Room), Time) -> terminates(move(Agent, Physobj, Room, Agent), in(Physobj, Room), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:83 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:83 reactive_rule([ holds(in(Agent,Room),Time), holds(in(Physobj,Room),Time) ], [ terminates(move(Agent, Physobj, Room, Agent), at(in(Physobj,Room),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:85 %; RS18 % [agent,physobj,room,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:87 % HoldsAt(IN(physobj,agent),time) & % HoldsAt(IN(agent,room),time) -> % Initiates(MOVE(agent,physobj,agent,room),IN(physobj,room),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:89 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:89 holds_at(in(Physobj, Agent), Time), holds_at(in(Agent, Room), Time) -> initiates(move(Agent, Physobj, Agent, Room), in(Physobj, Room), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:89 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:89 reactive_rule([ holds(in(Physobj,Agent),Time), holds(in(Agent,Room),Time) ], [ initiates(move(Agent, Physobj, Agent, Room), at(in(Physobj,Room),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:91 %; RS19 % [agent,physobj,room,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:93 % HoldsAt(IN(physobj,agent),time) & % HoldsAt(IN(agent,room),time) -> % Terminates(MOVE(agent,physobj,agent,room),IN(physobj,agent),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:95 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:95 holds_at(in(Physobj, Agent), Time), holds_at(in(Agent, Room), Time) -> terminates(move(Agent, Physobj, Agent, Room), in(Physobj, Agent), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:95 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:95 reactive_rule([ holds(in(Physobj,Agent),Time), holds(in(Agent,Room),Time) ], [ terminates(move(Agent, Physobj, Agent, Room), at(in(Physobj,Agent),Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:97 %; Delta % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:99 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:99 % Happens(MOVE(Lisa,Newspaper,LivingRoom,Box),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:99 /* [] -> ta(TaP_Num4_V, tvs1=[start], tvs2=[start], happens(move(lisa, newspaper, livingRoom, box), start)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:99 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:99 happens(move(lisa,newspaper,livingRoom,box),start). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:99 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:99 observe(at(move(lisa,newspaper,livingRoom,box),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:99 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:99 observe(at(move(lisa,newspaper,livingRoom,box),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:100 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:100 % Happens(MOVE(Lisa,Box,LivingRoom,Lisa),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:100 /* [b(start, Maptime), ignore(start+1==Maptime)] -> ta(TaP_Num4_V, tvs1=[start+1], tvs2=[Maptime, start], happens(move(lisa, box, livingRoom, lisa), Maptime)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:100 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:100 b(start, Maptime2) -> happens(move(lisa, box, livingRoom, lisa), Maptime2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:100 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:100 reactive_rule([b(start,Maptime2)], [happens(move(lisa,box,livingRoom,lisa),Maptime2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:101 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:101 % Happens(MOVE(Lisa,Lisa,LivingRoom,Kitchen),2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:101 /* [b(start, Start_Num2), toffset(start, 2, Start_Num2), ignore(start+2==Start_Num2)] -> ta(TaP_Num4_V, tvs1=[start+2], tvs2=[Start_Num2, start], happens(move(lisa, lisa, livingRoom, kitchen), Start_Num2)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:101 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:101 b(start, Maptime), toffset(start, 2, Maptime) -> happens(move(lisa, lisa, livingRoom, kitchen), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:101 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:101 reactive_rule([b(start,Maptime),toffset(start,2,Maptime)], [ happens(move(lisa,lisa,livingRoom,kitchen), Maptime) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:102 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:102 % Happens(MOVE(Lisa,Box,Lisa,Kitchen),3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:102 /* [b(start, Start_Num3), toffset(start, 3, Start_Num3), ignore(start+3==Start_Num3)] -> ta(TaP_Num4_V, tvs1=[start+3], tvs2=[Start_Num3, start], happens(move(lisa, box, lisa, kitchen), Start_Num3)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:102 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:102 b(start, Maptime), toffset(start, 3, Maptime) -> happens(move(lisa, box, lisa, kitchen), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:102 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:102 reactive_rule([b(start,Maptime),toffset(start,3,Maptime)], [happens(move(lisa,box,lisa,kitchen),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:103 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:103 % Happens(MOVE(Lisa,Lisa,Kitchen,LivingRoom),4). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:103 /* [b(start, Start_Num4), toffset(start, 4, Start_Num4), ignore(start+4==Start_Num4)] -> ta(TaP_Num4_V, tvs1=[start+4], tvs2=[Start_Num4, start], happens(move(lisa, lisa, kitchen, livingRoom), Start_Num4)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:103 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:103 b(start, Maptime), toffset(start, 4, Maptime) -> happens(move(lisa, lisa, kitchen, livingRoom), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:103 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:103 reactive_rule([b(start,Maptime),toffset(start,4,Maptime)], [ happens(move(lisa,lisa,kitchen,livingRoom), Maptime) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:105 %; Psi %; RS1 % [object,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:108 % !HoldsAt(IN(object,object),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:108 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(neg(in(Object, Object)), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:108 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:108 holds_at(neg(in(In,In)),Time2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:108 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:108 l_int(holds(not(in(In,In)),Time2),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:110 %; RS2 % [object1,object2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:112 % HoldsAt(IN(object1,object2),time) -> % !HoldsAt(IN(object2,object1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:113 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:113 holds_at(in(Object1, Object2), Time) -> holds_at(neg(in(Object2, Object1)), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:113 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:113 reactive_rule([holds(in(Object1,Object2),Time)], [holds(not(in(Object2,Object1)),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:115 %; RS3 % [object1,object2,object3,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:117 % HoldsAt(IN(object1,object2),time) & % HoldsAt(IN(object2,object3),time) -> % !HoldsAt(IN(object1,object3),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:119 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:119 holds_at(in(Object1, Object2), Time), holds_at(in(Object2, Object3), Time) -> holds_at(neg(in(Object1, Object3)), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:119 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:119 reactive_rule([ holds(in(Object1,Object2),Time), holds(in(Object2,Object3),Time) ], [holds(not(in(Object1,Object3)),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:121 %; RS4 % [object,object1,object2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:123 % HoldsAt(IN(object,object1),time) & % HoldsAt(IN(object,object2),time) -> % object1=object2. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:125 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:125 holds_at(in(Object, Object1), Time), holds_at(in(Object, Object2), Time) -> equals(Object1, Object2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:125 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:125 reactive_rule([ holds(in(Object,Object1),Time), holds(in(Object,Object2),Time) ], [equals(Object1,Object2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:127 %; RS7 % [object,room,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:129 % HoldsAt(IN(object,room),time) -> % HoldsAt(INROOM(object,room),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:130 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:130 holds_at(in(Object, Room), Time) -> holds_at(inroom(Object, Room), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:130 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:130 reactive_rule([holds(in(Object,Room),Time)], [holds(inroom(Object,Room),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:132 %; RS8 % [object1,object2,room,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:134 % HoldsAt(IN(object1,object2),time) & % HoldsAt(INROOM(object2,room),time) -> % HoldsAt(INROOM(object1,room),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:136 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:136 holds_at(in(Object1, Object2), Time), holds_at(inroom(Object2, Room), Time) -> holds_at(inroom(Object1, Room), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:136 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:136 reactive_rule([ holds(in(Object1,Object2),Time), holds(inroom(Object2,Room),Time) ], [holds(inroom(Object1,Room),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:138 %; RS9 % [object,room1,room2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:140 % HoldsAt(INROOM(object,room1),time) & % HoldsAt(INROOM(object,room2),time) -> % room1=room2. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:142 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:142 holds_at(inroom(Object, Room1), Time), holds_at(inroom(Object, Room2), Time) -> equals(Room1, Room2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:142 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:142 reactive_rule([ holds(inroom(Object,Room1),Time), holds(inroom(Object,Room2),Time) ], [equals(Room1,Room2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:144 %; Gamma % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:146 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:146 % HoldsAt(IN(Lisa,LivingRoom),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:146 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(in(lisa, livingRoom))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:146 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:146 initially(in(lisa,livingRoom)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:146 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:146 initial_state([in(lisa,livingRoom)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:147 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:147 % HoldsAt(IN(Newspaper,LivingRoom),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:147 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(in(newspaper, livingRoom))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:147 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:147 initially(in(newspaper,livingRoom)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:147 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:147 initial_state([in(newspaper,livingRoom)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:148 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:148 % HoldsAt(IN(Box,LivingRoom),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:148 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(in(box, livingRoom))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:148 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:148 initially(in(box,livingRoom)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:148 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:148 initial_state([in(box,livingRoom)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:150 %; added: % [room1,room2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:151 % !HoldsAt(INROOM(room1,room2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:151 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(neg(inroom(Room1, Room2)), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:151 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:151 holds_at(neg(inroom(_,Inroom)),Time3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:151 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:151 l_int(holds(not(inroom(_,Inroom)),Time3),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:152 % [room,object,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:152 % !HoldsAt(IN(room,object),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:152 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(neg(in(Room, Object)), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:152 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:152 holds_at(neg(in(_,In)),Time3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:152 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:152 l_int(holds(not(in(_,In)),Time3),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:154 %; entailed: %; HoldsAt(IN(Lisa,LivingRoom),5). %; HoldsAt(IN(Box,Kitchen),5). %; HoldsAt(INROOM(Newspaper,Kitchen),5). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:159 % completion Happens % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:160 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:160 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:160 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:160 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:161 % range time 0 5 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:162 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:162 range(time,0,5). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:162 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:162 range(time,0,5). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:162 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:163 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:163 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:163 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter10/MovingNewspaperAndBox.e:163 range(offset,1,1). %; End of file.