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.