:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:58:11 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.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 %; %; @article{MillerShanahan:1999, %; author = "Rob Miller and Murray Shanahan", %; year = "1999", %; title = "The event calculus in classical logic---\uppercase{A}lternative axiomatisations", %; journal = "Link{\"{o}}ping Electronic Articles in Computer and Information Science", %; volume = "4", %; number = "016", %; } %; %; @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/Chapter7/HotAirBalloon.e:28 % option encoding 3 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:29 % option trajectory on % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:31 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:32 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:34 % sort balloon % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:35 sort(balloon). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:35 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:35 sort(balloon). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:35 % sort agent % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:36 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:36 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:36 sort(agent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:36 % sort height: integer % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:37 subsort(height,integer). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:37 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:37 subsort(height,integer). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:38 % agent Nathan % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:39 t(agent,nathan). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:39 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:39 agent(nathan). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:39 % balloon Balloon % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:40 t(balloon,balloon). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:40 balloon(balloon). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:41 % fluent HeaterOn(balloon) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 fluent(heaterOn(balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 fluents([heaterOn/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 fluents([heaterOn/1]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 meta_argtypes(heaterOn(balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 meta_argtypes(heaterOn(balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 mpred_prop(heaterOn(balloon),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 mpred_prop(heaterOn(balloon),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 meta_argtypes(heaterOn(balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 meta_argtypes(heaterOn(balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:42 % fluent Height(balloon,height) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 fluent(height(balloon,height)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 fluents([height/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 fluents([height/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 meta_argtypes(height(balloon,height)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 meta_argtypes(height(balloon,height)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 mpred_prop(height(balloon,height),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 mpred_prop(height(balloon,height),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 meta_argtypes(height(balloon,height)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 meta_argtypes(height(balloon,height)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:43 % noninertial Height % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:44 noninertial(height). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:44 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:44 noninertial(height). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:45 % event TurnOnHeater(agent,balloon) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 event(turnOnHeater(agent,balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 actions([turnOnHeater/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 actions([turnOnHeater/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 meta_argtypes(turnOnHeater(agent,balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 meta_argtypes(turnOnHeater(agent,balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 mpred_prop(turnOnHeater(agent,balloon),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 mpred_prop(turnOnHeater(agent,balloon),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 meta_argtypes(turnOnHeater(agent,balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 meta_argtypes(turnOnHeater(agent,balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:46 % event TurnOffHeater(agent,balloon) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 event(turnOffHeater(agent,balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 actions([turnOffHeater/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 actions([turnOffHeater/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 meta_argtypes(turnOffHeater(agent,balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 meta_argtypes(turnOffHeater(agent,balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 mpred_prop(turnOffHeater(agent,balloon),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 mpred_prop(turnOffHeater(agent,balloon),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 meta_argtypes(turnOffHeater(agent,balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:47 meta_argtypes(turnOffHeater(agent,balloon)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:48 %; Sigma % [agent,balloon,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:51 % Initiates(TurnOnHeater(agent,balloon),HeaterOn(balloon),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:51 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(turnOnHeater(Agent, Balloon), heaterOn(Balloon), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:51 initiates(turnOnHeater(_,Turnonheater), heaterOn(Turnonheater), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:51 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:51 initiated(happens(turnOnHeater(_,Turnonheater), Maptime, Happens), heaterOn(Turnonheater), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:53 % [agent,balloon,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:54 % Terminates(TurnOffHeater(agent,balloon),HeaterOn(balloon),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:54 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], terminates(turnOffHeater(Agent, Balloon), heaterOn(Balloon), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:54 terminates(turnOffHeater(_,Turnoffheater), heaterOn(Turnoffheater), Terminates). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:54 terminated(happens(turnOffHeater(_,Turnoffheater), Maptime, Happens), heaterOn(Turnoffheater), []). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:56 %; Delta % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:58 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:58 % Happens(TurnOnHeater(Nathan,Balloon),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:58 /* [axiom_uses(delta, Axiom_Uses)] -> ta(TaP_Num4_V, tvs1=[start], tvs2=[start], happens(turnOnHeater(nathan, balloon), start)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:58 axiom_uses(delta, Axiom_Uses2) -> happens(turnOnHeater(nathan, balloon), start). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:58 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:58 reactive_rule([axiom_uses(delta,Axiom_Uses2)], [observe(at(turnOnHeater(nathan,balloon),start))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:59 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:59 % Happens(TurnOffHeater(Nathan,Balloon),2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:59 /* [axiom_uses(delta, Axiom_Uses), 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(turnOffHeater(nathan, balloon), Start_Num2)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:59 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 2, Maptime) -> happens(turnOffHeater(nathan, balloon), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:59 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:59 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,2,Maptime) ], [happens(turnOffHeater(nathan,balloon),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:61 %; Psi % [balloon,height1,height2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:64 % HoldsAt(Height(balloon,height1),time) & % HoldsAt(Height(balloon,height2),time) -> % height1=height2. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:66 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:66 holds_at(height(Balloon, Height1), Time), holds_at(height(Balloon, Height2), Time) -> equals(Height1, Height2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:66 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:66 reactive_rule([ holds(height(Balloon,Height1),Time), holds(height(Balloon,Height2),Time) ], [equals(Height1,Height2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:68 %; Pi % [balloon,height1,height2,offset,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:71 % HoldsAt(Height(balloon,height1),time) & % height2 = (height1 + offset) -> % Trajectory(HeaterOn(balloon),time,Height(balloon,height2),offset). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:73 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:73 holds_at(height(Balloon, Height1), Time), equals(Height2, Height1+Offset) -> trajectory(heaterOn(Balloon), Time, height(Balloon, Height2), Offset). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:73 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:73 reactive_rule([ holds(height(Balloon,Height1),Time), equals(Height2,Height1+Offset) ], [ trajectory(heaterOn(Balloon), Time, height(Balloon,Height2), Offset) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:75 % [balloon,height1,height2,offset,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:76 % HoldsAt(Height(balloon,height1),time) & % height2 = (height1 - offset) -> % AntiTrajectory(HeaterOn(balloon),time,Height(balloon,height2),offset). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:78 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:78 holds_at(height(Balloon, Height1), Time), equals(Height2, Height1-Offset) -> antiTrajectory(heaterOn(Balloon), Time, height(Balloon, Height2), Offset). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:78 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:78 reactive_rule([ holds(height(Balloon,Height1),Time), equals(Height2,Height1-Offset) ], [ antiTrajectory(heaterOn(Balloon), Time, height(Balloon,Height2), Offset) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:80 %; Gamma % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:82 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:82 % HoldsAt(Height(Balloon,0),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:82 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(height(balloon, 0))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:82 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:82 initially(height(balloon,0)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:82 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:82 initial_state([height(balloon,0)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:84 %; added: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:85 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:85 % !HoldsAt(HeaterOn(Balloon),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:85 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(heaterOn(balloon)))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:85 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:85 initially(neg(heaterOn(balloon))). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:85 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:85 initial_state([not(heaterOn(balloon))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:87 % completion Delta Happens % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:88 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:88 completion(delta). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:88 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:88 completion(delta). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:88 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:88 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:88 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:88 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:89 % range time 0 3 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:90 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:90 range(time,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:90 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:90 range(time,0,3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:90 % range height 0 2 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:91 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:91 range(height,0,2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:91 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:91 range(height,0,2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:91 % range offset 1 2 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:92 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:92 range(offset,1,2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:92 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Chapter7/HotAirBalloon.e:92 range(offset,1,2). %; End of file.