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(renaming, off). 30
32ignore(love).
33ignore(threatenedBy).
34
36ignore(lookOutOnto).
37ignore(floor).
38ignore(buildingOf).
39ignore(skyOf).
40ignore(groundOf).
41
43ignore(inside).
44ignore(putInside).
45ignore(on).
46ignore(placeOn).
47
49ignore(like).
50ignore(happy).
51ignore(becomeAngryAt).
52
54ignore(near).
55ignore(walkFrom).
56ignore(walkFromTo).
57ignore(runFromTo).
58
60ignore(actOnIntentionToWalkIn).
61ignore(intentionToWalkIn).
62ignore(invitedIn).
63ignore(inviteIn).
64
66ignore(takeOffOf).
67ignore(takeOutOf).
68ignore(letGoOf).
69
71ignore(greet).
72ignore(sayGoodbye).
73ignore(order).
74ignore(knowOrder).
75
77
79
81
83load('answers/Mueller2004c/OTSpaceM.e').
84
86load('answers/Mueller2004c/RTSpaceM.e').
87
88% load answers/Mueller2004c/HandTo.e
89
90% load answers/Mueller2004c/Money.e
91
92% load answers/Mueller2003/Sleep.e
93
94% load answers/Mueller2003/SpeechAct.e
95
96% load answers/Mueller2004c/Vehicle.e
97
98% outside NearStation1
99==> t(outside,nearStation1).
100
101% street Street1
102==> t(street,street1).
103
104% outside Station1
105==> t(outside,station1).
106
107
110side1(street1,nearStation1).
111
112
115side2(street1,station1).
116
117% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:53
118% room WaitingRoom1
119% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:54
120==> t(room,waitingRoom1).
121
122% door Door1
123% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:56
124==> t(door,door1).
125
126
129side1(door1,station1).
130
131
134side2(door1,waitingRoom1).
135
136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:60
137% outside BeforeStation1
138% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:61
139==> t(outside,beforeStation1).
140
141% track TrackToStation1
142% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:63
143==> t(track,trackToStation1).
144
145
148side1(trackToStation1,beforeStation1).
149
150
153side2(trackToStation1,station1).
154
155% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:67
156% outside BetweenStation1And2
157% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:68
158==> t(outside,betweenStation1And2).
159
160% track TrackToBetweenStation1And2
161% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:70
162==> t(track,trackToBetweenStation1And2).
163
164
167side1(trackToBetweenStation1And2,station1).
168
169
172side2(trackToBetweenStation1And2,betweenStation1And2).
173
174% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:74
175% outside Station2
176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:75
177==> t(outside,station2).
178
179% track TrackToStation2
180% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:76
181==> t(track,trackToStation2).
182
183
186side1(trackToStation2,betweenStation1And2).
187
188
191side2(trackToStation2,station2).
192
193% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:80
194% outside NearStation2
195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:81
196==> t(outside,nearStation2).
197
198% street Street2
199% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:83
200==> t(street,street2).
201
202
205side1(street2,station2).
206
207
210side2(street2,nearStation2).
211
212% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:87
213% agent Passenger1
214% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:88
215==> t(agent,passenger1).
216
217% agent Conductor1
218% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:90
219==> t(agent,conductor1).
220
221% chair TrainSeat1
222% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:92
223==> t(chair,trainSeat1).
224
225% train Train1
226% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:94
227==> t(train,train1).
228
229% chair WaitingRoomSeat1
230% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:96
231==> t(chair,waitingRoomSeat1).
232
233% ticketagent TicketAgent1
234% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:98
235==> t(ticketagent,ticketAgent1).
236
237% ticket Ticket1
238% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:100
239==> t(ticket,ticket1).
240%; prune
241
242% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:102
243% sort requesta, requestb, requestc
244% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:103
245==> sort(requesta).
246==> sort(requestb).
247==> sort(requestc).
248
249% event! Request(requesta,requestb,requestc)
250 % event(request(requesta,requestb,requestc)).
251% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:104
252==> mpred_prop(request(requesta,requestb,requestc),event).
253==> meta_argtypes(request(requesta,requestb,requestc)).
254
255% fluent! KnowRequest(requestb,requesta,requestc)
256 % fluent(knowRequest(requestb,requesta,requestc)).
257% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:105
258==> mpred_prop(knowRequest(requestb,requesta,requestc),fluent).
259==> meta_argtypes(knowRequest(requestb,requesta,requestc)).
260
261% requesta! Passenger1
262% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:106
263==> t(requesta,passenger1).
264
265% requestb! TicketAgent1
266% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:107
267==> t(requestb,ticketAgent1).
268
269% requestc! Ticket1
270% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:108
271==> t(requestc,ticket1).
272
273% sort holda, holdb
274% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:110
275==> sort(holda).
276==> sort(holdb).
277
278% event! TakeOffOf(holda,holdb,holdc)
279 % event(takeOffOf(holda,holdb,holdc)).
280% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:111
281==> mpred_prop(takeOffOf(holda,holdb,holdc),event).
282==> meta_argtypes(takeOffOf(holda,holdb,holdc)).
283
284% event! PickUp(holda,holdb)
285 % event(pickUp(holda,holdb)).
286% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:112
287==> mpred_prop(pickUp(holda,holdb),event).
288==> meta_argtypes(pickUp(holda,holdb)).
289
290% event! LetGoOf(holda,holdb)
291 % event(letGoOf(holda,holdb)).
292% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:113
293==> mpred_prop(letGoOf(holda,holdb),event).
294==> meta_argtypes(letGoOf(holda,holdb)).
295
296% event! Hold(holda,holdb)
297 % event(hold(holda,holdb)).
298% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:114
299==> mpred_prop(hold(holda,holdb),event).
300==> meta_argtypes(hold(holda,holdb)).
301
302% fluent! Holding(holda,holdb)
303 % fluent(holding(holda,holdb)).
304% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:115
305==> mpred_prop(holding(holda,holdb),fluent).
306==> meta_argtypes(holding(holda,holdb)).
307
308% event! HandTo(holda,holda,holdb)
309 % event(handTo(holda,holda,holdb)).
310% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:116
311==> mpred_prop(handTo(holda,holda,holdb),event).
312==> meta_argtypes(handTo(holda,holda,holdb)).
313
314% holda! TicketAgent1, Passenger1, Conductor1
315% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:117
316==> t(holda,ticketAgent1).
317==> t(holda,passenger1).
318==> t(holda,conductor1).
319
320% holdb! Ticket1
321% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:118
322==> t(holdb,ticket1).
323
324% sort sita, sitb
325% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:120
326==> sort(sita).
327==> sort(sitb).
328
329% event! LieOn(sita,sitb)
330 % event(lieOn(sita,sitb)).
331% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:121
332==> mpred_prop(lieOn(sita,sitb),event).
333==> meta_argtypes(lieOn(sita,sitb)).
334
335% event! SitOn(sita,sitb)
336 % event(sitOn(sita,sitb)).
337% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:122
338==> mpred_prop(sitOn(sita,sitb),event).
339==> meta_argtypes(sitOn(sita,sitb)).
340
341% event! RiseFrom(sita,sitb)
342 % event(riseFrom(sita,sitb)).
343% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:123
344==> mpred_prop(riseFrom(sita,sitb),event).
345==> meta_argtypes(riseFrom(sita,sitb)).
346
347% fluent! LyingOn(sita,sitb)
348 % fluent(lyingOn(sita,sitb)).
349% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:124
350==> mpred_prop(lyingOn(sita,sitb),fluent).
351==> meta_argtypes(lyingOn(sita,sitb)).
352
353% fluent! SittingOn(sita,sitb)
354 % fluent(sittingOn(sita,sitb)).
355% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:125
356==> mpred_prop(sittingOn(sita,sitb),fluent).
357==> meta_argtypes(sittingOn(sita,sitb)).
358
359% sita! Passenger1
360% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:126
361==> t(sita,passenger1).
362
363% sitb! WaitingRoomSeat1, TrainSeat1
364% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:127
365==> t(sitb,waitingRoomSeat1).
366==> t(sitb,trainSeat1).
368
372:- set_ec_option(manualrelease, on). 373
374
377 378 379axiom(not(releasedAt(diameter(Diameter_Param, Diameter_Ret), 0)),
380 []).
381
382
385 386 387axiom(not(releasedAt(holding(Holding_Param, Holding_Ret), 0)),
388 []).
389
390
393 394 395axiom(not(releasedAt(doorUnlocked(DoorUnlocked_Ret), 0)),
396 []).
397
398
401 402 403axiom(not(releasedAt(doorIsOpen(DoorIsOpen_Ret), 0)),
404 []).
405
406
409 410 411axiom(not(releasedAt(sleep0(Sleep0_Ret), 0)),
412 []).
413
414
417 418 419axiom(not(releasedAt(sleep1(Sleep1_Ret), 0)),
420 []).
421
422
425 426 427axiom(not(releasedAt(sleep2(Sleep2_Ret), 0)),
428 []).
429
430
433 434 435axiom(not(releasedAt(sleep3(Sleep3_Ret), 0)),
436 []).
437
438
441 442 443axiom(not(releasedAt(sleep4(Sleep4_Ret), 0)),
444 []).
445
446
449 450 451axiom(not(releasedAt(sleep5(Sleep5_Ret), 0)),
452 []).
453
454
457 458 459axiom(not(releasedAt(sleep6(Sleep6_Ret), 0)),
460 []).
461
462
465 466 467axiom(not(releasedAt(lyingOn(LyingOn_Param, LyingOn_Ret), 0)),
468 []).
469
470
473 474 475axiom(not(releasedAt(sittingOn(SittingOn_Param, SittingOn_Ret), 0)),
476 []).
477
478
481 482 483axiom(not(releasedAt(standing(Standing_Ret), 0)),
484 []).
485
486
489 490 491axiom(not(releasedAt(dressed(Dressed_Ret), 0)),
492 []).
493
494
497 498 499axiom(not(releasedAt(knowOrder(KnowOrder_Param, _, KnowOrder_Ret), 0)),
500 []).
501
502
505 506 507axiom(not(releasedAt(knowRequest(KnowRequest_Param, _, KnowRequest_Ret), 0)),
508 []).
509
510
513 514 515axiom(not(releasedAt(onVehicle(OnVehicle_Param, OnVehicle_Ret), 0)),
516 []).
517
518
521 522 523axiom(not(releasedAt(beTicketAgent0(BeTicketAgent0_Ret), 0)),
524 []).
525
526
529 530 531axiom(not(releasedAt(beTicketAgent1(BeTicketAgent1_Ret), 0)),
532 []).
533
534
537 538 539axiom(not(releasedAt(beTicketAgent2(BeTicketAgent2_Ret), 0)),
540 []).
541
542
546 548releasedAt(at(trainSeat1,Location),0).
549
550
553 554releasedAt(at(conductor1,Location),0).
555
556
562axiom(not(releasedAt(at(Object, Location), 0)),
563 [dif(Object, trainSeat1), dif(Object, conductor1)]).
564
565
569 570 572axiom(not(initially(holding(Holding_Param, Holding_Ret))),
573 []).
574
575
578 579 580axiom(not(initially(sittingOn(SittingOn_Param, SittingOn_Ret))),
581 []).
582
583
586 587 588axiom(not(initially(lyingOn(LyingOn_Param, LyingOn_Ret))),
589 []).
590
591
595 597axiom(not(initially(on(On_Param, On_Ret))),
598 []).
599
600
603 604axiom(initially(dressed(Agent)),
605 []).
606
607
610 611axiom(initially(awake(Agent)),
612 []).
613
614
617 618axiom(initially(sleep3(Agent)),
619 []).
620
621
624 625axiom(initially(standing(Agent)),
626 []).
627
628
631axiom(initially(doorUnlocked(door1)),
632 []).
633
634
637axiom(initially(doorIsOpen(door1)),
638 []).
639
640
643axiom(initially(at(waitingRoomSeat1, waitingRoom1)),
644 []).
645
646
649axiom(initially(at(passenger1, nearStation1)),
650 []).
651
652
655axiom(initially(at(train1, beforeStation1)),
656 []).
657
658
661axiom(initially(onVehicle(trainSeat1, train1)),
662 []).
663
664
667axiom(initially(onVehicle(conductor1, train1)),
668 []).
669
670
676axiom(not(holds_at(onVehicle(Object, train1), t)),
677 [dif(Object, trainSeat1), dif(Object, conductor1)]).
678
679
682axiom(initially(at(ticket1, waitingRoom1)),
683 []).
684
685
688axiom(initially(at(ticketAgent1, waitingRoom1)),
689 []).
690
691
694axiom(initially(beTicketAgent0(ticketAgent1)),
695 []).
696
697
700 701 702axiom(not(initially(knowOrder(KnowOrder_Param, _, KnowOrder_Ret))),
703 []).
704
705
708 709 710axiom(not(initially(knowRequest(KnowRequest_Param, _, KnowRequest_Ret))),
711 []).
712
713
716
717
720axiom(happens(walkStreet12(passenger1, street1), t),
721 [is_time(0)]).
722
723
726axiom(happens(walkThroughDoor12(passenger1, door1), start),
727 [is_time(1), b(t, start), ignore(t+1=start)]).
728
729
732axiom(happens(request(passenger1, ticketAgent1, ticket1), t2),
733 [is_time(2), b(t, t2), ignore(t+2=t2)]).
734
735
738axiom(happens(pay(passenger1, ticketAgent1), t3),
739 [is_time(3), b(t, t3), ignore(t+3=t3)]).
740
741
745
746
749axiom(happens(sitOn(passenger1, waitingRoomSeat1), t5),
750 [is_time(5), b(t, t5), ignore(t+5=t5)]).
751
752
755axiom(happens(rideTrack12(train1, trackToStation1), t6),
756 [is_time(6), b(t, t6), ignore(t+6=t6)]).
757
758
761axiom(happens(riseFrom(passenger1, waitingRoomSeat1), t7),
762 [is_time(7), b(t, t7), ignore(t+7=t7)]).
763
764
767axiom(happens(walkThroughDoor21(passenger1, door1), t8),
768 [is_time(8), b(t, t8), ignore(t+8=t8)]).
769
770
773axiom(happens(getOnVehicle(passenger1, train1), t9),
774 [is_time(9), b(t, t9), ignore(t+9=t9)]).
775
776
779axiom(happens(sitOn(passenger1, trainSeat1), t10),
780 [is_time(10), b(t, t10), ignore(t+10=t10)]).
781
782
785axiom(happens(rideTrack12(train1, trackToBetweenStation1And2), t11),
786 [is_time(11), b(t, t11), ignore(t+11=t11)]).
787
788
791axiom(happens(handTo(passenger1, conductor1, ticket1), t12),
792 [is_time(12), b(t, t12), ignore(t+12=t12)]).
793
794
797
798
801axiom(happens(rideTrack12(train1, trackToStation2), t13),
802 [is_time(13), b(t, t13), ignore(t+13=t13)]).
803
804
807axiom(happens(riseFrom(passenger1, trainSeat1), t14),
808 [is_time(14), b(t, t14), ignore(t+14=t14)]).
809
810
813axiom(happens(getOffVehicle(passenger1, train1), t15),
814 [is_time(15), b(t, t15), ignore(t+15=t15)]).
815
816
819axiom(happens(walkStreet12(passenger1, street2), t16),
820 [is_time(16), b(t, t16), ignore(t+16=t16)]).
821
822% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:205
823% range time 0 17
824% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:206
825==> range(time,0,17).
826
827% range offset 0 0
828% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:207
829==> range(offset,0,0).
830
831% range diameter 0 0
832% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:208
833==> range(diameter,0,0).
834
835% completion Happens
836% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingATrain.e:210
837==> completion(happens).