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