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.