1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/GiunchigliaEtAl2004/MonkeyPrediction.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%; deduction 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/MonkeyPrediction.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/MonkeyPrediction.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/MonkeyPrediction.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/MonkeyPrediction.e:29 51% Happens(Walk(L3),0). 52axiom(happens(walk(l3), t), 53 [is_time(0)]). 54 55 56% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPrediction.e:30 57% Happens(PushBox(L2),1). 58axiom(happens(pushBox(l2), start), 59 [is_time(1), b(t, start), ignore(t+1=start)]). 60 61% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPrediction.e:32 62% completion Happens 63% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPrediction.e:33 64==> completion(happens). 65 66% range time 0 2 67% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPrediction.e:35 68==> range(time,0,2). 69 70% range offset 0 0 71% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/GiunchigliaEtAl2004/MonkeyPrediction.e:36 72==> range(offset,0,0). 73%; End of file.