1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/ReadingABook.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% option renaming off
   49:- set_ec_option(renaming, off).   50
   51% load foundations/Root.e
   52
   53% load foundations/EC.e
   54
   55% load answers/Mueller2003/Ontology.e
   56
   57% load answers/Mueller2004c/RTSpaceM.e
   58load('answers/Mueller2004c/RTSpaceM.e').
   59
   60% load answers/Mueller2004c/OTSpaceM.e
   61load('answers/Mueller2004c/OTSpaceM.e').
   62
   63% load answers/Mueller2004c/Book.e
   64
   65% load answers/Mueller2004c/Cognition.e
   66
   67% load answers/Mueller2003/Sleep.e
   68
   69% load answers/Mueller2003/Vision.e
   70
   71% door Door1
   72==> t(door,door1).
   73
   74% room Room0
   75==> t(room,room0).
   76
   77% room Room1
   78==> t(room,room1).
   79
   80
   81% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:46
   82% Side1(Door1)=Room0.
   83side1(door1,room0).
   84
   85
   86% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:47
   87% Side2(Door1)=Room1.
   88side2(door1,room1).
   89
   90% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:49
   91% agent Reader1
   92% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:50
   93==> t(agent,reader1).
   94
   95% book Book1
   96% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:52
   97==> t(book,book1).
   98
   99% chair Chair1
  100% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:54
  101==> t(chair,chair1).
  102
  103% physobj BookSupport1
  104% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:56
  105==> t(physobj,bookSupport1).
  106
  107% content Content1
  108% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:58
  109==> t(content,content1).
  110%; initial state
  111% [agent,object]
  112 % !HoldsAt(Holding(agent,object),0).
  113 %  not(initially(holding(Agent,Object))).
  114% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:60
  115axiom(not(initially(holding(Holding_Param, Holding_Ret))),
  116    []).
  117
  118
  119% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:61
  120% [agent,physobj]
  121 % !HoldsAt(SittingOn(agent,physobj),0).
  122 %  not(initially(sittingOn(Agent,Physobj))).
  123axiom(not(initially(sittingOn(SittingOn_Param, SittingOn_Ret))),
  124    []).
  125
  126
  127% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:62
  128% [agent,physobj]
  129 % !HoldsAt(LyingOn(agent,physobj),0).
  130 %  not(initially(lyingOn(Agent,Physobj))).
  131axiom(not(initially(lyingOn(LyingOn_Param, LyingOn_Ret))),
  132    []).
  133
  134
  135% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:63
  136% !{page}% HoldsAt(BookIsOpenTo(Book1,page),0).
  137 %  not(exists([Page],holds_at(bookIsOpenTo(book1,Page),0))).
  138axiom(not(holds_at(bookIsOpenTo(book1, BookIsOpenTo_Ret), t)),
  139    []).
  140
  141
  142% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:64
  143% [physobj1,physobj2]
  144% !(physobj1=Book1 & physobj2=BookSupport1) ->
  145% !HoldsAt(On(physobj1, physobj2),0).
  146% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:66
  147axiom(not(holds_at(on(Physobj1, Physobj2), t)),
  148    [not(equals(Physobj1, book1))]).
  149axiom(not(holds_at(on(Physobj1, Physobj2), t)),
  150    [not(equals(Physobj2, bookSupport1))]).
  151
  152
  153% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:67
  154% HoldsAt(Dressed(Reader1),0).
  155axiom(initially(dressed(reader1)),
  156    []).
  157
  158
  159% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:68
  160% HoldsAt(Awake(Reader1),0).
  161axiom(initially(awake(reader1)),
  162    []).
  163
  164
  165% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:69
  166% HoldsAt(Sleep3(Reader1),0).
  167axiom(initially(sleep3(reader1)),
  168    []).
  169
  170
  171% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:70
  172% HoldsAt(Standing(Reader1),0).
  173axiom(initially(standing(reader1)),
  174    []).
  175
  176
  177% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:71
  178% HoldsAt(DoorUnlocked(Door1),0).
  179axiom(initially(doorUnlocked(door1)),
  180    []).
  181
  182
  183% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:72
  184% HoldsAt(DoorIsOpen(Door1),0).
  185axiom(initially(doorIsOpen(door1)),
  186    []).
  187
  188
  189% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:73
  190% HoldsAt(At(Reader1,Room0),0).
  191axiom(initially(at(reader1, room0)),
  192    []).
  193
  194
  195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:74
  196% HoldsAt(At(Chair1,Room1),0).
  197axiom(initially(at(chair1, room1)),
  198    []).
  199
  200
  201% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:75
  202% HoldsAt(At(Book1,Room1),0).
  203axiom(initially(at(book1, room1)),
  204    []).
  205
  206
  207% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:76
  208% HoldsAt(On(Book1,BookSupport1),0).
  209axiom(initially(on(book1, bookSupport1)),
  210    []).
  211
  212
  213% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:77
  214% [object]
  215 % !HoldsAt(See(Reader1,object),0).
  216 %  not(initially(see(reader1,Object))).
  217axiom(not(initially(see(reader1, See_Ret))),
  218    []).
  219
  220
  221% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:79
  222%; narrative
  223
  224
  225% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:80
  226% Happens(WalkThroughDoor12(Reader1,Door1),0).
  227axiom(happens(walkThroughDoor12(reader1, door1), t),
  228    [is_time(0)]).
  229
  230
  231% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:81
  232% Happens(TakeOffOf(Reader1,Book1,BookSupport1),1).
  233axiom(happens(takeOffOf(reader1, book1, bookSupport1), start),
  234    [is_time(1), b(t, start), ignore(t+1=start)]).
  235
  236
  237% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:82
  238% Happens(SitOn(Reader1,Chair1),2).
  239axiom(happens(sitOn(reader1, chair1), t2),
  240    [is_time(2), b(t, t2), ignore(t+2=t2)]).
  241
  242
  243% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:83
  244% Happens(BookOpenTo(Reader1,Book1,1),3).
  245axiom(happens(bookOpenTo(reader1, book1, 1), t3),
  246    [is_time(3), b(t, t3), ignore(t+3=t3)]).
  247
  248
  249% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:84
  250% Happens(LookAt(Reader1,Book1),4).
  251axiom(happens(lookAt(reader1, book1), t4),
  252    [is_time(4), b(t, t4), ignore(t+4=t4)]).
  253
  254
  255% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:85
  256% Happens(Read(Reader1,Book1,Content1),5).
  257axiom(happens(read(reader1, book1, content1), t5),
  258    [is_time(5), b(t, t5), ignore(t+5=t5)]).
  259
  260
  261% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:86
  262% Happens(ThinkAbout(Reader1,Content1),6).
  263axiom(happens(thinkAbout(reader1, content1), t6),
  264    [is_time(6), b(t, t6), ignore(t+6=t6)]).
  265
  266
  267% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:87
  268% Happens(Understand(Reader1,Content1),7).
  269axiom(happens(understand(reader1, content1), t7),
  270    [is_time(7), b(t, t7), ignore(t+7=t7)]).
  271
  272
  273% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:88
  274% Happens(BookTurnPageTo(Reader1,Book1,2),8).
  275axiom(happens(bookTurnPageTo(reader1, book1, 2), t8),
  276    [is_time(8), b(t, t8), ignore(t+8=t8)]).
  277
  278
  279% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:89
  280% Happens(BookTurnPageTo(Reader1,Book1,3),9).
  281axiom(happens(bookTurnPageTo(reader1, book1, 3), t9),
  282    [is_time(9), b(t, t9), ignore(t+9=t9)]).
  283
  284
  285% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:90
  286% Happens(BookClose(Reader1,Book1),10).
  287axiom(happens(bookClose(reader1, book1), t10),
  288    [is_time(10), b(t, t10), ignore(t+10=t10)]).
  289
  290
  291% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:91
  292% Happens(RiseFrom(Reader1,Chair1),11).
  293axiom(happens(riseFrom(reader1, chair1), t11),
  294    [is_time(11), b(t, t11), ignore(t+11=t11)]).
  295
  296
  297% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:92
  298% Happens(PlaceOn(Reader1,Book1,BookSupport1),12).
  299axiom(happens(placeOn(reader1, book1, bookSupport1), t12),
  300    [is_time(12), b(t, t12), ignore(t+12=t12)]).
  301
  302
  303% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:93
  304% Happens(WalkThroughDoor21(Reader1,Door1),13).
  305axiom(happens(walkThroughDoor21(reader1, door1), t13),
  306    [is_time(13), b(t, t13), ignore(t+13=t13)]).
  307
  308% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:95
  309% range time 0 14
  310% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:96
  311==> range(time,0,14).
  312
  313% range page 1 3
  314% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:97
  315==> range(page,1,3).
  316
  317% range offset 0 0
  318% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:98
  319==> range(offset,0,0).
  320
  321% range diameter 0 0
  322% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:99
  323==> range(diameter,0,0).
  324
  325% completion Happens
  326% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/ReadingABook.e:101
  327==> completion(happens).
  328%; End of file.