:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:58:12 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.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 %; %; @inproceedings{Shanahan:1996, %; author = "Murray Shanahan", %; year = "1996", %; title = "Robotics and the common sense informatic situation", %; editor = "Wolfgang Wahlster", %; booktitle = "\uppercase{P}roceedings of the \uppercase{T}welfth \uppercase{E}uropean \uppercase{C}onference on \uppercase{A}rtificial \uppercase{I}ntelligence", %; pages = "684--688", %; address = "Chichester, UK", %; publisher = "John Wiley", %; } %; %; @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/Chapter8/MovingRobot.e:30 % option renaming off % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:32 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:33 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:35 % sort coord: integer % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:36 subsort(coord,integer). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:36 subsort(coord,integer). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:37 % sort direction: integer % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:38 subsort(direction,integer). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:38 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:38 subsort(direction,integer). %; 0 -> 0, 1 -> 90, 2 -> 180, 3 -> 370 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:40 % sort robot % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:41 sort(robot). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:41 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:41 sort(robot). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:42 % robot Robot1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:43 t(robot,robot1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:43 robot(robot1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:44 % function Sin(direction): coord % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 function(sin(direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 functions([sin/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 functions([sin/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 meta_argtypes(sin(direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 meta_argtypes(sin(direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 mpred_prop(sin(direction),function). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 mpred_prop(sin(direction),function). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 meta_argtypes(sin(direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 meta_argtypes(sin(direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 predicate(sinPred(direction,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 actions([sinPred/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 actions([sinPred/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 meta_argtypes(sinPred(direction,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 meta_argtypes(sinPred(direction,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 mpred_prop(sinPred(direction,coord),predicate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 mpred_prop(sinPred(direction,coord),predicate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 meta_argtypes(sinPred(direction,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 meta_argtypes(sinPred(direction,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 /* fix_axiom_head(Time) -> [ functional_predicate(sin, sinPred), (->), holds_at(functional_predicate(sin, sinPred), Time) ]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(functional_predicate(sin, sinPred), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 holds_at(functional_predicate(sin,sinPred),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 l_int(holds(functional_predicate(sin,sinPred),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 resultIsa(sin,coord). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 resultIsa(sin,coord). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:45 % function Cos(direction): coord % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 function(cos(direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 functions([cos/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 functions([cos/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 meta_argtypes(cos(direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 meta_argtypes(cos(direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 mpred_prop(cos(direction),function). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 mpred_prop(cos(direction),function). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 meta_argtypes(cos(direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 meta_argtypes(cos(direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 predicate(cosPred(direction,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 actions([cosPred/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 actions([cosPred/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 meta_argtypes(cosPred(direction,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 meta_argtypes(cosPred(direction,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 mpred_prop(cosPred(direction,coord),predicate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 mpred_prop(cosPred(direction,coord),predicate). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 meta_argtypes(cosPred(direction,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 meta_argtypes(cosPred(direction,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 /* fix_axiom_head(Time) -> [ functional_predicate(cos, cosPred), (->), holds_at(functional_predicate(cos, cosPred), Time) ]. */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], holds_at(functional_predicate(cos, cosPred), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 holds_at(functional_predicate(cos,cosPred),Time1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 l_int(holds(functional_predicate(cos,cosPred),Time1),[]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 resultIsa(cos,coord). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:46 resultIsa(cos,coord). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:47 % Sin(0)=0. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:47 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], equals(sin(0), 0)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:47 equals(sin(0),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:47 equals(sin(0),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:48 % Sin(1)=1. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:48 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], equals(sin(1), 1)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:48 equals(sin(1),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:48 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:48 equals(sin(1),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:49 % Sin(2)=2. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:49 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], equals(sin(2), 2)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:49 equals(sin(2),2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:49 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:49 equals(sin(2),2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:50 % Sin(3)=3. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:50 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], equals(sin(3), 3)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:50 equals(sin(3),3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:50 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:50 equals(sin(3),3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:52 % Cos(0)=1. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:52 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], equals(cos(0), 1)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:52 equals(cos(0),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:52 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:52 equals(cos(0),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:53 % Cos(1)=2. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:53 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], equals(cos(1), 2)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:53 equals(cos(1),2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:53 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:53 equals(cos(1),2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:54 % Cos(2)=3. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:54 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], equals(cos(2), 3)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:54 equals(cos(2),3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:54 equals(cos(2),3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:55 % Cos(3)=4. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:55 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], equals(cos(3), 4)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:55 equals(cos(3),4). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:55 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:55 equals(cos(3),4). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:57 % fluent Direction(robot,direction) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 fluent(direction(robot,direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 fluents([direction/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 fluents([direction/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 meta_argtypes(direction(robot,direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 meta_argtypes(direction(robot,direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 mpred_prop(direction(robot,direction),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 mpred_prop(direction(robot,direction),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 meta_argtypes(direction(robot,direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 meta_argtypes(direction(robot,direction)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:58 % fluent Location(robot,coord,coord) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 fluent(location(robot,coord,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 fluents([location/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 fluents([location/3]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 meta_argtypes(location(robot,coord,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 meta_argtypes(location(robot,coord,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 mpred_prop(location(robot,coord,coord),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 mpred_prop(location(robot,coord,coord),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 meta_argtypes(location(robot,coord,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:59 meta_argtypes(location(robot,coord,coord)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:60 % event MoveLeftWheel(robot) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 event(moveLeftWheel(robot)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 events([moveLeftWheel/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 events([moveLeftWheel/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 meta_argtypes(moveLeftWheel(robot)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 meta_argtypes(moveLeftWheel(robot)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 mpred_prop(moveLeftWheel(robot),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 mpred_prop(moveLeftWheel(robot),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 meta_argtypes(moveLeftWheel(robot)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 meta_argtypes(moveLeftWheel(robot)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:61 % event MoveRightWheel(robot) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 event(moveRightWheel(robot)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 events([moveRightWheel/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 events([moveRightWheel/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 meta_argtypes(moveRightWheel(robot)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 meta_argtypes(moveRightWheel(robot)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 mpred_prop(moveRightWheel(robot),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 mpred_prop(moveRightWheel(robot),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 meta_argtypes(moveRightWheel(robot)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:62 meta_argtypes(moveRightWheel(robot)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:63 %; Sigma % [robot,direction1,direction2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:66 % !Happens(MoveRightWheel(robot),time) & % HoldsAt(Direction(robot,direction1),time) & % direction2 = (direction1-1)-> % Initiates(MoveLeftWheel(robot),Direction(robot,direction2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:69 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:69 not(happens(moveRightWheel(Robot), Time)), holds_at(direction(Robot, Direction1), Time), equals(Direction2, Direction1-1) -> initiates(moveLeftWheel(Robot), direction(Robot, Direction2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:69 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:69 reactive_rule([ not(happens(moveRightWheel(Robot),Time)), holds(direction(Robot,Direction1), Time), equals(Direction2,Direction1-1) ], [ initiates(moveLeftWheel(Robot), at(direction(Robot,Direction2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:71 % [robot,direction,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:72 % !Happens(MoveRightWheel(robot),time) & % HoldsAt(Direction(robot,direction),time) -> % Terminates(MoveLeftWheel(robot),Direction(robot,direction),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:74 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:74 not(happens(moveRightWheel(Robot), Time)), holds_at(direction(Robot, Direction), Time) -> terminates(moveLeftWheel(Robot), direction(Robot, Direction), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:74 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:74 reactive_rule([ not(happens(moveRightWheel(Robot),Time)), holds(direction(Robot,Direction), Time) ], [ terminates(moveLeftWheel(Robot), at(direction(Robot,Direction), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:76 % [robot,direction1,direction2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:77 % !Happens(MoveLeftWheel(robot),time) & % HoldsAt(Direction(robot,direction1),time) & % direction2 = (direction1+1)-> % Initiates(MoveRightWheel(robot),Direction(robot,direction2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:80 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:80 not(happens(moveLeftWheel(Robot), Time)), holds_at(direction(Robot, Direction1), Time), equals(Direction2, Direction1+1) -> initiates(moveRightWheel(Robot), direction(Robot, Direction2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:80 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:80 reactive_rule([ not(happens(moveLeftWheel(Robot),Time)), holds(direction(Robot,Direction1), Time), equals(Direction2,Direction1+1) ], [ initiates(moveRightWheel(Robot), at(direction(Robot,Direction2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:82 % [robot,direction,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:83 % !Happens(MoveLeftWheel(robot),time) & % HoldsAt(Direction(robot,direction),time) -> % Terminates(MoveRightWheel(robot),Direction(robot,direction),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:85 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:85 not(happens(moveLeftWheel(Robot), Time)), holds_at(direction(Robot, Direction), Time) -> terminates(moveRightWheel(Robot), direction(Robot, Direction), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:85 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:85 reactive_rule([ not(happens(moveLeftWheel(Robot),Time)), holds(direction(Robot,Direction), Time) ], [ terminates(moveRightWheel(Robot), at(direction(Robot,Direction), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:87 % [robot,direction,coord1,coord2,coord3,coord4,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:88 % Happens(MoveLeftWheel(robot),time) & % HoldsAt(Location(robot,coord1,coord2),time) & % HoldsAt(Direction(robot,direction),time) & % coord3 = coord1+Cos(direction) & % coord4 = coord2+Sin(direction) -> % Initiates(MoveRightWheel(robot), % Location(robot,coord3,coord4), % time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:95 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:95 happens(moveLeftWheel(Robot), Time), holds_at(location(Robot, Coord1, Coord2), Time), holds_at(direction(Robot, Direction), Time), equals(Coord3, Coord1+cos(Direction)), equals(Coord4, Coord2+sin(Direction)) -> initiates(moveRightWheel(Robot), location(Robot, Coord3, Coord4), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:95 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:95 reactive_rule([ happens(moveLeftWheel(Robot),Time), holds(location(Robot,Coord1,Coord2), Time), holds(direction(Robot,Direction), Time), equals(Coord3,Coord1+cos(Direction)), equals(Coord4,Coord2+sin(Direction)) ], [ initiates(moveRightWheel(Robot), at(location(Robot, Coord3, Coord4), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:97 % [robot,coord1,coord2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:98 % Happens(MoveLeftWheel(robot),time) & % HoldsAt(Location(robot,coord1,coord2),time) -> %; FIX: Direction not needed!! %; HoldsAt(Direction(robot,direction),time) -> % Terminates(MoveRightWheel(robot),Location(robot,coord1,coord2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:102 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:102 happens(moveLeftWheel(Robot), Time), holds_at(location(Robot, Coord1, Coord2), Time) -> terminates(moveRightWheel(Robot), location(Robot, Coord1, Coord2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:102 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:102 reactive_rule([ happens(moveLeftWheel(Robot),Time), holds(location(Robot,Coord1,Coord2), Time) ], [ terminates(moveRightWheel(Robot), at(location(Robot, Coord1, Coord2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:104 %; Delta % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:106 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:106 % Happens(MoveRightWheel(Robot1),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:106 /* [] -> ta(TaP_Num4_V, tvs1=[start], tvs2=[start], happens(moveRightWheel(robot1), start)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:106 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:106 happens(moveRightWheel(robot1),start). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:106 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:106 observe(at(moveRightWheel(robot1),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:106 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:106 observe(at(moveRightWheel(robot1),start)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:107 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:107 % Happens(MoveLeftWheel(Robot1),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:107 /* [b(start, Maptime), ignore(start+1==Maptime)] -> ta(TaP_Num4_V, tvs1=[start+1], tvs2=[Maptime, start], happens(moveLeftWheel(robot1), Maptime)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:107 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:107 b(start, Maptime2) -> happens(moveLeftWheel(robot1), Maptime2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:107 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:107 reactive_rule([b(start,Maptime2)], [happens(moveLeftWheel(robot1),Maptime2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:108 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:108 % Happens(MoveRightWheel(Robot1),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:108 /* [b(start, Maptime), ignore(start+1==Maptime)] -> ta(TaP_Num4_V, tvs1=[start+1], tvs2=[Maptime, start], happens(moveRightWheel(robot1), Maptime)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:108 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:108 b(start, Maptime2) -> happens(moveRightWheel(robot1), Maptime2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:108 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:108 reactive_rule([b(start,Maptime2)], [happens(moveRightWheel(robot1),Maptime2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:110 %; Psi % [robot,coord1,coord2,coord3,coord4,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:114 % HoldsAt(Location(robot,coord1,coord2),time) & % HoldsAt(Location(robot,coord3,coord4),time) -> % coord1=coord3 & % coord2=coord4. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:117 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:117 holds_at(location(Robot, Coord1, Coord2), Time), holds_at(location(Robot, Coord3, Coord4), Time) -> equals(Coord1, Coord3), equals(Coord2, Coord4). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:117 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:117 reactive_rule([ holds(location(Robot,Coord1,Coord2), Time), holds(location(Robot,Coord3,Coord4), Time) ], [ equals(Coord1,Coord3), equals(Coord2,Coord4) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:119 % [robot,direction1,direction2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:120 % HoldsAt(Direction(robot,direction1),time) & % HoldsAt(Direction(robot,direction2),time) -> % direction1=direction2. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:122 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:122 holds_at(direction(Robot, Direction1), Time), holds_at(direction(Robot, Direction2), Time) -> equals(Direction1, Direction2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:122 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:122 reactive_rule([ holds(direction(Robot,Direction1), Time), holds(direction(Robot,Direction2), Time) ], [equals(Direction1,Direction2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:124 %; Gamma % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:126 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:126 % HoldsAt(Location(Robot1,0,0),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:126 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(location(robot1, 0, 0))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:126 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:126 initially(location(robot1,0,0)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:126 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:126 initial_state([location(robot1,0,0)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:127 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:127 % HoldsAt(Direction(Robot1,0),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:127 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(direction(robot1, 0))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:127 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:127 initially(direction(robot1,0)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:127 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:127 initial_state([direction(robot1,0)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:129 % completion Happens % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:130 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:130 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:130 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:130 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:131 % range time 0 3 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:132 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:132 range(time,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:132 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:132 range(time,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:132 % range coord 0 3 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:133 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:133 range(coord,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:133 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:133 range(coord,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:133 % range direction 0 3 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:134 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:134 range(direction,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:134 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:134 range(direction,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:134 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:135 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:135 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:135 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter8/MovingRobot.e:135 range(offset,1,1). %; End of file.