1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ectest/Example1a.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% option timediff off
   17:- set_ec_option(timediff, off).   18
   19% load foundations/Root.e
   20
   21% load foundations/EC.e
   22
   23% sort agent
   24==> sort(agent).
   25
   26% fluent Awake(agent)
   27 %  fluent(awake(agent)).
   28==> mpred_prop(awake(agent),fluent).
   29==> meta_argtypes(awake(agent)).
   30
   31
   32% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example1a.e:20
   33%;;   executable(wake_up(_X)).
   34
   35% event WakeUp(agent)
   36 %  event(wakeUp(agent)).
   37% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example1a.e:22
   38==> mpred_prop(wakeUp(agent),event).
   39==> meta_argtypes(wakeUp(agent)).
   40
   41
   42% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example1a.e:23
   43%;;   axiom(initiates(wake_up(X),awake(X),T),[]).
   44% [agent,time]
   45 % Initiates(WakeUp(agent),Awake(agent),time).
   46% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example1a.e:24
   47axiom(initiates(wakeUp(Agent), awake(Agent), Time),
   48    []).
   49
   50% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example1a.e:26
   51% agent James
   52% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example1a.e:27
   53==> t(agent,james).
   54%;; axiom(initially(neg(awake(nathan))),[]). 
   55
   56
   57% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example1a.e:28
   58% !HoldsAt(Awake(James),0).
   59 %  not(initially(awake(james))).
   60axiom(not(initially(awake(james))),
   61    []).
   62
   63% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example1a.e:30
   64% Delta: 
   65next_axiom_uses(delta).
   66 
   67
   68
   69% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example1a.e:30
   70% Happens(WakeUp(James),0).
   71axiom(happens(wakeUp(james), t),
   72    [is_time(0)]).
   73
   74% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example1a.e:32
   75% completion Delta Happens
   76% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example1a.e:33
   77==> completion(delta).
   78==> completion(happens).
   79
   80% range time 0 1
   81% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example1a.e:35
   82==> range(time,0,1).
   83
   84% range offset 1 1
   85% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/Example1a.e:36
   86==> range(offset,1,1).
   87%;;   axiom(terminates(fall_asleep(X),awake(Y),T),[]). 
   88%;;  
   89%;;   abducible(dummy).
   90%;; executable(fall_asleep(_X)).