1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ectest/Story1.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{FrankEtAl:2003,
   15%;   author = "Stefan L. Frank and Mathieu Koppen and Leo G. M. Noordman and Wietske Vonk",
   16%;   year = "2003",
   17%;   title = "Modeling knowledge-based inferences in story comprehension",
   18%;   journal = "Cognitive Science",
   19%;   volume = "27",
   20%;   pages = "875--910",
   21%; }
   22%;
   23
   24% option modeldiff on
   25:- set_ec_option(modeldiff, on).   26
   27% load foundations/Root.e
   28
   29% load foundations/EC.e
   30
   31% sort agent
   32==> sort(agent).
   33
   34% include examples/FrankEtAl2003/FrankEtAl.e
   35==> t(include,'examples/FrankEtAl2003/FrankEtAl.e').
   36
   37% agent Bob, Jilly
   38==> t(agent,bob).
   39==> t(agent,jilly).
   40
   41
   42% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Story1.e:31
   43% !HoldsAt(Raining(),0).
   44 %  not(initially(raining())).
   45axiom(not(initially(raining())),
   46    []).
   47
   48
   49% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Story1.e:32
   50% !HoldsAt(SunShining(),0).
   51 %  not(initially(sunShining())).
   52axiom(not(initially(sunShining())),
   53    []).
   54
   55
   56% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Story1.e:34
   57% (HoldsAt(PlaySoccer(Bob),1) & HoldsAt(PlaySoccer(Jilly),1)) |
   58% (HoldsAt(PlayHideAndSeek(Bob),1) & HoldsAt(PlayHideAndSeek(Jilly),1)) |
   59% (HoldsAt(PlayComputerGame(Bob),1) & HoldsAt(PlayComputerGame(Jilly),1)).
   60
   61 /*   (   holds_at(playSoccer(bob), 1),
   62          holds_at(playSoccer(jilly), 1)
   63      ;   holds_at(playHideAndSeek(bob), 1),
   64          holds_at(playHideAndSeek(jilly), 1)
   65      ;   holds_at(playComputerGame(bob), 1),
   66          holds_at(playComputerGame(jilly), 1)
   67      ).
   68 */
   69
   70 /*  holds_at(playSoccer(bob), 1) :-
   71       (   not(holds_at(playHideAndSeek(bob), 1))
   72       ;   not(holds_at(playHideAndSeek(jilly), 1))
   73       ),
   74       (   not(holds_at(playComputerGame(bob), 1))
   75       ;   not(holds_at(playComputerGame(jilly), 1))
   76       ).
   77 */
   78% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Story1.e:36
   79axiom(holds_at(playSoccer(bob), start),
   80   
   81    [ not(holds_at(playComputerGame(bob), start)),
   82      not(holds_at(playHideAndSeek(bob), start)),
   83      b(t, start),
   84      ignore(t+1=start)
   85    ]).
   86axiom(holds_at(playSoccer(bob), start),
   87   
   88    [ not(holds_at(playComputerGame(jilly), start)),
   89      not(holds_at(playHideAndSeek(bob), start)),
   90      b(t, start),
   91      ignore(t+1=start)
   92    ]).
   93axiom(holds_at(playSoccer(bob), start),
   94   
   95    [ not(holds_at(playComputerGame(bob), start)),
   96      not(holds_at(playHideAndSeek(jilly), start)),
   97      b(t, start),
   98      ignore(t+1=start)
   99    ]).
  100axiom(holds_at(playSoccer(bob), start),
  101   
  102    [ not(holds_at(playComputerGame(jilly), start)),
  103      not(holds_at(playHideAndSeek(jilly), start)),
  104      b(t, start),
  105      ignore(t+1=start)
  106    ]).
  107
  108 /*  holds_at(playSoccer(jilly), 1) :-
  109       (   not(holds_at(playHideAndSeek(bob), 1))
  110       ;   not(holds_at(playHideAndSeek(jilly), 1))
  111       ),
  112       (   not(holds_at(playComputerGame(bob), 1))
  113       ;   not(holds_at(playComputerGame(jilly), 1))
  114       ).
  115 */
  116axiom(holds_at(playSoccer(jilly), start),
  117   
  118    [ not(holds_at(playComputerGame(bob), start)),
  119      not(holds_at(playHideAndSeek(bob), start)),
  120      b(t, start),
  121      ignore(t+1=start)
  122    ]).
  123axiom(holds_at(playSoccer(jilly), start),
  124   
  125    [ not(holds_at(playComputerGame(jilly), start)),
  126      not(holds_at(playHideAndSeek(bob), start)),
  127      b(t, start),
  128      ignore(t+1=start)
  129    ]).
  130axiom(holds_at(playSoccer(jilly), start),
  131   
  132    [ not(holds_at(playComputerGame(bob), start)),
  133      not(holds_at(playHideAndSeek(jilly), start)),
  134      b(t, start),
  135      ignore(t+1=start)
  136    ]).
  137axiom(holds_at(playSoccer(jilly), start),
  138   
  139    [ not(holds_at(playComputerGame(jilly), start)),
  140      not(holds_at(playHideAndSeek(jilly), start)),
  141      b(t, start),
  142      ignore(t+1=start)
  143    ]).
  144
  145 /*  holds_at(playHideAndSeek(bob), 1) :-
  146       (   not(holds_at(playComputerGame(bob), 1))
  147       ;   not(holds_at(playComputerGame(jilly), 1))
  148       ),
  149       (   not(holds_at(playSoccer(bob), 1))
  150       ;   not(holds_at(playSoccer(jilly), 1))
  151       ).
  152 */
  153axiom(holds_at(playHideAndSeek(bob), start),
  154   
  155    [ not(holds_at(playSoccer(bob), start)),
  156      not(holds_at(playComputerGame(bob), start)),
  157      b(t, start),
  158      ignore(t+1=start)
  159    ]).
  160axiom(holds_at(playHideAndSeek(bob), start),
  161   
  162    [ not(holds_at(playSoccer(jilly), start)),
  163      not(holds_at(playComputerGame(bob), start)),
  164      b(t, start),
  165      ignore(t+1=start)
  166    ]).
  167axiom(holds_at(playHideAndSeek(bob), start),
  168   
  169    [ not(holds_at(playSoccer(bob), start)),
  170      not(holds_at(playComputerGame(jilly), start)),
  171      b(t, start),
  172      ignore(t+1=start)
  173    ]).
  174axiom(holds_at(playHideAndSeek(bob), start),
  175   
  176    [ not(holds_at(playSoccer(jilly), start)),
  177      not(holds_at(playComputerGame(jilly), start)),
  178      b(t, start),
  179      ignore(t+1=start)
  180    ]).
  181
  182 /*  holds_at(playHideAndSeek(jilly), 1) :-
  183       (   not(holds_at(playComputerGame(bob), 1))
  184       ;   not(holds_at(playComputerGame(jilly), 1))
  185       ),
  186       (   not(holds_at(playSoccer(bob), 1))
  187       ;   not(holds_at(playSoccer(jilly), 1))
  188       ).
  189 */
  190axiom(holds_at(playHideAndSeek(jilly), start),
  191   
  192    [ not(holds_at(playSoccer(bob), start)),
  193      not(holds_at(playComputerGame(bob), start)),
  194      b(t, start),
  195      ignore(t+1=start)
  196    ]).
  197axiom(holds_at(playHideAndSeek(jilly), start),
  198   
  199    [ not(holds_at(playSoccer(jilly), start)),
  200      not(holds_at(playComputerGame(bob), start)),
  201      b(t, start),
  202      ignore(t+1=start)
  203    ]).
  204axiom(holds_at(playHideAndSeek(jilly), start),
  205   
  206    [ not(holds_at(playSoccer(bob), start)),
  207      not(holds_at(playComputerGame(jilly), start)),
  208      b(t, start),
  209      ignore(t+1=start)
  210    ]).
  211axiom(holds_at(playHideAndSeek(jilly), start),
  212   
  213    [ not(holds_at(playSoccer(jilly), start)),
  214      not(holds_at(playComputerGame(jilly), start)),
  215      b(t, start),
  216      ignore(t+1=start)
  217    ]).
  218
  219 /*  holds_at(playComputerGame(bob), 1) :-
  220       (   not(holds_at(playHideAndSeek(bob), 1))
  221       ;   not(holds_at(playHideAndSeek(jilly), 1))
  222       ),
  223       (   not(holds_at(playSoccer(bob), 1))
  224       ;   not(holds_at(playSoccer(jilly), 1))
  225       ).
  226 */
  227axiom(holds_at(playComputerGame(bob), start),
  228   
  229    [ not(holds_at(playSoccer(bob), start)),
  230      not(holds_at(playHideAndSeek(bob), start)),
  231      b(t, start),
  232      ignore(t+1=start)
  233    ]).
  234axiom(holds_at(playComputerGame(bob), start),
  235   
  236    [ not(holds_at(playSoccer(jilly), start)),
  237      not(holds_at(playHideAndSeek(bob), start)),
  238      b(t, start),
  239      ignore(t+1=start)
  240    ]).
  241axiom(holds_at(playComputerGame(bob), start),
  242   
  243    [ not(holds_at(playSoccer(bob), start)),
  244      not(holds_at(playHideAndSeek(jilly), start)),
  245      b(t, start),
  246      ignore(t+1=start)
  247    ]).
  248axiom(holds_at(playComputerGame(bob), start),
  249   
  250    [ not(holds_at(playSoccer(jilly), start)),
  251      not(holds_at(playHideAndSeek(jilly), start)),
  252      b(t, start),
  253      ignore(t+1=start)
  254    ]).
  255
  256 /*  holds_at(playComputerGame(jilly), 1) :-
  257       (   not(holds_at(playHideAndSeek(bob), 1))
  258       ;   not(holds_at(playHideAndSeek(jilly), 1))
  259       ),
  260       (   not(holds_at(playSoccer(bob), 1))
  261       ;   not(holds_at(playSoccer(jilly), 1))
  262       ).
  263 */
  264axiom(holds_at(playComputerGame(jilly), start),
  265   
  266    [ not(holds_at(playSoccer(bob), start)),
  267      not(holds_at(playHideAndSeek(bob), start)),
  268      b(t, start),
  269      ignore(t+1=start)
  270    ]).
  271axiom(holds_at(playComputerGame(jilly), start),
  272   
  273    [ not(holds_at(playSoccer(jilly), start)),
  274      not(holds_at(playHideAndSeek(bob), start)),
  275      b(t, start),
  276      ignore(t+1=start)
  277    ]).
  278axiom(holds_at(playComputerGame(jilly), start),
  279   
  280    [ not(holds_at(playSoccer(bob), start)),
  281      not(holds_at(playHideAndSeek(jilly), start)),
  282      b(t, start),
  283      ignore(t+1=start)
  284    ]).
  285axiom(holds_at(playComputerGame(jilly), start),
  286   
  287    [ not(holds_at(playSoccer(jilly), start)),
  288      not(holds_at(playHideAndSeek(jilly), start)),
  289      b(t, start),
  290      ignore(t+1=start)
  291    ]).
  292
  293
  294% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Story1.e:38
  295% HoldsAt(Win(Bob),1) | HoldsAt(Win(Jilly),1).
  296
  297 /*   (   holds_at(win(bob), 1)
  298      ;   holds_at(win(jilly), 1)
  299      ).
  300 */
  301
  302 /*  holds_at(win(bob), 1) :-
  303       not(holds_at(win(jilly), 1)).
  304 */
  305axiom(holds_at(win(bob), start),
  306    [not(holds_at(win(jilly), start)), b(t, start), ignore(t+1=start)]).
  307
  308 /*  holds_at(win(jilly), 1) :-
  309       not(holds_at(win(bob), 1)).
  310 */
  311axiom(holds_at(win(jilly), start),
  312    [not(holds_at(win(bob), start)), b(t, start), ignore(t+1=start)]).
  313
  314% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Story1.e:40
  315% range time 0 1
  316% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Story1.e:41
  317==> range(time,0,1).
  318
  319% range offset 0 0
  320% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Story1.e:42
  321==> range(offset,0,0).
  322%; End of file.