1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'examples/Mueller2004b/RunningAndDriving1.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%; @inproceedings{Mueller:2004b,
   15%;   author = "Erik T. Mueller",
   16%;   year = "2004",
   17%;   title = "A tool for satisfiability-based commonsense reasoning in the event calculus",
   18%;   editor = "Valerie Barr and Zdravko Markov",
   19%;   booktitle = "\uppercase{P}roceedings of the \uppercase{S}eventeenth \uppercase{I}nternational \uppercase{F}lorida \uppercase{A}rtificial \uppercase{I}ntelligence \uppercase{R}esearch \uppercase{S}ociety \uppercase{C}onference",
   20%;   pages = "147--152",
   21%;   address = "Menlo Park, CA",
   22%;   publisher = "AAAI Press",
   23%; }
   24%;
   25
   26% load foundations/Root.e
   27
   28% load foundations/EC.e
   29
   30% sort agent
   31==> sort(agent).
   32
   33% fluent Tired(agent)
   34 %  fluent(tired(agent)).
   35==> mpred_prop(tired(agent),fluent).
   36==> meta_argtypes(tired(agent)).
   37
   38% event Move(agent)
   39 %  event(move(agent)).
   40==> mpred_prop(move(agent),event).
   41==> meta_argtypes(move(agent)).
   42
   43% event Run(agent)
   44 %  event(run(agent)).
   45==> mpred_prop(run(agent),event).
   46==> meta_argtypes(run(agent)).
   47
   48% event Drive(agent)
   49 %  event(drive(agent)).
   50==> mpred_prop(drive(agent),event).
   51==> meta_argtypes(drive(agent)).
   52
   53
   54% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving1.e:33
   55% [agent,time]
   56% Happens(Move(agent),time) ->
   57% Happens(Run(agent),time) | Happens(Drive(agent),time).
   58
   59 /*   if(happens(move(Agent), Time),
   60          (happens(run(Agent), Time);happens(drive(Agent), Time))).
   61 */
   62
   63 /*  happens(run(Run_Ret), Maptime) :-
   64       not(happens(drive(Run_Ret), Maptime)),
   65       happens(move(Run_Ret), Maptime).
   66 */
   67% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving1.e:35
   68axiom(happens(run(Run_Ret), Maptime),
   69   
   70    [ not(happens(drive(Run_Ret), Maptime)),
   71      happens(move(Run_Ret), Maptime)
   72    ]).
   73
   74 /*  happens(drive(Drive_Ret), Maptime4) :-
   75       not(happens(run(Drive_Ret), Maptime4)),
   76       happens(move(Drive_Ret), Maptime4).
   77 */
   78axiom(happens(drive(Drive_Ret), Maptime4),
   79   
   80    [ not(happens(run(Drive_Ret), Maptime4)),
   81      happens(move(Drive_Ret), Maptime4)
   82    ]).
   83
   84 /*  not(happens(move(Move_Ret), Maptime6)) :-
   85       not(happens(run(Move_Ret), Maptime6)),
   86       not(happens(drive(Move_Ret), Maptime6)).
   87 */
   88axiom(not(happens(move(Move_Ret), Maptime6)),
   89   
   90    [ not(happens(run(Move_Ret), Maptime6)),
   91      not(happens(drive(Move_Ret), Maptime6))
   92    ]).
   93
   94% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving1.e:37
   95% xor Run, Drive
   96% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving1.e:38
   97xor([run,drive]).
   98
   99
  100% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving1.e:39
  101% [agent,time]
  102 % Initiates(Run(agent),Tired(agent),time).
  103axiom(initiates(run(Agent), tired(Agent), Time),
  104    []).
  105
  106% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving1.e:41
  107% agent James
  108% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving1.e:42
  109==> t(agent,james).
  110
  111
  112% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving1.e:43
  113% !HoldsAt(Tired(James),0).
  114 %  not(initially(tired(james))).
  115axiom(not(initially(tired(james))),
  116    []).
  117
  118
  119% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving1.e:44
  120% Happens(Move(James),0).
  121axiom(happens(move(james), t),
  122    [is_time(0)]).
  123
  124
  125% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving1.e:45
  126% HoldsAt(Tired(James),1).
  127holds_at(tired(james),1).
  128
  129% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving1.e:47
  130% range time 0 1
  131% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving1.e:48
  132==> range(time,0,1).
  133
  134% range offset 1 1
  135% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004b/RunningAndDriving1.e:49
  136==> range(offset,1,1).
  137%; End of file.