1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 27
29ignore(skyOf).
30ignore(groundOf).
31ignore(near).
32ignore(walkFromTo).
33ignore(runFromTo).
34
36ignore(rollAlong).
37ignore(diameter).
38ignore(move).
39ignore(holdSome).
40
42ignore(on).
43ignore(doorUnlock).
44ignore(doorLock).
45
47ignore(walkDownStaircase).
48ignore(walkUpStaircase).
49
51ignore(request).
52ignore(knowRequest).
53ignore(order).
54ignore(knowOrder).
55ignore(sayGoodbye).
56
58ignore(intentionToWalkIn).
59ignore(invitedIn).
60
62ignore(snowing).
63
65ignore(like).
66ignore(dislike).
67ignore(likeSnow).
68
70
72
74
76load('answers/Mueller2004c/OTSpaceM.e').
77
79load('answers/Mueller2004c/RTSpaceM.e').
80
81% load answers/Mueller2003/Feeling.e
82
83% load answers/Mueller2004c/Condition.e
84
85% load answers/Mueller2004c/Gun.e
86
87% load answers/Mueller2003/Sleep.e
88
89% load answers/Mueller2003/SpeechAct.e
90
91% gun Gun1
92==> t(gun,gun1).
93
94% bullet Bullet1
95==> t(bullet,bullet1).
96
97
100axiom(initially(intact(gun1)),
101 []).
102
103
106axiom(initially(intact(bullet1)),
107 []).
108
109% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:50
110% agent Perp1
111% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:51
112==> t(agent,perp1).
113
114% agent HumanTarget1
115% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:53
116==> t(agent,humanTarget1).
117
118
121axiom(initially(calm(humanTarget1)),
122 []).
123
124
127axiom(initially(alive(humanTarget1)),
128 []).
129
130
133axiom(initially(awake(humanTarget1)),
134 []).
135
136
139axiom(initially(standing(humanTarget1)),
140 []).
141
142
145axiom(initially(sleep2(humanTarget1)),
146 []).
147
148
151 152axiom(not(initially(injured(humanTarget1))),
153 []).
154
155
158 159 160axiom(not(initially(holding(humanTarget1, Holding_Ret))),
161 []).
162
163
166axiom(initially(at(humanTarget1, outside1)),
167 []).
168
169
172 173 174axiom(not(initially(inside(Inside_Param, Inside_Ret))),
175 []).
176
177
178% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:63
179%; prune
180
181% sort shoota, shootb, shooto, shooth, shootp
182% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:65
183==> sort(shoota).
184==> sort(shootb).
185==> sort(shooto).
186==> sort(shooth).
187==> sort(shootp).
188
189% event! Shoot(shoota,shootb,shooto)
190 % event(shoot(shoota,shootb,shooto)).
191% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:66
192==> mpred_prop(shoot(shoota,shootb,shooto),event).
193==> meta_argtypes(shoot(shoota,shootb,shooto)).
194
195% event! ShootInjure(shoota,shootb,shooth)
196 % event(shootInjure(shoota,shootb,shooth)).
197% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:67
198==> mpred_prop(shootInjure(shoota,shootb,shooth),event).
199==> meta_argtypes(shootInjure(shoota,shootb,shooth)).
200
201% event! ShootKill(shoota,shootb,shooth)
202 % event(shootKill(shoota,shootb,shooth)).
203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:68
204==> mpred_prop(shootKill(shoota,shootb,shooth),event).
205==> meta_argtypes(shootKill(shoota,shootb,shooth)).
206
207% event! ShootDamage(shoota,shootb,shootp)
208 % event(shootDamage(shoota,shootb,shootp)).
209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:69
210==> mpred_prop(shootDamage(shoota,shootb,shootp),event).
211==> meta_argtypes(shootDamage(shoota,shootb,shootp)).
212
213% event! ShootDestroy(shoota,shootb,shootp)
214 % event(shootDestroy(shoota,shootb,shootp)).
215% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:70
216==> mpred_prop(shootDestroy(shoota,shootb,shootp),event).
217==> meta_argtypes(shootDestroy(shoota,shootb,shootp)).
218
219% shoota! Perp1
220% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:71
221==> t(shoota,perp1).
222
223% shootb! Gun1
224% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:72
225==> t(shootb,gun1).
226
227% shooto! HumanTarget1
228% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:73
229==> t(shooto,humanTarget1).
230
231% shooth! HumanTarget1
232% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:74
233==> t(shooth,humanTarget1).
234%; room-scale topological space
235
236% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:76
237% outside Outside1
238% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:77
239==> t(outside,outside1).
240
241% outside Outside2
242% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:78
243==> t(outside,outside2).
244
245% room Inside1
246% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:79
247==> t(room,inside1).
248
249% door Door1
250% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:80
251==> t(door,door1).
252
253% building Building1
254% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:81
255==> t(building,building1).
256
257% street Street1
258% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:82
259==> t(street,street1).
260
261
264side1(door1,outside2).
265
266
269side2(door1,inside1).
270
271
274lookOutOnto(inside1,outside1).
275
276
279floor(inside1,1).
280
281
284buildingOf(inside1,building1).
285
286
289side1(street1,outside1).
290
291
294side2(street1,outside2).
295
296
299axiom(initially(calm(perp1)),
300 []).
301
302
305axiom(initially(alive(perp1)),
306 []).
307
308
311axiom(initially(awake(perp1)),
312 []).
313
314
317axiom(initially(standing(perp1)),
318 []).
319
320
323axiom(initially(sleep2(perp1)),
324 []).
325
326
329 330axiom(not(initially(injured(perp1))),
331 []).
332
333
336 337 338axiom(not(initially(holding(perp1, Holding_Ret))),
339 []).
340
341
344axiom(initially(at(gun1, outside2)),
345 []).
346
347
350axiom(initially(at(perp1, outside2)),
351 []).
352
353
356axiom(initially(at(bullet1, outside2)),
357 []).
358
359
362axiom(initially(doorIsOpen(door1)),
363 []).
364
365
368axiom(initially(doorUnlocked(door1)),
369 []).
370
371
374 375 376axiom(not(initially(threatenedBy(ThreatenedBy_Param, ThreatenedBy_Ret))),
377 []).
378
379
382 383 384axiom(not(initially(angryAt(AngryAt_Param, AngryAt_Ret))),
385 []).
386
387
390 391 392axiom(not(initially(inside(Inside_Param, Inside_Ret))),
393 []).
394
395
398 399 400axiom(not(initially(love(Love_Param, Love_Ret))),
401 []).
402
403
406
407
410axiom(happens(pickUp(perp1, gun1), t),
411 [is_time(0)]).
412
413
416axiom(happens(pickUp(perp1, bullet1), start),
417 [is_time(1), b(t, start), ignore(t+1=start)]).
418
419
422axiom(happens(putInside(perp1, bullet1, gun1), t2),
423 [is_time(2), b(t, t2), ignore(t+2=t2)]).
424
425
428axiom(happens(walkStreet21(perp1, street1), t3),
429 [is_time(3), b(t, t3), ignore(t+3=t3)]).
430
431
434axiom(happens(threaten(perp1, humanTarget1, gun1), t4),
435 [is_time(4), b(t, t4), ignore(t+4=t4)]).
436
437
440axiom(happens(grab(perp1, humanTarget1), t5),
441 [is_time(5), b(t, t5), ignore(t+5=t5)]).
442
443
446axiom(happens(walkStreet12(perp1, street1), t6),
447 [is_time(6), b(t, t6), ignore(t+6=t6)]).
448
449
452axiom(happens(walkThroughDoor12(perp1, door1), t7),
453 [is_time(7), b(t, t7), ignore(t+7=t7)]).
454
455
458axiom(happens(letGoOf(perp1, humanTarget1), t8),
459 [is_time(8), b(t, t8), ignore(t+8=t8)]).
460
461
464axiom(happens(shoot(perp1, gun1, humanTarget1), t9),
465 [is_time(9), b(t, t9), ignore(t+9=t9)]).
466
467
470axiom(happens(shootKill(perp1, gun1, humanTarget1), t9),
471 [is_time(9), b(t, t9), ignore(t+9=t9)]).
472
473% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:120
474% range time 0 10
475% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:121
476==> range(time,0,10).
477
478% range offset 0 3
479% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:122
480==> range(offset,0,3).
481
482% range diameter 0 0
483% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:123
484==> range(diameter,0,0).
485
486% completion Happens
487% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Kidnapping.e:125
488==> completion(happens).