1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/GiunchigliaEtAl2004/MonkeyPostdiction.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{Giunchiglia:2004,
   15%;   author = "Enrico Giunchiglia and Joohyung Lee and Vladimir Lifschitz and Norman C. McCain and Hudson Turner",
   16%;   year = "2004",
   17%;   title = "Nonmonotonic causal theories",
   18%;   journal = "Artificial Intelligence",
   19%;   volume = "153",
   20%;   pages = "49--104",
   21%; }
   22%;
   23%; postdiction
   24
   25% load foundations/Root.e
   26
   27% load foundations/EC.e
   28
   29% load examples/GiunchigliaEtAl2004/MonkeyBananas.e
   30
   31
   32% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPostdiction.e:26
   33% HoldsAt(At(Monkey,L1),0).
   34axiom(initially(at(monkey, l1)),
   35    []).
   36
   37
   38% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPostdiction.e:27
   39% HoldsAt(At(Bananas,L2),0).
   40axiom(initially(at(bananas, l2)),
   41    []).
   42
   43
   44% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPostdiction.e:28
   45% Happens(Walk(L3),0).
   46axiom(happens(walk(l3), t),
   47    [is_time(0)]).
   48
   49
   50% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPostdiction.e:29
   51% Happens(PushBox(L2),1).
   52axiom(happens(pushBox(l2), start),
   53    [is_time(1), b(t, start), ignore(t+1=start)]).
   54
   55% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPostdiction.e:31
   56% completion Happens
   57% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPostdiction.e:32
   58==> completion(happens).
   59
   60% range time 0 2
   61% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPostdiction.e:34
   62==> range(time,0,2).
   63
   64% range offset 0 0
   65% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPostdiction.e:35
   66==> range(offset,0,0).
   67%; End of file.