:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:58:17 GMT % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.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/Exercises/MixingPaints.e:19 % load foundations/Root.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:20 % load foundations/EC.e % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:22 % sort palette % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:23 sort(palette). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:23 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:23 sort(palette). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:23 % sort color % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:24 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:24 sort(color). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:24 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:24 sort(color). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:25 % palette Palette1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:26 t(palette,palette1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:26 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:26 palette(palette1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:26 % color Red, Yellow, Blue, Green % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 t(color,red). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 color(red). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 t(color,yellow). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 color(yellow). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 t(color,blue). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 color(blue). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 t(color,green). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:27 color(green). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:28 % event PlaceOnPalette(palette,color) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 event(placeOnPalette(palette,color)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 events([placeOnPalette/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 events([placeOnPalette/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 meta_argtypes(placeOnPalette(palette,color)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 meta_argtypes(placeOnPalette(palette,color)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 mpred_prop(placeOnPalette(palette,color),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 mpred_prop(placeOnPalette(palette,color),event). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 meta_argtypes(placeOnPalette(palette,color)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 meta_argtypes(placeOnPalette(palette,color)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:29 % fluent OnPalette(palette,color) % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 fluent(onPalette(palette,color)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 fluents([onPalette/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 fluents([onPalette/2]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 meta_argtypes(onPalette(palette,color)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 meta_argtypes(onPalette(palette,color)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 mpred_prop(onPalette(palette,color),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 mpred_prop(onPalette(palette,color),fluent). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 meta_argtypes(onPalette(palette,color)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:30 meta_argtypes(onPalette(palette,color)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:31 % [palette,color,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:32 % !Happens(PlaceOnPalette(palette,Yellow),time) | % !Happens(PlaceOnPalette(palette,Blue),time) -> % Initiates(PlaceOnPalette(palette,color),OnPalette(palette,color),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:34 not(happens(placeOnPalette(Palette, yellow), Time));not(happens(placeOnPalette(Palette, blue), Time)) -> initiates(placeOnPalette(Palette, Color), onPalette(Palette, Color), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:34 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:34 reactive_rule([ (not(happens(placeOnPalette(Palette, yellow), Time));not(happens(placeOnPalette(Palette, blue), Time))) ], [ initiates(placeOnPalette(Palette, Color), at(onPalette(Palette, Color), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:36 % [palette,color1,color2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:37 % Happens(PlaceOnPalette(palette,Yellow),time) & % color1 = Blue & % color2 = Green -> % Initiates(PlaceOnPalette(palette,color1),OnPalette(palette,color2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:40 happens(placeOnPalette(Palette, yellow), Time), equals(Color1, blue), equals(Color2, green) -> initiates(placeOnPalette(Palette, Color1), onPalette(Palette, Color2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:40 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:40 reactive_rule([ happens(placeOnPalette(Palette,yellow), Time), equals(Color1,blue), equals(Color2,green) ], [ initiates(placeOnPalette(Palette,Color1), at(onPalette(Palette,Color2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:42 % [palette,color1,color2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:43 % !(Happens(PlaceOnPalette(palette,Yellow),time) & % Happens(PlaceOnPalette(palette,Blue),time)) & % HoldsAt(OnPalette(palette,color1),time) & % color1 != color2 -> % Terminates(PlaceOnPalette(palette,color2),OnPalette(palette,color1),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:47 not((happens(placeOnPalette(Palette, yellow), Time), happens(placeOnPalette(Palette, blue), Time))), holds_at(onPalette(Palette, Color1), Time), diff(Color1, Color2) -> terminates(placeOnPalette(Palette, Color2), onPalette(Palette, Color1), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:47 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:47 reactive_rule([ not((happens(placeOnPalette(Palette, yellow), Time), happens(placeOnPalette(Palette, blue), Time))), holds(onPalette(Palette, Color1), Time), diff(Color1, Color2) ], [ terminates(placeOnPalette(Palette, Color2), at(onPalette(Palette, Color1), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:49 % [palette,color1,color2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:50 % Happens(PlaceOnPalette(palette,Yellow),time) & % HoldsAt(OnPalette(palette,color2),time) & % color1 = Blue & % color2 != Green -> % Terminates(PlaceOnPalette(palette,color1),OnPalette(palette,color2),time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:54 happens(placeOnPalette(Palette, yellow), Time), holds_at(onPalette(Palette, Color2), Time), equals(Color1, blue), diff(Color2, green) -> terminates(placeOnPalette(Palette, Color1), onPalette(Palette, Color2), Time). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:54 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:54 reactive_rule([ happens(placeOnPalette(Palette,yellow), Time), holds(onPalette(Palette,Color2),Time), equals(Color1,blue), diff(Color2,green) ], [ terminates(placeOnPalette(Palette,Color1), at(onPalette(Palette,Color2), Time)) ]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:56 %; state constraint % [palette,color1,color2,time] % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:59 % HoldsAt(OnPalette(palette,color1),time) & % HoldsAt(OnPalette(palette,color2),time) -> % color1 = color2. % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:61 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:61 holds_at(onPalette(Palette, Color1), Time), holds_at(onPalette(Palette, Color2), Time) -> equals(Color1, Color2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:61 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:61 reactive_rule([ holds(onPalette(Palette,Color1),Time), holds(onPalette(Palette,Color2),Time) ], [equals(Color1,Color2)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:63 %; (1) place green over red % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:64 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:64 % HoldsAt(OnPalette(Palette1,Red),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:64 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(onPalette(palette1, red))). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:64 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:64 initially(onPalette(palette1,red)). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:64 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:64 initial_state([onPalette(palette1,red)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:65 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:65 % Happens(PlaceOnPalette(Palette1,Green),0). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:65 /* [axiom_uses(delta, Axiom_Uses)] -> ta(TaP_Num4_V, tvs1=[start], tvs2=[start], happens(placeOnPalette(palette1, green), start)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:65 axiom_uses(delta, Axiom_Uses2) -> happens(placeOnPalette(palette1, green), start). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:65 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:65 reactive_rule([axiom_uses(delta,Axiom_Uses2)], [observe(at(placeOnPalette(palette1,green),start))]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:67 %; (2) place yellow+blue over green % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:68 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:68 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:68 % Happens(PlaceOnPalette(Palette1,Yellow),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:68 /* [axiom_uses(delta, Axiom_Uses), b(start, Maptime), ignore(start+1==Maptime)] -> ta(TaP_Num4_V, tvs1=[start+1], tvs2=[Maptime, start], happens(placeOnPalette(palette1, yellow), Maptime)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:68 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:68 axiom_uses(delta, Axiom_Uses4), b(start, Maptime3) -> happens(placeOnPalette(palette1, yellow), Maptime3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:68 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:68 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime3) ], [happens(placeOnPalette(palette1,yellow),Maptime3)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:69 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:69 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:69 % Happens(PlaceOnPalette(Palette1,Blue),1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:69 /* [axiom_uses(delta, Axiom_Uses), b(start, Maptime), ignore(start+1==Maptime)] -> ta(TaP_Num4_V, tvs1=[start+1], tvs2=[Maptime, start], happens(placeOnPalette(palette1, blue), Maptime)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:69 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:69 axiom_uses(delta, Axiom_Uses4), b(start, Maptime3) -> happens(placeOnPalette(palette1, blue), Maptime3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:69 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:69 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime3) ], [happens(placeOnPalette(palette1,blue),Maptime3)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:71 %; (3) place yellow % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:72 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:72 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:72 % Happens(PlaceOnPalette(Palette1,Yellow),2). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:72 /* [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(placeOnPalette(palette1, yellow), Start_Num2)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:72 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:72 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 2, Maptime) -> happens(placeOnPalette(palette1, yellow), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:72 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:72 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,2,Maptime) ], [happens(placeOnPalette(palette1,yellow),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:74 %; (4) place blue % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:75 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:75 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:75 % Happens(PlaceOnPalette(Palette1,Blue),3). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:75 /* [axiom_uses(delta, Axiom_Uses), 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(placeOnPalette(palette1, blue), Start_Num3)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:75 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:75 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 3, Maptime) -> happens(placeOnPalette(palette1, blue), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:75 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:75 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,3,Maptime) ], [happens(placeOnPalette(palette1,blue),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:77 %; (5) place green % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:78 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:78 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:78 % Happens(PlaceOnPalette(Palette1,Yellow),4). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:78 /* [axiom_uses(delta, Axiom_Uses), 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(placeOnPalette(palette1, yellow), Start_Num4)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:78 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:78 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 4, Maptime) -> happens(placeOnPalette(palette1, yellow), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:78 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:78 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,4,Maptime) ], [happens(placeOnPalette(palette1,yellow),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:79 % Delta: % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:79 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:79 % Happens(PlaceOnPalette(Palette1,Blue),4). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:79 /* [axiom_uses(delta, Axiom_Uses), 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(placeOnPalette(palette1, blue), Start_Num4)). */ % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:79 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:79 axiom_uses(delta, Axiom_Uses4), b(start, Maptime), toffset(start, 4, Maptime) -> happens(placeOnPalette(palette1, blue), Maptime). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:79 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:79 reactive_rule([ axiom_uses(delta,Axiom_Uses4), b(start,Maptime), toffset(start,4,Maptime) ], [happens(placeOnPalette(palette1,blue),Maptime)]). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:81 % completion Delta Happens % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:82 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:82 completion(delta). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:82 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:82 completion(delta). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:82 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:82 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:82 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:82 completion(happens). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:83 % range time 0 5 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:84 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:84 range(time,0,5). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:84 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:84 range(time,0,5). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:84 % range offset 1 1 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:85 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:85 range(offset,1,1). % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:85 % From /pack/logicmoo_ec/ext/ec_sources/examples/Mueller2006/Exercises/MixingPaints.e:85 range(offset,1,1). %; End of file.