1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/TakingAWalk.e').
    4%;
    5%; Copyright (c) 2005 IBM Corporation and others.
    6%; All rights reserved. This program and the accompanying materials
    7%; are made available under the terms of the Common Public License v1.0
    8%; which accompanies this distribution, and is available at
    9%; http://www.eclipse.org/legal/cpl-v10.html
   10%;
   11%; Contributors:
   12%; IBM - Initial implementation
   13%;
   14%; @article{Mueller:2004c,
   15%;   author = "Erik T. Mueller",
   16%;   year = "2004",
   17%;   title = "Understanding script-based stories using commonsense reasoning",
   18%;   journal = "Cognitive Systems Research",
   19%;   volume = "5",
   20%;   number = "4",
   21%;   pages = "307--340",
   22%; }
   23%;
   24
   25% option modeldiff on
   26:- set_ec_option(modeldiff, on).   27
   28% option renaming off
   29:- set_ec_option(renaming, off).   30
   31% ignore Love, ThreatenedBy
   32ignore(love).
   33ignore(threatenedBy).
   34
   35% ignore LookOutOnto, Floor, BuildingOf, SkyOf, GroundOf
   36ignore(lookOutOnto).
   37ignore(floor).
   38ignore(buildingOf).
   39ignore(skyOf).
   40ignore(groundOf).
   41
   42% ignore Inside, PutInside, On, PlaceOn
   43ignore(inside).
   44ignore(putInside).
   45ignore(on).
   46ignore(placeOn).
   47
   48% ignore Like, Happy, BecomeAngryAt
   49ignore(like).
   50ignore(happy).
   51ignore(becomeAngryAt).
   52
   53% ignore Near, WalkFrom, WalkFromTo, RunFromTo
   54ignore(near).
   55ignore(walkFrom).
   56ignore(walkFromTo).
   57ignore(runFromTo).
   58
   59% ignore ActOnIntentionToWalkIn, IntentionToWalkIn, InvitedIn, InviteIn
   60ignore(actOnIntentionToWalkIn).
   61ignore(intentionToWalkIn).
   62ignore(invitedIn).
   63ignore(inviteIn).
   64
   65% ignore TakeOffOf, TakeOutOf, LetGoOf
   66ignore(takeOffOf).
   67ignore(takeOutOf).
   68ignore(letGoOf).
   69
   70% ignore Greet, SayGoodbye, Order, KnowOrder
   71ignore(greet).
   72ignore(sayGoodbye).
   73ignore(order).
   74ignore(knowOrder).
   75
   76% ignore LieOn, SitOn, RiseFrom, LyingOn, SittingOn
   77ignore(lieOn).
   78ignore(sitOn).
   79ignore(riseFrom).
   80ignore(lyingOn).
   81ignore(sittingOn).
   82
   83% load foundations/Root.e
   84
   85% load foundations/EC.e
   86
   87% load answers/Mueller2003/Ontology.e
   88
   89% load answers/Mueller2004c/OTSpaceM.e
   90load('answers/Mueller2004c/OTSpaceM.e').
   91
   92% load answers/Mueller2004c/RTSpaceM.e
   93load('answers/Mueller2004c/RTSpaceM.e').
   94
   95% load answers/Mueller2003/Sleep.e
   96
   97% load answers/Mueller2004c/Dress.e
   98
   99% load answers/Mueller2004c/Rain.e
  100
  101% room Origin1
  102==> t(room,origin1).
  103
  104% door OriginDoor1
  105==> t(door,originDoor1).
  106
  107% outside OriginOutside1
  108==> t(outside,originOutside1).
  109
  110% street StreetFromOriginToMiddle1
  111==> t(street,streetFromOriginToMiddle1).
  112
  113% outside Middle1
  114==> t(outside,middle1).
  115
  116% street StreetFromMiddleToDestination1
  117==> t(street,streetFromMiddleToDestination1).
  118
  119% outside DestinationOutside1
  120==> t(outside,destinationOutside1).
  121
  122% door DestinationDoor1
  123==> t(door,destinationDoor1).
  124
  125% room Destination1
  126==> t(room,destination1).
  127
  128
  129% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:61
  130% Side1(OriginDoor1)=OriginOutside1.
  131side1(originDoor1,originOutside1).
  132
  133
  134% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:62
  135% Side2(OriginDoor1)=Origin1.
  136side2(originDoor1,origin1).
  137
  138
  139% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:64
  140% Side1(StreetFromOriginToMiddle1)=OriginOutside1.
  141side1(streetFromOriginToMiddle1,originOutside1).
  142
  143
  144% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:65
  145% Side2(StreetFromOriginToMiddle1)=Middle1.
  146side2(streetFromOriginToMiddle1,middle1).
  147
  148
  149% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:67
  150% Side1(StreetFromMiddleToDestination1)=Middle1.
  151side1(streetFromMiddleToDestination1,middle1).
  152
  153
  154% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:68
  155% Side2(StreetFromMiddleToDestination1)=DestinationOutside1.
  156side2(streetFromMiddleToDestination1,destinationOutside1).
  157
  158
  159% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:70
  160% Side1(DestinationDoor1)=DestinationOutside1.
  161side1(destinationDoor1,destinationOutside1).
  162
  163
  164% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:71
  165% Side2(DestinationDoor1)=Destination1.
  166side2(destinationDoor1,destination1).
  167
  168% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:73
  169% agent Walker1
  170% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:74
  171==> t(agent,walker1).
  172
  173% clothing Clothes1
  174% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:76
  175==> t(clothing,clothes1).
  176
  177% umbrella Umbrella1
  178% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:78
  179==> t(umbrella,umbrella1).
  180%; initial state
  181% [agent,object]
  182 % !HoldsAt(Holding(agent,object),0).
  183 %  not(initially(holding(Agent,Object))).
  184% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:80
  185axiom(not(initially(holding(Holding_Param, Holding_Ret))),
  186    []).
  187
  188
  189% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:81
  190% [agent]
  191 % HoldsAt(Dressed(agent),0).
  192axiom(initially(dressed(Agent)),
  193    []).
  194
  195
  196% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:82
  197% [agent]
  198 % HoldsAt(Awake(agent),0).
  199axiom(initially(awake(Agent)),
  200    []).
  201
  202
  203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:83
  204% [agent]
  205 % HoldsAt(Sleep3(agent),0).
  206axiom(initially(sleep3(Agent)),
  207    []).
  208
  209
  210% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:84
  211% [agent]
  212 % HoldsAt(Standing(agent),0).
  213axiom(initially(standing(Agent)),
  214    []).
  215
  216
  217% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:85
  218% HoldsAt(DoorUnlocked(OriginDoor1),0).
  219axiom(initially(doorUnlocked(originDoor1)),
  220    []).
  221
  222
  223% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:86
  224% !HoldsAt(DoorIsOpen(OriginDoor1),0).
  225 %  not(initially(doorIsOpen(originDoor1))).
  226axiom(not(initially(doorIsOpen(originDoor1))),
  227    []).
  228
  229
  230% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:87
  231% HoldsAt(DoorUnlocked(DestinationDoor1),0).
  232axiom(initially(doorUnlocked(destinationDoor1)),
  233    []).
  234
  235
  236% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:88
  237% !HoldsAt(DoorIsOpen(DestinationDoor1),0).
  238 %  not(initially(doorIsOpen(destinationDoor1))).
  239axiom(not(initially(doorIsOpen(destinationDoor1))),
  240    []).
  241
  242
  243% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:89
  244% HoldsAt(At(Walker1,Origin1),0).
  245axiom(initially(at(walker1, origin1)),
  246    []).
  247
  248
  249% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:90
  250% HoldsAt(At(Clothes1,Origin1),0).
  251axiom(initially(at(clothes1, origin1)),
  252    []).
  253
  254
  255% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:91
  256% HoldsAt(At(Umbrella1,Origin1),0).
  257axiom(initially(at(umbrella1, origin1)),
  258    []).
  259
  260
  261% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:92
  262% [outside,time]
  263 % HoldsAt(Raining(outside),time).
  264holds_at(raining(Outside),Time).
  265
  266
  267% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:93
  268% [object]
  269 % !HoldsAt(Wet(object),0).
  270 %  not(initially(wet(Object))).
  271axiom(not(initially(wet(Wet_Ret))),
  272    []).
  273
  274
  275% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:95
  276%; narrative
  277
  278
  279% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:96
  280% Happens(PutOn(Walker1,Clothes1),0).
  281axiom(happens(putOn(walker1, clothes1), t),
  282    [is_time(0)]).
  283
  284
  285% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:97
  286% Happens(PickUp(Walker1,Umbrella1),1).
  287axiom(happens(pickUp(walker1, umbrella1), start),
  288    [is_time(1), b(t, start), ignore(t+1=start)]).
  289
  290
  291% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:98
  292% Happens(DoorOpen(Walker1,OriginDoor1),2).
  293axiom(happens(doorOpen(walker1, originDoor1), t2),
  294    [is_time(2), b(t, t2), ignore(t+2=t2)]).
  295
  296
  297% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:99
  298% Happens(WalkThroughDoor21(Walker1,OriginDoor1),3).
  299axiom(happens(walkThroughDoor21(walker1, originDoor1), t3),
  300    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  301
  302
  303% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:100
  304% Happens(DoorClose(Walker1,OriginDoor1),4).
  305axiom(happens(doorClose(walker1, originDoor1), t4),
  306    [is_time(4), b(t, t4), ignore(t+4=t4)]).
  307
  308
  309% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:101
  310% Happens(WalkStreet12(Walker1,StreetFromOriginToMiddle1),5).
  311axiom(happens(walkStreet12(walker1, streetFromOriginToMiddle1), t5),
  312    [is_time(5), b(t, t5), ignore(t+5=t5)]).
  313
  314
  315% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:102
  316% Happens(WalkStreet12(Walker1,StreetFromMiddleToDestination1),6).
  317axiom(happens(walkStreet12(walker1, streetFromMiddleToDestination1), t6),
  318    [is_time(6), b(t, t6), ignore(t+6=t6)]).
  319
  320
  321% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:103
  322% Happens(DoorOpen(Walker1,DestinationDoor1),7).
  323axiom(happens(doorOpen(walker1, destinationDoor1), t7),
  324    [is_time(7), b(t, t7), ignore(t+7=t7)]).
  325
  326
  327% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:104
  328% Happens(WalkThroughDoor12(Walker1,DestinationDoor1),8).
  329axiom(happens(walkThroughDoor12(walker1, destinationDoor1), t8),
  330    [is_time(8), b(t, t8), ignore(t+8=t8)]).
  331
  332
  333% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:105
  334% Happens(DoorClose(Walker1,DestinationDoor1),9).
  335axiom(happens(doorClose(walker1, destinationDoor1), t9),
  336    [is_time(9), b(t, t9), ignore(t+9=t9)]).
  337
  338
  339% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:106
  340% Happens(TakeOff(Walker1,Clothes1),10).
  341axiom(happens(takeOff(walker1, clothes1), t10),
  342    [is_time(10), b(t, t10), ignore(t+10=t10)]).
  343
  344% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:108
  345% range time 0 11
  346% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:109
  347==> range(time,0,11).
  348
  349% range offset 0 0
  350% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:110
  351==> range(offset,0,0).
  352
  353% range diameter 0 0
  354% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:111
  355==> range(diameter,0,0).
  356
  357% completion Happens
  358% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/TakingAWalk.e:113
  359==> completion(happens).
  360%; End of file.