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.