1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 21
23:- set_ec_option(renaming, off). 24
26:- set_ec_option(encoding, 3). 27
28% load foundations/Root.e
29
30% load foundations/EC.e
31
32% load answers/Mueller2003/Ontology.e
33
34% load answers/MuellerInPress/RepRest.e
35
36% door MainEntrance1
37==> t(door,mainEntrance1).
38%; room-scale topological space
39
40% outside Street1
41==> t(outside,street1).
42
43% room DiningRoom1
44==> t(room,diningRoom1).
45
46% door KitchenDoor1
47==> t(door,kitchenDoor1).
48
49% room Kitchen1
50==> t(room,kitchen1).
51
52
55side1(mainEntrance1,street1).
56
57
60side2(mainEntrance1,diningRoom1).
61
62
65side1(kitchenDoor1,diningRoom1).
66
67
70side2(kitchenDoor1,kitchen1).
71
72% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:38
73% agent Customer1
74% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:39
75==> t(agent,customer1).
76
77% menu Menu1
78% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:40
79==> t(menu,menu1).
80
81% chair Chair1
82% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:41
83==> t(chair,chair1).
84
85% food Food1
86% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:42
87==> t(food,food1).
88
89
92axiom(initially(at(customer1, street1)),
93 []).
94
95
98axiom(initially(hungry(customer1)),
99 []).
100
101
104axiom(initially(at(chair1, diningRoom1)),
105 []).
106
107
110axiom(initially(at(menu1, diningRoom1)),
111 []).
112
113
116axiom(initially(on(menu1, table1)),
117 []).
118
119
122axiom(initially(at(food1, kitchen1)),
123 []).
124
125% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:49
126% waiter Waiter1
127% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:50
128==> t(waiter,waiter1).
129
130% cook Cook1
131% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:51
132==> t(cook,cook1).
133%; props
134
135% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:53
136% table Table1
137% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:54
138==> t(table,table1).
139
140% bill Bill1
141% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:55
142==> t(bill,bill1).
143%; restaurant
144
145% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:57
146% restaurant Restaurant1
147% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:58
148==> t(restaurant,restaurant1).
149
150
153cookOf(restaurant1,cook1).
154
155
158tableOf(restaurant1,table1).
159
160
163waiterOf(restaurant1,waiter1).
164
165
168kitchenDoorOf(restaurant1,kitchenDoor1).
169
170
173billOf(restaurant1,bill1).
174
175
176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:64
177%; prune
178
179% sort ona, onb
180% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:66
181==> sort(ona).
182==> sort(onb).
183
184% fluent! On(ona,onb)
185 % fluent(on(ona,onb)).
186% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:67
187==> mpred_prop(on(ona,onb),fluent).
188==> meta_argtypes(on(ona,onb)).
189
190% event! PlaceOn(agent,ona,onb)
191 % event(placeOn(agent,ona,onb)).
192% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:68
193==> mpred_prop(placeOn(agent,ona,onb),event).
194==> meta_argtypes(placeOn(agent,ona,onb)).
195
196% event! TakeOffOf(agent,ona,onb)
197 % event(takeOffOf(agent,ona,onb)).
198% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:69
199==> mpred_prop(takeOffOf(agent,ona,onb),event).
200==> meta_argtypes(takeOffOf(agent,ona,onb)).
201
202% sort ordera, orderb, orderc
203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:71
204==> sort(ordera).
205==> sort(orderb).
206==> sort(orderc).
207
208% event! Order(ordera,orderb,orderc)
209 % event(order(ordera,orderb,orderc)).
210% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:72
211==> mpred_prop(order(ordera,orderb,orderc),event).
212==> meta_argtypes(order(ordera,orderb,orderc)).
213
214% fluent! KnowOrder(orderb,ordera,orderc)
215 % fluent(knowOrder(orderb,ordera,orderc)).
216% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:73
217==> mpred_prop(knowOrder(orderb,ordera,orderc),fluent).
218==> meta_argtypes(knowOrder(orderb,ordera,orderc)).
219
220% sort requesta, requestb, requestc
221% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:75
222==> sort(requesta).
223==> sort(requestb).
224==> sort(requestc).
225
226% event! Request(requesta,requestb,requestc)
227 % event(request(requesta,requestb,requestc)).
228% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:76
229==> mpred_prop(request(requesta,requestb,requestc),event).
230==> meta_argtypes(request(requesta,requestb,requestc)).
231
232% fluent! KnowRequest(requestb,requesta,requestc)
233 % fluent(knowRequest(requestb,requesta,requestc)).
234% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:77
235==> mpred_prop(knowRequest(requestb,requesta,requestc),fluent).
236==> meta_argtypes(knowRequest(requestb,requesta,requestc)).
237
238% sort holda, holdb, holdc
239% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:79
240==> sort(holda).
241==> sort(holdb).
242==> sort(holdc).
243
244% event! TakeOffOf(holda,holdb,holdc)
245 % event(takeOffOf(holda,holdb,holdc)).
246% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:80
247==> mpred_prop(takeOffOf(holda,holdb,holdc),event).
248==> meta_argtypes(takeOffOf(holda,holdb,holdc)).
249
250% event! PickUp(holda,holdb)
251 % event(pickUp(holda,holdb)).
252% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:81
253==> mpred_prop(pickUp(holda,holdb),event).
254==> meta_argtypes(pickUp(holda,holdb)).
255
256% event! LetGoOf(holda,holdb)
257 % event(letGoOf(holda,holdb)).
258% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:82
259==> mpred_prop(letGoOf(holda,holdb),event).
260==> meta_argtypes(letGoOf(holda,holdb)).
261
262% event! Hold(holda,holdb)
263 % event(hold(holda,holdb)).
264% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:83
265==> mpred_prop(hold(holda,holdb),event).
266==> meta_argtypes(hold(holda,holdb)).
267
268% fluent! Holding(holda,holdb)
269 % fluent(holding(holda,holdb)).
270% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:84
271==> mpred_prop(holding(holda,holdb),fluent).
272==> meta_argtypes(holding(holda,holdb)).
273
274% sort sita, sitb
275% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:86
276==> sort(sita).
277==> sort(sitb).
278
279% event! LieOn(sita,sitb)
280 % event(lieOn(sita,sitb)).
281% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:87
282==> mpred_prop(lieOn(sita,sitb),event).
283==> meta_argtypes(lieOn(sita,sitb)).
284
285% event! SitOn(sita,sitb)
286 % event(sitOn(sita,sitb)).
287% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:88
288==> mpred_prop(sitOn(sita,sitb),event).
289==> meta_argtypes(sitOn(sita,sitb)).
290
291% event! RiseFrom(sita,sitb)
292 % event(riseFrom(sita,sitb)).
293% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:89
294==> mpred_prop(riseFrom(sita,sitb),event).
295==> meta_argtypes(riseFrom(sita,sitb)).
296
297% fluent! LyingOn(sita,sitb)
298 % fluent(lyingOn(sita,sitb)).
299% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:90
300==> mpred_prop(lyingOn(sita,sitb),fluent).
301==> meta_argtypes(lyingOn(sita,sitb)).
302
303% fluent! SittingOn(sita,sitb)
304 % fluent(sittingOn(sita,sitb)).
305% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:91
306==> mpred_prop(sittingOn(sita,sitb),fluent).
307==> meta_argtypes(sittingOn(sita,sitb)).
308
309% sort greeta, greetb
310% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:93
311==> sort(greeta).
312==> sort(greetb).
313
314% event! Greet(greeta,greetb)
315 % event(greet(greeta,greetb)).
316% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:94
317==> mpred_prop(greet(greeta,greetb),event).
318==> meta_argtypes(greet(greeta,greetb)).
319
320% ona! Menu1, Food1, Bill1
321% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:96
322==> t(ona,menu1).
323==> t(ona,food1).
324==> t(ona,bill1).
325
326% onb! Table1
327% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:97
328==> t(onb,table1).
329
330% ordera! Customer1, Waiter1
331% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:98
332==> t(ordera,customer1).
333==> t(ordera,waiter1).
334
335% orderb! Waiter1, Cook1
336% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:99
337==> t(orderb,waiter1).
338==> t(orderb,cook1).
339
340% orderc! Food1
341% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:100
342==> t(orderc,food1).
343
344% requesta! Customer1
345% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:101
346==> t(requesta,customer1).
347
348% requestb! Waiter1
349% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:102
350==> t(requestb,waiter1).
351
352% requestc! Bill1
353% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:103
354==> t(requestc,bill1).
355
356% holda! Customer1, Waiter1
357% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:104
358==> t(holda,customer1).
359==> t(holda,waiter1).
360
361% holdb! Menu1, Food1, Bill1
362% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:105
363==> t(holdb,menu1).
364==> t(holdb,food1).
365==> t(holdb,bill1).
366
367% holdc! Table1
368% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:106
369==> t(holdc,table1).
370
371% sita! Customer1
372% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:107
373==> t(sita,customer1).
374
375% sitb! Chair1
376% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:108
377==> t(sitb,chair1).
378
379% greeta! Customer1, Waiter1
380% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:109
381==> t(greeta,customer1).
382==> t(greeta,waiter1).
383
384% greetb! Customer1, Waiter1
385% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:110
386==> t(greetb,customer1).
387==> t(greetb,waiter1).
389
390
393axiom(initially(at(waiter1, diningRoom1)),
394 []).
395
396
399axiom(initially(at(cook1, kitchen1)),
400 []).
401
402
405axiom(initially(at(table1, diningRoom1)),
406 []).
407
408
411 412axiom(not(initially(on(bill1, table1))),
413 []).
414
415
418axiom(initially(at(bill1, diningRoom1)),
419 []).
420
421
424 425axiom(initially(standing(Agent)),
426 []).
427
428
431 432 433axiom(not(initially(holding(Holding_Param, Holding_Ret))),
434 []).
435
436
439 440 441axiom(not(initially(knowOrder(KnowOrder_Param, _, KnowOrder_Ret))),
442 []).
443
444
447 448 449axiom(not(initially(knowRequest(KnowRequest_Param, _, KnowRequest_Ret))),
450 []).
451
452
455axiom(initially(beWaiter0(waiter1)),
456 []).
457
458
461axiom(initially(beCook0(cook1)),
462 []).
463
464
467 468 469axiom(not(initially(foodPrepared(FoodPrepared_Ret))),
470 []).
471
472
475 476axiom(not(initially(hungry(cook1))),
477 []).
478
479
482 483axiom(not(initially(hungry(waiter1))),
484 []).
485
486
489axiom(happens(walkThroughDoor12(customer1, mainEntrance1), t),
490 [is_time(0)]).
491
492
495axiom(happens(greet(waiter1, customer1), start),
496 [is_time(1), b(t, start), ignore(t+1=start)]).
497
498
501axiom(happens(sitOn(customer1, chair1), t2),
502 [is_time(2), b(t, t2), ignore(t+2=t2)]).
503
504
507axiom(happens(takeOffOf(customer1, menu1, table1), t3),
508 [is_time(3), b(t, t3), ignore(t+3=t3)]).
509
510
513axiom(happens(order(customer1, waiter1, food1), t4),
514 [is_time(4), b(t, t4), ignore(t+4=t4)]).
515
516
519axiom(happens(placeOn(customer1, menu1, table1), t5),
520 [is_time(5), b(t, t5), ignore(t+5=t5)]).
521
522
525axiom(happens(eat(customer1, food1), t11),
526 [is_time(11), b(t, t11), ignore(t+11=t11)]).
527
528
531axiom(happens(request(customer1, waiter1, bill1), t12),
532 [is_time(12), b(t, t12), ignore(t+12=t12)]).
533
534
537axiom(happens(pay(customer1, waiter1), t15),
538 [is_time(15), b(t, t15), ignore(t+15=t15)]).
539
540
543axiom(happens(tip(customer1, waiter1), t15),
544 [is_time(15), b(t, t15), ignore(t+15=t15)]).
545
546
549axiom(happens(riseFrom(customer1, chair1), t16),
550 [is_time(16), b(t, t16), ignore(t+16=t16)]).
551
552
555axiom(happens(sayGoodbye(customer1, waiter1), t17),
556 [is_time(17), b(t, t17), ignore(t+17=t17)]).
557
558
561axiom(happens(walkThroughDoor21(customer1, mainEntrance1), t18),
562 [is_time(18), b(t, t18), ignore(t+18=t18)]).
563
564% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:141
565% range time 0 19
566% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:142
567==> range(time,0,19).
568
569% range offset 0 0
570% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:143
571==> range(offset,0,0).
572
573% range diameter 0 0
574% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:144
575==> range(diameter,0,0).
576
577% completion Happens
578% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rest.e:146
579==> completion(happens).