1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/AkmanEtAl2004/ZooTest5.1.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.1.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.1.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.1.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.1.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.1.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.1.e:35 69% Adult(Silver). 70adult(silver). 71% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:37 72% {position} 73 74 75% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.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_73')) :- 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.1.e:41 93axiom(not(some(Some_Param, '$kolem_Fn_73')), 94 [holds_at(pos(homer, Some_Param), t)]). 95axiom(not(some(Some_Param, '$kolem_Fn_73')), 96 [not(holds_at(pos(jumbo, Some_Param), t))]). 97axiom(not(some(Some_Param, '$kolem_Fn_73')), 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_73')), 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_73'). 108 */ 109axiom(not(holds_at(pos(homer, Some_Param3), t)), 110 [some(Some_Param3, '$kolem_Fn_73')]). 111 112 /* holds_at(pos(jumbo, Some_Param4), 0) :- 113 some(Some_Param4, '$kolem_Fn_73'). 114 */ 115axiom(holds_at(pos(jumbo, Some_Param4), t), 116 [some(Some_Param4, '$kolem_Fn_73')]). 117 118 /* holds_at(pos(homer, Some_Param5), 1) :- 119 some(Some_Param5, '$kolem_Fn_73'). 120 */ 121axiom(holds_at(pos(homer, Some_Param5), start), 122 [some(Some_Param5, '$kolem_Fn_73'), b(t, start), ignore(t+1=start)]). 123 124 /* not(holds_at(pos(jumbo, Some_Param6), 1)) :- 125 some(Some_Param6, '$kolem_Fn_73'). 126 */ 127axiom(not(holds_at(pos(jumbo, Some_Param6), start)), 128 [some(Some_Param6, '$kolem_Fn_73'), 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.1.e:42 132% HoldsAt(Mounted(Homer,Silver),0). 133axiom(initially(mounted(homer, silver)), 134 []). 135 136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:44 137% option manualrelease on 138% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:45 139:- set_ec_option(manualrelease, on). 140 141 142% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:45 143% [human, animal] 144 % !ReleasedAt(Mounted(human, animal),0). 145 % not(releasedAt(mounted(Human,Animal),0)). 146axiom(not(releasedAt(mounted(Mounted_Param, Mounted_Ret), 0)), 147 []). 148 149 150% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:46 151% [gate] 152 % !ReleasedAt(Opened(gate),0). 153 % not(releasedAt(opened(Gate),0)). 154axiom(not(releasedAt(opened(Opened_Ret), 0)), 155 []). 156 157 158% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:47 159% [position] 160 % ReleasedAt(Pos(Homer,position),0). 161releasedAt(pos(homer,Position),0). 162 163 164% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:48 165% [position] 166 % !ReleasedAt(Pos(Jumbo,position),0). 167 % not(releasedAt(pos(jumbo,Position),0)). 168axiom(not(releasedAt(pos(jumbo, Pos_Ret), 0)), 169 []). 170 171 172% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:49 173% [position] 174 % !ReleasedAt(Pos(Silver,position),0). 175 % not(releasedAt(pos(silver,Position),0)). 176axiom(not(releasedAt(pos(silver, Pos_Ret), 0)), 177 []). 178 179 180% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:51 181% [human] 182 % HoldsAt(PosDeterminingFluent(human,1),1). 183holds_at(posDeterminingFluent(Human,1),1). 184 185 186% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:52 187% [event,animal] 188 % !HoldsAt(DoneBy(event,animal),1). 189 % not(holds_at(doneBy(Event,Animal),1)). 190axiom(not(holds_at(doneBy(DoneBy_Param, DoneBy_Ret), start)), 191 [b(t, start), ignore(t+1=start)]). 192 193 194% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:54 195%;HoldsAt(Opened(GateAO),0). 196%;HoldsAt(Pos(Homer,3),0). 197%;HoldsAt(Pos(Jumbo,2),0). 198%;HoldsAt(Pos(Silver,3),0). 199%;Happens(Move(Jumbo,4),0). 200%;Happens(ThrowOff(Silver,Homer),0). 201%;HoldsAt(PosDeterminingFluent(Homer,2),0). 202 203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:62 204% range time 0 1 205% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:63 206==> range(time,0,1). 207 208% range position 1 8 209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:64 210==> range(position,1,8). 211 212% range offset 0 0 213% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest5.1.e:65 214==> range(offset,0,0). 215%; End of file.