1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/AkmanEtAl2004/ZooTest2.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 37% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest2.e:28 38% Species(Homer)=HumanSpecies. 39species(homer,humanSpecies). 40 41 42% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest2.e:29 43% Adult(Homer). 44adult(homer). 45 46 47% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest2.e:31 48% !HoldsAt(Opened(GateAO),0). 49 % not(initially(opened(gateAO))). 50axiom(not(initially(opened(gateAO))), 51 []). 52% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest2.e:32 53% {position} 54 55 56% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest2.e:32 57% HoldsAt(Pos(Homer,position),0) & Outside=Loc(position). 58 59 /* exists([Position], 60 (holds_at(pos(homer, Position), 0), outside=loc(Position))). 61 */ 62 63 /* not(some(Some_Param, '$kolem_Fn_59')) :- 64 ( not(holds_at(pos(homer, Some_Param), 0)) 65 ; not(equals(outside, loc(Some_Param))) 66 ). 67 */ 68axiom(not(some(Some_Param, '$kolem_Fn_59')), 69 [not(holds_at(pos(homer, Some_Param), t))]). 70axiom(not(some(Some_Param, '$kolem_Fn_59')), 71 [not(equals(outside, loc(Some_Param)))]). 72 73 /* holds_at(pos(homer, Some_Param3), 0) :- 74 some(Some_Param3, '$kolem_Fn_59'). 75 */ 76axiom(holds_at(pos(homer, Some_Param3), t), 77 [some(Some_Param3, '$kolem_Fn_59')]). 78 79 /* equals(outside, loc(Some_Param4)) :- 80 some(Some_Param4, '$kolem_Fn_59'). 81 */ 82axiom(equals(outside, loc(Some_Param4)), 83 [some(Some_Param4, '$kolem_Fn_59')]). 84% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest2.e:33 85% {position} 86 87 88% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest2.e:33 89% HoldsAt(Pos(Homer,position),2) & CageA=Loc(position). 90 91 /* exists([Position], 92 (holds_at(pos(homer, Position), 2), cageA=loc(Position))). 93 */ 94 95 /* not(some(Some_Param, '$kolem_Fn_60')) :- 96 ( not(holds_at(pos(homer, Some_Param), 2)) 97 ; not(equals(cageA, loc(Some_Param))) 98 ). 99 */ 100axiom(not(some(Some_Param, '$kolem_Fn_60')), 101 [not(holds_at(pos(homer, Some_Param), t2)), b(t, t2), ignore(t+2=t2)]). 102axiom(not(some(Some_Param, '$kolem_Fn_60')), 103 [not(equals(cageA, loc(Some_Param)))]). 104 105 /* holds_at(pos(homer, Some_Param3), 2) :- 106 some(Some_Param3, '$kolem_Fn_60'). 107 */ 108axiom(holds_at(pos(homer, Some_Param3), t2), 109 [some(Some_Param3, '$kolem_Fn_60'), b(t, t2), ignore(t+2=t2)]). 110 111 /* equals(cageA, loc(Some_Param4)) :- 112 some(Some_Param4, '$kolem_Fn_60'). 113 */ 114axiom(equals(cageA, loc(Some_Param4)), 115 [some(Some_Param4, '$kolem_Fn_60')]). 116 117 118% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest2.e:35 119% [human] 120 % HoldsAt(PosDeterminingFluent(human,1),2). 121holds_at(posDeterminingFluent(Human,1),2). 122 123 124% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest2.e:36 125% [event,animal] 126 % !HoldsAt(DoneBy(event,animal),2). 127 % not(holds_at(doneBy(Event,Animal),2)). 128axiom(not(holds_at(doneBy(DoneBy_Param, DoneBy_Ret), t2)), 129 [b(t, t2), ignore(t+2=t2)]). 130 131% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest2.e:38 132% range time 0 2 133% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest2.e:39 134==> range(time,0,2). 135 136% range position 1 8 137% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest2.e:40 138==> range(position,1,8). 139 140% range offset 0 0 141% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest2.e:41 142==> range(offset,0,0). 143%; End of file.