1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/Mueller2006/Chapter12/MethodB.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%; Method (D)
15%;
16%; @book{Mueller:2006,
17%; author = "Erik T. Mueller",
18%; year = "2006",
19%; title = "Commonsense Reasoning",
20%; address = "San Francisco",
21%; publisher = "Morgan Kaufmann/Elsevier",
22%; }
23%;
24
25% load foundations/Root.e
26
27% load foundations/EC.e
28
29% sort object
30==> sort(object).
31
32% object A,B
33==> t(object,a).
34==> t(object,b).
35
36% fluent P(object)
37 % fluent(p(object)).
38==> mpred_prop(p(object),fluent).
39==> meta_argtypes(p(object)).
40
41% fluent Q(object)
42 % fluent(q(object)).
43==> mpred_prop(q(object),fluent).
44==> meta_argtypes(q(object)).
45
46% predicate Ab(object,time)
47 % predicate(ab(object,time)).
48==> mpred_prop(ab(object,time),predicate).
49==> meta_argtypes(ab(object,time)).
50
51
57axiom(holds_at(q(Object), Time),
58 [holds_at(p(Object), Time), not(ab(Object, Time))]).
59
60
63axiom(initially(p(a)),
64 []).
65
66
69axiom(initially(p(b)),
70 []).
71
74next_axiom_uses(theta).
75
76
77
80ab(a,0).
81
82% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:41
83% range time 0 0
84% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:42
85==> range(time,0,0).
86
87% range offset 1 1
88% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:43
89==> range(offset,1,1).
90
91% completion Theta Ab
92% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter12/MethodB.e:45
93==> completion(theta).
94==> completion(ab).