1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/WritingABook.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% ignore Love, ThreatenedBy
   29ignore(love).
   30ignore(threatenedBy).
   31
   32% ignore LookOutOnto, Floor, BuildingOf, SkyOf, GroundOf
   33ignore(lookOutOnto).
   34ignore(floor).
   35ignore(buildingOf).
   36ignore(skyOf).
   37ignore(groundOf).
   38
   39% ignore Inside
   40ignore(inside).
   41
   42% ignore Near, WalkFrom, WalkFromTo, RunFromTo
   43ignore(near).
   44ignore(walkFrom).
   45ignore(walkFromTo).
   46ignore(runFromTo).
   47
   48% ignore See
   49ignore(see).
   50
   51% option renaming off
   52:- set_ec_option(renaming, off).   53
   54% load foundations/Root.e
   55
   56% load foundations/EC.e
   57
   58% load answers/Mueller2003/Ontology.e
   59
   60% load answers/Mueller2004c/RTSpaceM.e
   61load('answers/Mueller2004c/RTSpaceM.e').
   62
   63% load answers/Mueller2004c/OTSpaceM.e
   64load('answers/Mueller2004c/OTSpaceM.e').
   65
   66% load answers/Mueller2004c/HandTo.e
   67
   68% load answers/Mueller2003/Sleep.e
   69
   70% load answers/Mueller2004c/Cognition.e
   71
   72% door Door1
   73==> t(door,door1).
   74
   75% room Room0
   76==> t(room,room0).
   77
   78% room Room1
   79==> t(room,room1).
   80
   81
   82% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:46
   83% Side1(Door1)=Room0.
   84side1(door1,room0).
   85
   86
   87% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:47
   88% Side2(Door1)=Room1.
   89side2(door1,room1).
   90
   91% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:49
   92% agent Writer1
   93% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:50
   94==> t(agent,writer1).
   95
   96% paper Paper1
   97% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:52
   98==> t(paper,paper1).
   99
  100% pen Pen1
  101% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:54
  102==> t(pen,pen1).
  103
  104% chair Chair1
  105% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:56
  106==> t(chair,chair1).
  107
  108% physobj Desk1
  109% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:58
  110==> t(physobj,desk1).
  111%; initial state
  112% [agent,object]
  113 % !HoldsAt(Holding(agent,object),0).
  114 %  not(initially(holding(Agent,Object))).
  115% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:60
  116axiom(not(initially(holding(Holding_Param, Holding_Ret))),
  117    []).
  118
  119
  120% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:61
  121% [agent,physobj]
  122 % !HoldsAt(SittingOn(agent,physobj),0).
  123 %  not(initially(sittingOn(Agent,Physobj))).
  124axiom(not(initially(sittingOn(SittingOn_Param, SittingOn_Ret))),
  125    []).
  126
  127
  128% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:62
  129% [agent,physobj]
  130 % !HoldsAt(LyingOn(agent,physobj),0).
  131 %  not(initially(lyingOn(Agent,Physobj))).
  132axiom(not(initially(lyingOn(LyingOn_Param, LyingOn_Ret))),
  133    []).
  134
  135
  136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:63
  137% [physobj1,physobj2]
  138% !(physobj1=Pen1 & physobj2=Desk1) &
  139% !(physobj1=Paper1 & physobj2=Desk1) ->
  140% !HoldsAt(On(physobj1, physobj2),0).
  141% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:66
  142axiom(not(holds_at(on(Physobj1, Physobj2), t)),
  143    [not(equals(Physobj1, paper1)), not(equals(Physobj1, pen1))]).
  144axiom(not(holds_at(on(Physobj1, Physobj2), t)),
  145    [not(equals(Physobj2, desk1)), not(equals(Physobj1, pen1))]).
  146axiom(not(holds_at(on(Physobj1, Physobj2), t)),
  147    [not(equals(Physobj1, paper1)), not(equals(Physobj2, desk1))]).
  148axiom(not(holds_at(on(Physobj1, Physobj2), t)),
  149    [not(equals(Physobj2, desk1)), not(equals(Physobj2, desk1))]).
  150
  151
  152% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:67
  153% HoldsAt(On(Paper1,Desk1),0).
  154axiom(initially(on(paper1, desk1)),
  155    []).
  156
  157
  158% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:68
  159% HoldsAt(On(Pen1,Desk1),0).
  160axiom(initially(on(pen1, desk1)),
  161    []).
  162
  163
  164% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:69
  165% HoldsAt(Dressed(Writer1),0).
  166axiom(initially(dressed(writer1)),
  167    []).
  168
  169
  170% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:70
  171% HoldsAt(Awake(Writer1),0).
  172axiom(initially(awake(writer1)),
  173    []).
  174
  175
  176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:71
  177% HoldsAt(Sleep3(Writer1),0).
  178axiom(initially(sleep3(writer1)),
  179    []).
  180
  181
  182% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:72
  183% HoldsAt(Standing(Writer1),0).
  184axiom(initially(standing(writer1)),
  185    []).
  186
  187
  188% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:73
  189% HoldsAt(DoorUnlocked(Door1),0).
  190axiom(initially(doorUnlocked(door1)),
  191    []).
  192
  193
  194% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:74
  195% HoldsAt(DoorIsOpen(Door1),0).
  196axiom(initially(doorIsOpen(door1)),
  197    []).
  198
  199
  200% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:75
  201% HoldsAt(At(Writer1,Room0),0).
  202axiom(initially(at(writer1, room0)),
  203    []).
  204
  205
  206% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:76
  207% HoldsAt(At(Chair1,Room1),0).
  208axiom(initially(at(chair1, room1)),
  209    []).
  210
  211
  212% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:77
  213% HoldsAt(At(Desk1,Room1),0).
  214axiom(initially(at(desk1, room1)),
  215    []).
  216
  217
  218% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:79
  219%; narrative
  220
  221
  222% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:80
  223% Happens(WalkThroughDoor12(Writer1,Door1),0).
  224axiom(happens(walkThroughDoor12(writer1, door1), t),
  225    [is_time(0)]).
  226
  227
  228% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:81
  229% Happens(SitOn(Writer1,Chair1),1).
  230axiom(happens(sitOn(writer1, chair1), start),
  231    [is_time(1), b(t, start), ignore(t+1=start)]).
  232
  233
  234% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:82
  235% Happens(TakeOffOf(Writer1,Pen1,Desk1),2).
  236axiom(happens(takeOffOf(writer1, pen1, desk1), t2),
  237    [is_time(2), b(t, t2), ignore(t+2=t2)]).
  238
  239
  240% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:83
  241% Happens(Think(Writer1),3).
  242axiom(happens(think(writer1), t3),
  243    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  244
  245
  246% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:84
  247% Happens(WriteOn(Writer1,Paper1,Pen1),4).
  248axiom(happens(writeOn(writer1, paper1, pen1), t4),
  249    [is_time(4), b(t, t4), ignore(t+4=t4)]).
  250
  251
  252% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:85
  253% Happens(WriteOn(Writer1,Paper1,Pen1),5).
  254axiom(happens(writeOn(writer1, paper1, pen1), t5),
  255    [is_time(5), b(t, t5), ignore(t+5=t5)]).
  256
  257
  258% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:86
  259% Happens(PlaceOn(Writer1,Pen1,Desk1),6).
  260axiom(happens(placeOn(writer1, pen1, desk1), t6),
  261    [is_time(6), b(t, t6), ignore(t+6=t6)]).
  262
  263
  264% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:87
  265% Happens(RiseFrom(Writer1,Chair1),7).
  266axiom(happens(riseFrom(writer1, chair1), t7),
  267    [is_time(7), b(t, t7), ignore(t+7=t7)]).
  268
  269
  270% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:88
  271% Happens(WalkThroughDoor21(Writer1,Door1),8).
  272axiom(happens(walkThroughDoor21(writer1, door1), t8),
  273    [is_time(8), b(t, t8), ignore(t+8=t8)]).
  274
  275% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:90
  276% range time 0 9
  277% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:91
  278==> range(time,0,9).
  279
  280% range offset 0 0
  281% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:92
  282==> range(offset,0,0).
  283
  284% range diameter 0 0
  285% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:93
  286==> range(diameter,0,0).
  287
  288% completion Happens
  289% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/WritingABook.e:95
  290==> completion(happens).
  291%; End of file.