1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/Mueller2006/Chapter2/Inconsistency3.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%; @book{Mueller:2006,
15%; author = "Erik T. Mueller",
16%; year = "2006",
17%; title = "Commonsense Reasoning",
18%; address = "San Francisco",
19%; publisher = "Morgan Kaufmann/Elsevier",
20%; }
21%;
22
23% load foundations/Root.e
24
25% load foundations/EC.e
26
27% sort object
28==> sort(object).
29
30% object O1
31==> t(object,o1).
32
33% fluent F(object)
34 % fluent(f(object)).
35==> mpred_prop(f(object),fluent).
36==> meta_argtypes(f(object)).
37
38% event E(object)
39 % event(e(object)).
40==> mpred_prop(e(object),event).
41==> meta_argtypes(e(object)).
42
43
46 47axiom(releases(e(Object), f(Object), Time),
48 []).
49
50
53 54axiom(terminates(e(Object), f(Object), Time),
55 []).
56
57
60axiom(happens(e(o1), t),
61 [is_time(0)]).
62
63% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter2/Inconsistency3.e:34
64% range time 0 1
65% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter2/Inconsistency3.e:35
66==> range(time,0,1).
67
68% range offset 1 1
69% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2006/Chapter2/Inconsistency3.e:36
70==> range(offset,1,1).