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.