1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/Sleeping.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, Near
   40ignore(inside).
   41ignore(near).
   42
   43% ignore See
   44ignore(see).
   45
   46% ignore ActOnSleep5
   47ignore(actOnSleep5).
   48
   49% option renaming off
   50:- set_ec_option(renaming, off).   51
   52% load foundations/Root.e
   53
   54% load foundations/EC.e
   55
   56% load answers/Mueller2003/Ontology.e
   57
   58% load answers/Mueller2004c/RTSpaceM.e
   59load('answers/Mueller2004c/RTSpaceM.e').
   60
   61% load answers/Mueller2004c/OTSpaceM.e
   62load('answers/Mueller2004c/OTSpaceM.e').
   63
   64% load answers/Mueller2004c/Cognition.e
   65
   66% load answers/Mueller2003/Sleep.e
   67
   68% door Door1
   69==> t(door,door1).
   70
   71% room Room0
   72==> t(room,room0).
   73
   74% room Room1
   75==> t(room,room1).
   76
   77
   78% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:46
   79% Side1(Door1)=Room0.
   80side1(door1,room0).
   81
   82
   83% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:47
   84% Side2(Door1)=Room1.
   85side2(door1,room1).
   86
   87% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:49
   88% agent Sleeper1
   89% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:50
   90==> t(agent,sleeper1).
   91
   92% bed Bed1
   93% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:52
   94==> t(bed,bed1).
   95
   96% outside Outside1
   97% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:54
   98==> t(outside,outside1).
   99%; initial state
  100% [agent,object]
  101 % !HoldsAt(Holding(agent,object),0).
  102 %  not(initially(holding(Agent,Object))).
  103% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:56
  104axiom(not(initially(holding(Holding_Param, Holding_Ret))),
  105    []).
  106
  107
  108% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:57
  109% [agent,physobj]
  110 % !HoldsAt(SittingOn(agent,physobj),0).
  111 %  not(initially(sittingOn(Agent,Physobj))).
  112axiom(not(initially(sittingOn(SittingOn_Param, SittingOn_Ret))),
  113    []).
  114
  115
  116% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:58
  117% [agent,physobj]
  118 % !HoldsAt(LyingOn(agent,physobj),0).
  119 %  not(initially(lyingOn(Agent,Physobj))).
  120axiom(not(initially(lyingOn(LyingOn_Param, LyingOn_Ret))),
  121    []).
  122
  123
  124% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:59
  125% HoldsAt(Dressed(Sleeper1),0).
  126axiom(initially(dressed(sleeper1)),
  127    []).
  128
  129
  130% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:60
  131% HoldsAt(Awake(Sleeper1),0).
  132axiom(initially(awake(sleeper1)),
  133    []).
  134
  135
  136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:61
  137% HoldsAt(Sleep3(Sleeper1),0).
  138axiom(initially(sleep3(sleeper1)),
  139    []).
  140
  141
  142% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:62
  143% HoldsAt(Standing(Sleeper1),0).
  144axiom(initially(standing(sleeper1)),
  145    []).
  146
  147
  148% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:63
  149% HoldsAt(DoorUnlocked(Door1),0).
  150axiom(initially(doorUnlocked(door1)),
  151    []).
  152
  153
  154% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:64
  155% HoldsAt(DoorIsOpen(Door1),0).
  156axiom(initially(doorIsOpen(door1)),
  157    []).
  158
  159
  160% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:65
  161% HoldsAt(At(Sleeper1,Room0),0).
  162axiom(initially(at(sleeper1, room0)),
  163    []).
  164
  165
  166% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:66
  167% HoldsAt(At(Bed1,Room1),0).
  168axiom(initially(at(bed1, room1)),
  169    []).
  170
  171
  172% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:68
  173%; narrative
  174
  175
  176% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:69
  177% Happens(GetTired(Sleeper1),0).
  178axiom(happens(getTired(sleeper1), t),
  179    [is_time(0)]).
  180
  181
  182% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:70
  183% Happens(WalkThroughDoor12(Sleeper1,Door1),1).
  184axiom(happens(walkThroughDoor12(sleeper1, door1), start),
  185    [is_time(1), b(t, start), ignore(t+1=start)]).
  186
  187
  188% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:71
  189% Happens(GetUndressed(Sleeper1),2).
  190axiom(happens(getUndressed(sleeper1), t2),
  191    [is_time(2), b(t, t2), ignore(t+2=t2)]).
  192
  193
  194% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:72
  195% Happens(LieOn(Sleeper1,Bed1),3).
  196axiom(happens(lieOn(sleeper1, bed1), t3),
  197    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  198
  199
  200% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:73
  201% Happens(FallAsleep(Sleeper1),4).
  202axiom(happens(fallAsleep(sleeper1), t4),
  203    [is_time(4), b(t, t4), ignore(t+4=t4)]).
  204
  205
  206% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:74
  207% Happens(Dream(Sleeper1),5).
  208axiom(happens(dream(sleeper1), t5),
  209    [is_time(5), b(t, t5), ignore(t+5=t5)]).
  210
  211
  212% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:75
  213% Happens(WakeUp(Sleeper1),6).
  214axiom(happens(wakeUp(sleeper1), t6),
  215    [is_time(6), b(t, t6), ignore(t+6=t6)]).
  216
  217
  218% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:76
  219% Happens(RiseFrom(Sleeper1,Bed1),7).
  220axiom(happens(riseFrom(sleeper1, bed1), t7),
  221    [is_time(7), b(t, t7), ignore(t+7=t7)]).
  222
  223
  224% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:77
  225% Happens(GetDressed(Sleeper1),8).
  226axiom(happens(getDressed(sleeper1), t8),
  227    [is_time(8), b(t, t8), ignore(t+8=t8)]).
  228
  229
  230% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:78
  231% Happens(WalkThroughDoor21(Sleeper1,Door1),9).
  232axiom(happens(walkThroughDoor21(sleeper1, door1), t9),
  233    [is_time(9), b(t, t9), ignore(t+9=t9)]).
  234
  235% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:80
  236% range time 0 10
  237% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:81
  238==> range(time,0,10).
  239
  240% range offset 0 0
  241% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:82
  242==> range(offset,0,0).
  243
  244% range diameter 0 0
  245% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:83
  246==> range(diameter,0,0).
  247
  248% completion Happens
  249% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Sleeping.e:85
  250==> completion(happens).
  251%; End of file.