1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 24
26:- set_ec_option(modeldiff, on). 27
28% load foundations/Root.e
29
30% load foundations/EC.e
31
32% sort agent
33==> sort(agent).
34
35% load examples/FrankEtAl2003/FrankEtAl.e
36
37% agent Bob, Jilly
38==> t(agent,bob).
39==> t(agent,jilly).
40
41
44 45axiom(not(initially(raining())),
46 []).
47
48
51 52axiom(not(initially(sunShining())),
53 []).
54
55
60
61 69
70 79axiom(holds_at(playSoccer(bob), start),
80
81 [ not(holds_at(playComputerGame(bob), start)),
82 not(holds_at(playHideAndSeek(bob), start)),
83 b(t, start),
84 ignore(t+1=start)
85 ]).
86axiom(holds_at(playSoccer(bob), start),
87
88 [ not(holds_at(playComputerGame(jilly), start)),
89 not(holds_at(playHideAndSeek(bob), start)),
90 b(t, start),
91 ignore(t+1=start)
92 ]).
93axiom(holds_at(playSoccer(bob), start),
94
95 [ not(holds_at(playComputerGame(bob), start)),
96 not(holds_at(playHideAndSeek(jilly), start)),
97 b(t, start),
98 ignore(t+1=start)
99 ]).
100axiom(holds_at(playSoccer(bob), start),
101
102 [ not(holds_at(playComputerGame(jilly), start)),
103 not(holds_at(playHideAndSeek(jilly), start)),
104 b(t, start),
105 ignore(t+1=start)
106 ]).
107
108 116axiom(holds_at(playSoccer(jilly), start),
117
118 [ not(holds_at(playComputerGame(bob), start)),
119 not(holds_at(playHideAndSeek(bob), start)),
120 b(t, start),
121 ignore(t+1=start)
122 ]).
123axiom(holds_at(playSoccer(jilly), start),
124
125 [ not(holds_at(playComputerGame(jilly), start)),
126 not(holds_at(playHideAndSeek(bob), start)),
127 b(t, start),
128 ignore(t+1=start)
129 ]).
130axiom(holds_at(playSoccer(jilly), start),
131
132 [ not(holds_at(playComputerGame(bob), start)),
133 not(holds_at(playHideAndSeek(jilly), start)),
134 b(t, start),
135 ignore(t+1=start)
136 ]).
137axiom(holds_at(playSoccer(jilly), start),
138
139 [ not(holds_at(playComputerGame(jilly), start)),
140 not(holds_at(playHideAndSeek(jilly), start)),
141 b(t, start),
142 ignore(t+1=start)
143 ]).
144
145 153axiom(holds_at(playHideAndSeek(bob), start),
154
155 [ not(holds_at(playSoccer(bob), start)),
156 not(holds_at(playComputerGame(bob), start)),
157 b(t, start),
158 ignore(t+1=start)
159 ]).
160axiom(holds_at(playHideAndSeek(bob), start),
161
162 [ not(holds_at(playSoccer(jilly), start)),
163 not(holds_at(playComputerGame(bob), start)),
164 b(t, start),
165 ignore(t+1=start)
166 ]).
167axiom(holds_at(playHideAndSeek(bob), start),
168
169 [ not(holds_at(playSoccer(bob), start)),
170 not(holds_at(playComputerGame(jilly), start)),
171 b(t, start),
172 ignore(t+1=start)
173 ]).
174axiom(holds_at(playHideAndSeek(bob), start),
175
176 [ not(holds_at(playSoccer(jilly), start)),
177 not(holds_at(playComputerGame(jilly), start)),
178 b(t, start),
179 ignore(t+1=start)
180 ]).
181
182 190axiom(holds_at(playHideAndSeek(jilly), start),
191
192 [ not(holds_at(playSoccer(bob), start)),
193 not(holds_at(playComputerGame(bob), start)),
194 b(t, start),
195 ignore(t+1=start)
196 ]).
197axiom(holds_at(playHideAndSeek(jilly), start),
198
199 [ not(holds_at(playSoccer(jilly), start)),
200 not(holds_at(playComputerGame(bob), start)),
201 b(t, start),
202 ignore(t+1=start)
203 ]).
204axiom(holds_at(playHideAndSeek(jilly), start),
205
206 [ not(holds_at(playSoccer(bob), start)),
207 not(holds_at(playComputerGame(jilly), start)),
208 b(t, start),
209 ignore(t+1=start)
210 ]).
211axiom(holds_at(playHideAndSeek(jilly), start),
212
213 [ not(holds_at(playSoccer(jilly), start)),
214 not(holds_at(playComputerGame(jilly), start)),
215 b(t, start),
216 ignore(t+1=start)
217 ]).
218
219 227axiom(holds_at(playComputerGame(bob), start),
228
229 [ not(holds_at(playSoccer(bob), start)),
230 not(holds_at(playHideAndSeek(bob), start)),
231 b(t, start),
232 ignore(t+1=start)
233 ]).
234axiom(holds_at(playComputerGame(bob), start),
235
236 [ not(holds_at(playSoccer(jilly), start)),
237 not(holds_at(playHideAndSeek(bob), start)),
238 b(t, start),
239 ignore(t+1=start)
240 ]).
241axiom(holds_at(playComputerGame(bob), start),
242
243 [ not(holds_at(playSoccer(bob), start)),
244 not(holds_at(playHideAndSeek(jilly), start)),
245 b(t, start),
246 ignore(t+1=start)
247 ]).
248axiom(holds_at(playComputerGame(bob), start),
249
250 [ not(holds_at(playSoccer(jilly), start)),
251 not(holds_at(playHideAndSeek(jilly), start)),
252 b(t, start),
253 ignore(t+1=start)
254 ]).
255
256 264axiom(holds_at(playComputerGame(jilly), start),
265
266 [ not(holds_at(playSoccer(bob), start)),
267 not(holds_at(playHideAndSeek(bob), start)),
268 b(t, start),
269 ignore(t+1=start)
270 ]).
271axiom(holds_at(playComputerGame(jilly), start),
272
273 [ not(holds_at(playSoccer(jilly), start)),
274 not(holds_at(playHideAndSeek(bob), start)),
275 b(t, start),
276 ignore(t+1=start)
277 ]).
278axiom(holds_at(playComputerGame(jilly), start),
279
280 [ not(holds_at(playSoccer(bob), start)),
281 not(holds_at(playHideAndSeek(jilly), start)),
282 b(t, start),
283 ignore(t+1=start)
284 ]).
285axiom(holds_at(playComputerGame(jilly), start),
286
287 [ not(holds_at(playSoccer(jilly), start)),
288 not(holds_at(playHideAndSeek(jilly), start)),
289 b(t, start),
290 ignore(t+1=start)
291 ]).
292
293
296
297 301
302 305axiom(holds_at(win(bob), start),
306 [not(holds_at(win(jilly), start)), b(t, start), ignore(t+1=start)]).
307
308 311axiom(holds_at(win(jilly), start),
312 [not(holds_at(win(bob), start)), b(t, start), ignore(t+1=start)]).
313
314% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/Story1.e:41
315% range time 0 1
316% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/Story1.e:42
317==> range(time,0,1).
318
319% range offset 0 0
320% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/FrankEtAl2003/Story1.e:43
321==> range(offset,0,0).