1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/AkmanEtAl2004/ZooTest5.2.e'). 4%; 5%; Copyright (c) 2005 IBM Corporation and others. 6%; All rights reserved. This program and the accompanying materials 7%; are made available under the terms of the Common Public License v1.0 8%; which accompanies this distribution, and is available at 9%; http://www.eclipse.org/legal/cpl-v10.html 10%; 11%; Contributors: 12%; IBM - Initial implementation 13%; 14%; @article{Akman:2004, 15%; author = "Varol Akman and Selim T. Erdogan and Joohyung Lee and Vladimir Lifschitz and Hudson Turner", 16%; year = "2004", 17%; title = "Representing the zoo world and the traffic world in the language of the causal calculator", 18%; journal = "Artificial Intelligence", 19%; volume = "153", 20%; pages = "105--140", 21%; } 22%; 23 24% option encoding 3 25:- set_ec_option(encoding, 3). 26 27% load foundations/Root.e 28 29% load foundations/EC.e 30 31% load examples/AkmanEtAl2004/ZooWorld.e 32 33% human Homer 34==> t(human,homer). 35 36% elephant Jumbo 37==> t(elephant,jumbo). 38 39% horse Silver 40==> t(horse,silver). 41 42 43% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:30 44% Species(Homer)=HumanSpecies. 45species(homer,humanSpecies). 46 47 48% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:31 49% Adult(Homer). 50adult(homer). 51 52 53% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:32 54% Species(Jumbo)=ElephantSpecies. 55species(jumbo,elephantSpecies). 56 57 58% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:33 59% Adult(Jumbo). 60adult(jumbo). 61 62 63% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:34 64% Species(Silver)=HorseSpecies. 65species(silver,horseSpecies). 66 67 68% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:35 69% Adult(Silver). 70adult(silver). 71% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:37 72% {position} 73 74 75% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:38 76% !HoldsAt(Pos(Homer,position),0) & 77% HoldsAt(Pos(Jumbo,position),0) & 78% HoldsAt(Pos(Homer,position),1) & 79% !HoldsAt(Pos(Jumbo,position),1). 80 81 /* exists([Position], 82 (not(holds_at(pos(homer, Position), 0)), holds_at(pos(jumbo, Position), 0), holds_at(pos(homer, Position), 1), not(holds_at(pos(jumbo, Position), 1)))). 83 */ 84 85 /* not(some(Some_Param, '$kolem_Fn_74')) :- 86 ( holds_at(pos(homer, Some_Param), 0) 87 ; not(holds_at(pos(jumbo, Some_Param), 0)) 88 ; not(holds_at(pos(homer, Some_Param), 1)) 89 ; holds_at(pos(jumbo, Some_Param), 1) 90 ). 91 */ 92% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:41 93axiom(not(some(Some_Param, '$kolem_Fn_74')), 94 [holds_at(pos(homer, Some_Param), t)]). 95axiom(not(some(Some_Param, '$kolem_Fn_74')), 96 [not(holds_at(pos(jumbo, Some_Param), t))]). 97axiom(not(some(Some_Param, '$kolem_Fn_74')), 98 99 [ not(holds_at(pos(homer, Some_Param), start)), 100 b(t, start), 101 ignore(t+1=start) 102 ]). 103axiom(not(some(Some_Param, '$kolem_Fn_74')), 104 [holds_at(pos(jumbo, Some_Param), start), b(t, start), ignore(t+1=start)]). 105 106 /* not(holds_at(pos(homer, Some_Param3), 0)) :- 107 some(Some_Param3, '$kolem_Fn_74'). 108 */ 109axiom(not(holds_at(pos(homer, Some_Param3), t)), 110 [some(Some_Param3, '$kolem_Fn_74')]). 111 112 /* holds_at(pos(jumbo, Some_Param4), 0) :- 113 some(Some_Param4, '$kolem_Fn_74'). 114 */ 115axiom(holds_at(pos(jumbo, Some_Param4), t), 116 [some(Some_Param4, '$kolem_Fn_74')]). 117 118 /* holds_at(pos(homer, Some_Param5), 1) :- 119 some(Some_Param5, '$kolem_Fn_74'). 120 */ 121axiom(holds_at(pos(homer, Some_Param5), start), 122 [some(Some_Param5, '$kolem_Fn_74'), b(t, start), ignore(t+1=start)]). 123 124 /* not(holds_at(pos(jumbo, Some_Param6), 1)) :- 125 some(Some_Param6, '$kolem_Fn_74'). 126 */ 127axiom(not(holds_at(pos(jumbo, Some_Param6), start)), 128 [some(Some_Param6, '$kolem_Fn_74'), b(t, start), ignore(t+1=start)]). 129 130 131% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:42 132% [animal,time] 133 % !Happens(ThrowOff(animal,Homer),time). 134 % not(happens(throwOff(Animal,homer),Time)). 135axiom(not(happens(throwOff(ThrowOff_Param, homer), Maptime)), 136 []). 137 138 139% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:44 140% [human] 141 % HoldsAt(PosDeterminingFluent(human,1),1). 142holds_at(posDeterminingFluent(Human,1),1). 143 144 145% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:45 146% [event,animal] 147 % !HoldsAt(DoneBy(event,animal),1). 148 % not(holds_at(doneBy(Event,Animal),1)). 149axiom(not(holds_at(doneBy(DoneBy_Param, DoneBy_Ret), start)), 150 [b(t, start), ignore(t+1=start)]). 151 152 153% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:47 154%;HoldsAt(Opened(GateAO),0). 155%;HoldsAt(Pos(Homer,3),0). 156%;HoldsAt(Pos(Jumbo,2),0). 157%;HoldsAt(Pos(Silver,7),0). 158%;Happens(Move(Jumbo,4),0). 159%;Happens(Move(Silver,8),0). 160%;Happens(Mount(Homer,Jumbo),0). 161 162% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:55 163% range time 0 1 164% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:56 165==> range(time,0,1). 166 167% range position 1 8 168% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:57 169==> range(position,1,8). 170 171% range offset 0 0 172% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.2.e:58 173==> range(offset,0,0). 174%; End of file.