1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/GiunchigliaEtAl2004/MonkeyPlanning.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%; planning
   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/MonkeyPlanning.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/MonkeyPlanning.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/MonkeyPlanning.e:28
   45% HoldsAt(At(Box,L3),0).
   46axiom(initially(at(box, l3)),
   47    []).
   48
   49
   50% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPlanning.e:29
   51% HoldsAt(HasBananas(),4).
   52holds_at(hasBananas(),4).
   53
   54
   55% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPlanning.e:31
   56%; PLAN Happens(Walk(L3),0).
   57%; PLAN Happens(PushBox(L2),1).
   58%; PLAN Happens(ClimbOn(),2).
   59%; PLAN Happens(GraspBananas(),3).
   60%; one event at a time
   61% [event1,event2,time]
   62 
   63% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPlanning.e:37
   64% Happens(event1,time) & Happens(event2,time) ->
   65% event1=event2.
   66% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPlanning.e:38
   67axiom(Event1=Event2,
   68    [happens(Event1, Time), happens(Event2, Time)]).
   69
   70% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPlanning.e:40
   71% range time 0 4
   72% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPlanning.e:41
   73==> range(time,0,4).
   74
   75% range offset 0 0
   76% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPlanning.e:42
   77==> range(offset,0,0).
   78%; End of file.