1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ectest/Example4.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
   15% load foundations/Root.e
   16
   17% load foundations/EC.e
   18
   19% sort agent
   20==> sort(agent).
   21
   22% fluent Awake(agent)
   23 %  fluent(awake(agent)).
   24==> mpred_prop(awake(agent),fluent).
   25==> meta_argtypes(awake(agent)).
   26
   27% event WakeUp(agent)
   28 %  event(wakeUp(agent)).
   29==> mpred_prop(wakeUp(agent),event).
   30==> meta_argtypes(wakeUp(agent)).
   31
   32
   33% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example4.e:18
   34% [agent,time]
   35 % Initiates(WakeUp(agent),Awake(agent),time).
   36axiom(initiates(wakeUp(Agent), awake(Agent), Time),
   37    []).
   38
   39
   40% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example4.e:19
   41% [agent,time]
   42 % Happens(WakeUp(agent),time) -> !HoldsAt(Awake(agent),time).
   43axiom(requires(wakeUp(Agent), Time),
   44    [not(holds_at(awake(Agent), Time))]).
   45
   46% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example4.e:21
   47% agent James, Jessie
   48% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example4.e:22
   49==> t(agent,james).
   50==> t(agent,jessie).
   51
   52
   53% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example4.e:22
   54% !HoldsAt(Awake(James),0).
   55 %  not(initially(awake(james))).
   56axiom(not(initially(awake(james))),
   57    []).
   58
   59
   60% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example4.e:23
   61% !HoldsAt(Awake(Jessie),0).
   62 %  not(initially(awake(jessie))).
   63axiom(not(initially(awake(jessie))),
   64    []).
   65
   66
   67% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example4.e:24
   68% HoldsAt(Awake(James),1).
   69holds_at(awake(james),1).
   70
   71% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example4.e:26
   72% range time 0 1
   73% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example4.e:27
   74==> range(time,0,1).
   75
   76% range offset 1 1
   77% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example4.e:28
   78==>