1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/AkmanEtAl2004/ZooTest3.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% dog Snoopy 37==> t(dog,snoopy). 38 39 40% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:29 41% Species(Homer)=HumanSpecies. 42species(homer,humanSpecies). 43 44 45% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:30 46% Adult(Homer). 47adult(homer). 48 49 50% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:31 51% Species(Snoopy)=DogSpecies. 52species(snoopy,dogSpecies). 53 54 55% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:32 56% Adult(Snoopy). 57adult(snoopy). 58 59 60% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:34 61% !HoldsAt(Opened(GateAO),0). 62 % not(initially(opened(gateAO))). 63axiom(not(initially(opened(gateAO))), 64 []). 65% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:35 66% {position} 67 68 69% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:35 70% HoldsAt(Pos(Homer,position),0) & Outside=Loc(position). 71 72 /* exists([Position], 73 (holds_at(pos(homer, Position), 0), outside=loc(Position))). 74 */ 75 76 /* not(some(Some_Param, '$kolem_Fn_61')) :- 77 ( not(holds_at(pos(homer, Some_Param), 0)) 78 ; not(equals(outside, loc(Some_Param))) 79 ). 80 */ 81axiom(not(some(Some_Param, '$kolem_Fn_61')), 82 [not(holds_at(pos(homer, Some_Param), t))]). 83axiom(not(some(Some_Param, '$kolem_Fn_61')), 84 [not(equals(outside, loc(Some_Param)))]). 85 86 /* holds_at(pos(homer, Some_Param3), 0) :- 87 some(Some_Param3, '$kolem_Fn_61'). 88 */ 89axiom(holds_at(pos(homer, Some_Param3), t), 90 [some(Some_Param3, '$kolem_Fn_61')]). 91 92 /* equals(outside, loc(Some_Param4)) :- 93 some(Some_Param4, '$kolem_Fn_61'). 94 */ 95axiom(equals(outside, loc(Some_Param4)), 96 [some(Some_Param4, '$kolem_Fn_61')]). 97% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:36 98% {position} 99 100 101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:36 102% HoldsAt(Pos(Snoopy,position),0) & CageA=Loc(position). 103 104 /* exists([Position], 105 (holds_at(pos(snoopy, Position), 0), cageA=loc(Position))). 106 */ 107 108 /* not(some(Some_Param, '$kolem_Fn_62')) :- 109 ( not(holds_at(pos(snoopy, Some_Param), 0)) 110 ; not(equals(cageA, loc(Some_Param))) 111 ). 112 */ 113axiom(not(some(Some_Param, '$kolem_Fn_62')), 114 [not(holds_at(pos(snoopy, Some_Param), t))]). 115axiom(not(some(Some_Param, '$kolem_Fn_62')), 116 [not(equals(cageA, loc(Some_Param)))]). 117 118 /* holds_at(pos(snoopy, Some_Param3), 0) :- 119 some(Some_Param3, '$kolem_Fn_62'). 120 */ 121axiom(holds_at(pos(snoopy, Some_Param3), t), 122 [some(Some_Param3, '$kolem_Fn_62')]). 123 124 /* equals(cageA, loc(Some_Param4)) :- 125 some(Some_Param4, '$kolem_Fn_62'). 126 */ 127axiom(equals(cageA, loc(Some_Param4)), 128 [some(Some_Param4, '$kolem_Fn_62')]). 129% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:38 130% {position} 131 132 133% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:38 134% HoldsAt(Pos(Homer,position),2) & CageA=Loc(position). 135 136 /* exists([Position], 137 (holds_at(pos(homer, Position), 2), cageA=loc(Position))). 138 */ 139 140 /* not(some(Some_Param, '$kolem_Fn_63')) :- 141 ( not(holds_at(pos(homer, Some_Param), 2)) 142 ; not(equals(cageA, loc(Some_Param))) 143 ). 144 */ 145axiom(not(some(Some_Param, '$kolem_Fn_63')), 146 [not(holds_at(pos(homer, Some_Param), t2)), b(t, t2), ignore(t+2=t2)]). 147axiom(not(some(Some_Param, '$kolem_Fn_63')), 148 [not(equals(cageA, loc(Some_Param)))]). 149 150 /* holds_at(pos(homer, Some_Param3), 2) :- 151 some(Some_Param3, '$kolem_Fn_63'). 152 */ 153axiom(holds_at(pos(homer, Some_Param3), t2), 154 [some(Some_Param3, '$kolem_Fn_63'), b(t, t2), ignore(t+2=t2)]). 155 156 /* equals(cageA, loc(Some_Param4)) :- 157 some(Some_Param4, '$kolem_Fn_63'). 158 */ 159axiom(equals(cageA, loc(Some_Param4)), 160 [some(Some_Param4, '$kolem_Fn_63')]). 161% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:39 162% {position} 163 164 165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:39 166% HoldsAt(Pos(Snoopy,position),2) & Outside=Loc(position). 167 168 /* exists([Position], 169 (holds_at(pos(snoopy, Position), 2), outside=loc(Position))). 170 */ 171 172 /* not(some(Some_Param, '$kolem_Fn_64')) :- 173 ( not(holds_at(pos(snoopy, Some_Param), 2)) 174 ; not(equals(outside, loc(Some_Param))) 175 ). 176 */ 177axiom(not(some(Some_Param, '$kolem_Fn_64')), 178 [not(holds_at(pos(snoopy, Some_Param), t2)), b(t, t2), ignore(t+2=t2)]). 179axiom(not(some(Some_Param, '$kolem_Fn_64')), 180 [not(equals(outside, loc(Some_Param)))]). 181 182 /* holds_at(pos(snoopy, Some_Param3), 2) :- 183 some(Some_Param3, '$kolem_Fn_64'). 184 */ 185axiom(holds_at(pos(snoopy, Some_Param3), t2), 186 [some(Some_Param3, '$kolem_Fn_64'), b(t, t2), ignore(t+2=t2)]). 187 188 /* equals(outside, loc(Some_Param4)) :- 189 some(Some_Param4, '$kolem_Fn_64'). 190 */ 191axiom(equals(outside, loc(Some_Param4)), 192 [some(Some_Param4, '$kolem_Fn_64')]). 193 194 195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:41 196% [human] 197 % HoldsAt(PosDeterminingFluent(human,1),2). 198holds_at(posDeterminingFluent(Human,1),2). 199 200 201% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:42 202% [event,animal] 203 % !HoldsAt(DoneBy(event,animal),2). 204 % not(holds_at(doneBy(Event,Animal),2)). 205axiom(not(holds_at(doneBy(DoneBy_Param, DoneBy_Ret), t2)), 206 [b(t, t2), ignore(t+2=t2)]). 207 208% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:44 209% range time 0 2 210% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:45 211==> range(time,0,2). 212 213% range position 1 8 214% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:46 215==> range(position,1,8). 216 217% range offset 0 0 218% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest3.e:47 219==> range(offset,0,0). 220%; End of file.