1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 24
26:- set_ec_option(modeldiff, on). 27
29:- set_ec_option(encoding, 3). 30
32:- set_ec_option(renaming, off). 33
35ignore(love).
36ignore(threatenedBy).
37
39ignore(lookOutOnto).
40ignore(floor).
41ignore(buildingOf).
42ignore(skyOf).
43ignore(groundOf).
44
46ignore(inside).
47
49ignore(near).
50ignore(walkFrom).
51ignore(walkFromTo).
52ignore(runFromTo).
53
55ignore(billOf).
56ignore(cookOf).
57ignore(tableOf).
58ignore(waiterOf).
59ignore(kitchenDoorOf).
60
62ignore(beWaiter0).
63ignore(beWaiter1).
64ignore(beWaiter2).
65ignore(beWaiter3).
66ignore(beWaiter4).
67
69ignore(beWaiter5).
70ignore(beWaiter6).
71ignore(beWaiter7).
72ignore(beWaiter8).
73ignore(beWaiter9).
74
76ignore(beCook0).
77ignore(beCook1).
78
80ignore(inviteIn).
81ignore(invitedIn).
82ignore(intendToWalkIn).
83ignore(intentionToWalkIn).
84
86ignore(actOnIntentionToWalkIn).
87ignore(greet).
88ignore(sayGoodbye).
89ignore(cryForJoy).
90
92ignore(threaten).
93ignore(releaseFromThreat).
94ignore(threatenedBy).
95
97ignore(order).
98ignore(knowOrder).
99ignore(request).
100ignore(knowRequest).
101
103ignore(putInside).
104ignore(takeOutOf).
105
107ignore(sayPleaseToMeet).
108ignore(move).
109
111
113
115
117load('answers/Mueller2004c/RTSpaceM.e').
118
120load('answers/Mueller2004c/OTSpaceM.e').
121
122% load answers/Mueller2004c/HungerNeed.e
123
124% load answers/Mueller2004c/Restaurant.e
125
126% load answers/Mueller2003/Sleep.e
127
128% load answers/Mueller2003/SpeechAct.e
129
130% load answers/Mueller2004c/Dress.e
131
132% room Upstairs1
133==> t(room,upstairs1).
134
135% staircase Staircase1
136==> t(staircase,staircase1).
137
138% room Hallway1
139==> t(room,hallway1).
140
141
144side1(staircase1,hallway1).
145
146
149side2(staircase1,upstairs1).
150
151% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:60
152% door DiningRoomDoor1
153% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:61
154==> t(door,diningRoomDoor1).
155
156% room DiningRoom1
157% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:63
158==> t(room,diningRoom1).
159
160
163side1(diningRoomDoor1,hallway1).
164
165
168side2(diningRoomDoor1,diningRoom1).
169
170% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:67
171% door KitchenDoor1
172% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:68
173==> t(door,kitchenDoor1).
174
175% room Kitchen1
176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:70
177==> t(room,kitchen1).
178
179
182side1(kitchenDoor1,diningRoom1).
183
184
187side2(kitchenDoor1,kitchen1).
188
189% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:74
190% agent Eater1
191% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:75
192==> t(agent,eater1).
193
194% agent Eater2
195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:77
196==> t(agent,eater2).
197
198% clothing Clothing1
199% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:79
200==> t(clothing,clothing1).
201
202% clothing Clothing2
203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:81
204==> t(clothing,clothing2).
205
206% chair Chair1
207% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:83
208==> t(chair,chair1).
209
210% chair Chair2
211% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:85
212==> t(chair,chair2).
213
214% food Food1
215% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:87
216==> t(food,food1).
217
218% agent Cook1
219% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:89
220==> t(agent,cook1).
221
222% table Table1
223% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:91
224==> t(table,table1).
225
226% content Content1
227% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:93
228==> t(content,content1).
229
230% content Content2
231% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:95
232==> t(content,content2).
233
234% outside DummyOutside1
235% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:97
236==> t(outside,dummyOutside1).
237%; prune
238
239% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:99
240% sort ona, onb
241% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:100
242==> sort(ona).
243==> sort(onb).
244
245% fluent! On(ona,onb)
246 % fluent(on(ona,onb)).
247% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:101
248==> mpred_prop(on(ona,onb),fluent).
249==> meta_argtypes(on(ona,onb)).
250
251% event! PlaceOn(agent,ona,onb)
252 % event(placeOn(agent,ona,onb)).
253% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:102
254==> mpred_prop(placeOn(agent,ona,onb),event).
255==> meta_argtypes(placeOn(agent,ona,onb)).
256
257% event! TakeOffOf(agent,ona,onb)
258 % event(takeOffOf(agent,ona,onb)).
259% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:103
260==> mpred_prop(takeOffOf(agent,ona,onb),event).
261==> meta_argtypes(takeOffOf(agent,ona,onb)).
262
263% sort ordera, orderb, orderc
264% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:105
265==> sort(ordera).
266==> sort(orderb).
267==> sort(orderc).
268
269% event! Order(ordera,orderb,orderc)
270 % event(order(ordera,orderb,orderc)).
271% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:106
272==> mpred_prop(order(ordera,orderb,orderc),event).
273==> meta_argtypes(order(ordera,orderb,orderc)).
274
275% fluent! KnowOrder(orderb,ordera,orderc)
276 % fluent(knowOrder(orderb,ordera,orderc)).
277% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:107
278==> mpred_prop(knowOrder(orderb,ordera,orderc),fluent).
279==> meta_argtypes(knowOrder(orderb,ordera,orderc)).
280
281% sort requesta, requestb, requestc
282% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:109
283==> sort(requesta).
284==> sort(requestb).
285==> sort(requestc).
286
287% event! Request(requesta,requestb,requestc)
288 % event(request(requesta,requestb,requestc)).
289% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:110
290==> mpred_prop(request(requesta,requestb,requestc),event).
291==> meta_argtypes(request(requesta,requestb,requestc)).
292
293% fluent! KnowRequest(requestb,requesta,requestc)
294 % fluent(knowRequest(requestb,requesta,requestc)).
295% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:111
296==> mpred_prop(knowRequest(requestb,requesta,requestc),fluent).
297==> meta_argtypes(knowRequest(requestb,requesta,requestc)).
298
299% sort holda, holdb, holdc
300% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:113
301==> sort(holda).
302==> sort(holdb).
303==> sort(holdc).
304
305% event! TakeOffOf(holda,holdb,holdc)
306 % event(takeOffOf(holda,holdb,holdc)).
307% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:114
308==> mpred_prop(takeOffOf(holda,holdb,holdc),event).
309==> meta_argtypes(takeOffOf(holda,holdb,holdc)).
310
311% event! PickUp(holda,holdb)
312 % event(pickUp(holda,holdb)).
313% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:115
314==> mpred_prop(pickUp(holda,holdb),event).
315==> meta_argtypes(pickUp(holda,holdb)).
316
317% event! LetGoOf(holda,holdb)
318 % event(letGoOf(holda,holdb)).
319% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:116
320==> mpred_prop(letGoOf(holda,holdb),event).
321==> meta_argtypes(letGoOf(holda,holdb)).
322
323% event! Hold(holda,holdb)
324 % event(hold(holda,holdb)).
325% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:117
326==> mpred_prop(hold(holda,holdb),event).
327==> meta_argtypes(hold(holda,holdb)).
328
329% fluent! Holding(holda,holdb)
330 % fluent(holding(holda,holdb)).
331% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:118
332==> mpred_prop(holding(holda,holdb),fluent).
333==> meta_argtypes(holding(holda,holdb)).
334
335% sort sita, sitb
336% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:120
337==> sort(sita).
338==> sort(sitb).
339
340% event! LieOn(sita,sitb)
341 % event(lieOn(sita,sitb)).
342% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:121
343==> mpred_prop(lieOn(sita,sitb),event).
344==> meta_argtypes(lieOn(sita,sitb)).
345
346% event! SitOn(sita,sitb)
347 % event(sitOn(sita,sitb)).
348% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:122
349==> mpred_prop(sitOn(sita,sitb),event).
350==> meta_argtypes(sitOn(sita,sitb)).
351
352% event! RiseFrom(sita,sitb)
353 % event(riseFrom(sita,sitb)).
354% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:123
355==> mpred_prop(riseFrom(sita,sitb),event).
356==> meta_argtypes(riseFrom(sita,sitb)).
357
358% fluent! LyingOn(sita,sitb)
359 % fluent(lyingOn(sita,sitb)).
360% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:124
361==> mpred_prop(lyingOn(sita,sitb),fluent).
362==> meta_argtypes(lyingOn(sita,sitb)).
363
364% fluent! SittingOn(sita,sitb)
365 % fluent(sittingOn(sita,sitb)).
366% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:125
367==> mpred_prop(sittingOn(sita,sitb),fluent).
368==> meta_argtypes(sittingOn(sita,sitb)).
369
370% ona! Food1
371% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:127
372==> t(ona,food1).
373
374% onb! Table1
375% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:128
376==> t(onb,table1).
377
378% holda! Cook1
379% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:129
380==> t(holda,cook1).
381
382% holdb! Food1
383% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:130
384==> t(holdb,food1).
385
386% holdc! Table1
387% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:131
388==> t(holdc,table1).
389
390% sita! Eater1
391% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:132
392==> t(sita,eater1).
393
394% sitb! Chair1
395% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:133
396==> t(sitb,chair1).
399 401axiom(initially(dressed(Agent)),
402 []).
403
404
407 408axiom(initially(awake(Agent)),
409 []).
410
411
414 415axiom(initially(sleep3(Agent)),
416 []).
417
418
421 422axiom(initially(standing(Agent)),
423 []).
424
425
428 429axiom(initially(standing(Agent)),
430 []).
431
432
435 436 437axiom(not(initially(holding(Holding_Param, Holding_Ret))),
438 []).
439
440
443 444axiom(initially(at(Food, kitchen1)),
445 []).
446
447
450 451 452axiom(not(initially(foodPrepared(FoodPrepared_Ret))),
453 []).
454
455
458 459axiom(initially(hungry(Agent)),
460 []).
461
462
465 466axiom(initially(doorIsOpen(Door)),
467 []).
468
469
472 473axiom(initially(at(Clothing, upstairs1)),
474 []).
475
476
479 480axiom(initially(at(Chair, diningRoom1)),
481 []).
482
483
486axiom(initially(at(cook1, kitchen1)),
487 []).
488
489
492axiom(initially(at(table1, diningRoom1)),
493 []).
494
495
498 499 500axiom(not(initially(wearing(Wearing_Param, Wearing_Ret))),
501 []).
502
503
506
507
510axiom(initially(at(cook1, kitchen1)),
511 []).
512
513
516axiom(initially(at(eater1, upstairs1)),
517 []).
518
519
522axiom(initially(at(eater2, upstairs1)),
523 []).
524
525
528axiom(happens(foodPrepare(cook1, food1), t),
529 [is_time(0)]).
530
531
534axiom(happens(putOn(eater1, clothing1), start),
535 [is_time(1), b(t, start), ignore(t+1=start)]).
536
537
540axiom(happens(putOn(eater2, clothing2), t2),
541 [is_time(2), b(t, t2), ignore(t+2=t2)]).
542
543
546axiom(happens(walkDownStaircase(eater1, staircase1), t3),
547 [is_time(3), b(t, t3), ignore(t+3=t3)]).
548
549
552axiom(happens(walkDownStaircase(eater2, staircase1), t4),
553 [is_time(4), b(t, t4), ignore(t+4=t4)]).
554
555
558axiom(happens(walkThroughDoor12(eater1, diningRoomDoor1), t5),
559 [is_time(5), b(t, t5), ignore(t+5=t5)]).
560
561
564axiom(happens(walkThroughDoor12(eater2, diningRoomDoor1), t6),
565 [is_time(6), b(t, t6), ignore(t+6=t6)]).
566
567
570axiom(happens(sitOn(eater1, chair1), t7),
571 [is_time(7), b(t, t7), ignore(t+7=t7)]).
572
573
576axiom(happens(sitOn(eater2, chair2), t8),
577 [is_time(8), b(t, t8), ignore(t+8=t8)]).
578
579
582axiom(happens(pickUp(cook1, food1), t9),
583 [is_time(9), b(t, t9), ignore(t+9=t9)]).
584
585
588axiom(happens(walkThroughDoor21(cook1, kitchenDoor1), t10),
589 [is_time(10), b(t, t10), ignore(t+10=t10)]).
590
591
594axiom(happens(placeOn(cook1, food1, table1), t11),
595 [is_time(11), b(t, t11), ignore(t+11=t11)]).
596
597
600axiom(happens(walkThroughDoor12(cook1, kitchenDoor1), t12),
601 [is_time(12), b(t, t12), ignore(t+12=t12)]).
602
603
606axiom(happens(eat(eater1, food1), t13),
607 [is_time(13), b(t, t13), ignore(t+13=t13)]).
608
609
612axiom(happens(eat(eater2, food1), t14),
613 [is_time(14), b(t, t14), ignore(t+14=t14)]).
614
615
618axiom(happens(converse(eater1, eater2), t15),
619 [is_time(15), b(t, t15), ignore(t+15=t15)]).
620
621
624axiom(happens(talkAbout(eater1, content1), t16),
625 [is_time(16), b(t, t16), ignore(t+16=t16)]).
626
627
630axiom(happens(talkAbout(eater2, content2), t17),
631 [is_time(17), b(t, t17), ignore(t+17=t17)]).
632
633
636axiom(happens(riseFrom(eater1, chair1), t18),
637 [is_time(18), b(t, t18), ignore(t+18=t18)]).
638
639
642axiom(happens(riseFrom(eater2, chair2), t19),
643 [is_time(19), b(t, t19), ignore(t+19=t19)]).
644
645% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:176
646% range time 0 20
647% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:177
648==> range(time,0,20).
649
650% range offset 0 0
651% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:178
652==> range(offset,0,0).
653
654% range diameter 0 0
655% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:179
656==> range(diameter,0,0).
657
658% completion Happens
659% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/EatingInAHouse.e:181
660==> completion(happens).