1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/Rain.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%; Rain
15%;
16%; It starts raining at location outside.
17
18% event StartRaining(outside)
19 % event(startRaining(outside)).
20==> mpred_prop(startRaining(outside),event).
21==> meta_argtypes(startRaining(outside)).
22
23
24% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:16
25%; It stops raining at location outside.
26
27% event StopRaining(outside)
28 % event(stopRaining(outside)).
29% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:18
30==> mpred_prop(stopRaining(outside),event).
31==> meta_argtypes(stopRaining(outside)).
32
33
34% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:19
35%; It is raining at location outside.
36
37% fluent Raining(outside)
38 % fluent(raining(outside)).
39% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:21
40==> mpred_prop(raining(outside),fluent).
41==> meta_argtypes(raining(outside)).
42
43% event GetWet(object)
44 % event(getWet(object)).
45% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:23
46==> mpred_prop(getWet(object),event).
47==> meta_argtypes(getWet(object)).
48
49% event Dry(object)
50 % event(dry(object)).
51% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:25
52==> mpred_prop(dry(object),event).
53==> meta_argtypes(dry(object)).
54
55% fluent Wet(object)
56 % fluent(wet(object)).
57% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:27
58==> mpred_prop(wet(object),fluent).
59==> meta_argtypes(wet(object)).
60
61
70axiom(happens(getWet(Agent), Time),
71
72 [ holds_at(at(Agent, Outside), Time),
73 holds_at(raining(Outside), Time),
74 not(holds_at(wet(Agent), Time)),
75 not(holds_at(holding(Agent, Umbrella), Time))
76 ]).
77
78
83axiom(initiates(getWet(Object), wet(Object), Time),
84 []).
85
86
91axiom(terminates(dry(Object), wet(Object), Time),
92 []).
93
94