1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/AkmanEtAl2004/ZooTest6.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 40% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.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/ZooTest6.e:30 46% Adult(Homer). 47adult(homer). 48 49 50% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:31 51% Species(Jumbo)=ElephantSpecies. 52species(jumbo,elephantSpecies). 53 54 55% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:32 56% Adult(Jumbo). 57adult(jumbo). 58 59 60% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:34 61% HoldsAt(Mounted(Homer,Jumbo),0). 62axiom(initially(mounted(homer, jumbo)), 63 []). 64 65 66% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:35 67% HoldsAt(Pos(Jumbo,1),0). 68axiom(initially(pos(jumbo, 1)), 69 []). 70 71 72% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:36 73% Happens(ThrowOff(Jumbo,Homer),0). 74axiom(happens(throwOff(jumbo, homer), t), 75 [is_time(0)]). 76 77% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:38 78% option manualrelease on 79% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:39 80:- set_ec_option(manualrelease, on). 81 82 83% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:39 84% [human, animal] 85 % !ReleasedAt(Mounted(human, animal),0). 86 % not(releasedAt(mounted(Human,Animal),0)). 87axiom(not(releasedAt(mounted(Mounted_Param, Mounted_Ret), 0)), 88 []). 89 90 91% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:40 92% [gate] 93 % !ReleasedAt(Opened(gate),0). 94 % not(releasedAt(opened(Gate),0)). 95axiom(not(releasedAt(opened(Opened_Ret), 0)), 96 []). 97 98 99% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:41 100% [position] 101 % ReleasedAt(Pos(Homer,position),0). 102releasedAt(pos(homer,Position),0). 103 104 105% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:42 106% [position] 107 % !ReleasedAt(Pos(Jumbo,position),0). 108 % not(releasedAt(pos(jumbo,Position),0)). 109axiom(not(releasedAt(pos(jumbo, Pos_Ret), 0)), 110 []). 111 112 113% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:44 114% [human] 115 % HoldsAt(PosDeterminingFluent(human,1),1). 116holds_at(posDeterminingFluent(Human,1),1). 117 118 119% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:45 120% [event,animal] 121 % !HoldsAt(DoneBy(event,animal),1). 122 % not(holds_at(doneBy(Event,Animal),1)). 123axiom(not(holds_at(doneBy(DoneBy_Param, DoneBy_Ret), start)), 124 [b(t, start), ignore(t+1=start)]). 125 126% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:47 127% range time 0 1 128% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:48 129==> range(time,0,1). 130 131% range position 1 8 132% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:49 133==> range(position,1,8). 134 135% range offset 0 0 136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/AkmanEtAl2004/ZooTest6.e:50 137==> range(offset,0,0). 138%; End of file.