:-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPostdiction.e',37). % From E: % % :-call_pel_directive(translate(unskipped,'/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e.lps')). :- call_pel_directive(translate(unskipped, '/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e.lps')). :-include(library('ec_planner/ec_test_incl')). :-expects_dialect(lps). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPostdiction.e',37). % From E: % % :-call_pel_directive(translate(begining,'/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e.lps')). :- call_pel_directive(translate(begining, '/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e.lps')). % Sat, 10 Oct 2020 15:32:00 GMT File: (0x559e4b1d9400)%; %; Copyright (c) 2005 IBM Corporation and others. %; All rights reserved. This program and the accompanying materials %; are made available under the terms of the Common Public License v1.0 %; which accompanies this distribution, and is available at %; http://www.eclipse.org/legal/cpl-v10.html %; %; Contributors: %; IBM - Initial implementation %; %; @article{Giunchiglia:2004, %; author = "Enrico Giunchiglia and Joohyung Lee and Vladimir Lifschitz and Norman C. McCain and Hudson Turner", %; year = "2004", %; title = "Nonmonotonic causal theories", %; journal = "Artificial Intelligence", %; volume = "153", %; pages = "49--104", %; } %; %; deduction :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e',23). % load foundations/Root.e % From E: % % :-call_pel_directive(load('foundations/Root.e')). :- call_pel_directive(load('foundations/Root.e')). % load foundations/EC.e :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e',23). % From E: % % :-call_pel_directive(load('foundations/EC.e')). :- call_pel_directive(load('foundations/EC.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e',25). % load examples/GiunchigliaEtAl2004/MonkeyBananas.e % From E: % % :-call_pel_directive(load('examples/GiunchigliaEtAl2004/MonkeyBananas.e')). :- call_pel_directive(load('examples/GiunchigliaEtAl2004/MonkeyBananas.e')). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e',27). % HoldsAt(At(Monkey,L1),0). % From E: % % holds_at(at_loc(monkey,l1),0). initially at_loc(monkey, l1). % initial_state([at_loc(monkey,l1)]). % "% =================================". % HoldsAt(At(Bananas,L2),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e',27). % From E: % % holds_at(at_loc(bananas,l2),0). initially at_loc(bananas, l2). % initial_state([at_loc(bananas,l2)]). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e',29). % HoldsAt(At(Box,L3),0). % From E: % % holds_at(at_loc(box,l3),0). initially at_loc(box, l3). % initial_state([at_loc(box,l3)]). % "% =================================". % Happens(Walk(L3),0). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e',29). % From E: % % happens_at(walk(l3),0). observe walk(l3)at 0. % observe([walk(l3)],0). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e',31). % Happens(PushBox(L2),1). % From E: % % happens_at(pushBox(l2),1). observe pushBox(l2)at 1. % observe([pushBox(l2)],1). % "% =================================". :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e',33). % completion Happens % From E: % % :-call_pel_directive(completion(happens_at)). :- call_pel_directive(completion(happens_at)). :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e',35). % range time 0 2 % From E: % % :-call_pel_directive(range(time,0,2)). :- call_pel_directive(range(time, 0, 2)). % range offset 0 0 :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e',35). % From E: % % :-call_pel_directive(range(offset,0,0)). :- call_pel_directive(range(offset, 0, 0)). %; End of file. :-was_s_l('/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e',38). % From E: % % :-call_pel_directive(translate(ending,'/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e.lps')). :- call_pel_directive(translate(ending, '/pack/logicmoo_ec/ext/ec_sources/examples/GiunchigliaEtAl2004/MonkeyPrediction.e.lps')).