1% ectest/Example1.e:1
    2% translate: begining  File: ectest/Example1.e.pro 
    3% ;
    4% ; Copyright (c) 2005 IBM Corporation and others.
    5% ; All rights reserved. This program and the accompanying materials
    6% ; are made available under the terms of the Common Public License v1.0
    7% ; which accompanies this distribution, and is available at
    8% ; http://www.eclipse.org/legal/cpl-v10.html
    9% ;
   10% ; Contributors:
   11% ; IBM - Initial implementation
   12% ;
   13% ectest/Example1.e:11
   14% 
   15% ; deduction
   16% 
   17% load foundations/Root.e
   18load('foundations/Root.e').
   19
   20% load foundations/EC.e
   21load('foundations/EC.e').
   22
   23% 
   24% ectest/Example1.e:17
   25% sort agent
   26sort(agent).
   27
   28% 
   29% fluent Awake(agent)
   30fluent(awake(agent)).
   31
   32% event WakeUp(agent)
   33event(wakeUp(agent)).
   34
   35% 
   36% ectest/Example1.e:22
   37% [agent,time] % Initiates(WakeUp(agent),Awake(agent),time).
   38initiates(wakeUp(Agent), awake(Agent), Time).
   39
   40% 
   41% 
   42% agent James
   43t(agent, james).
   44
   45% !HoldsAt(Awake(James),0).
   46not(holds_at(awake(james), 0)).
   47
   48% 
   49% Delta:
   50directive(delta).
   51
   52 % Happens(WakeUp(James),0).
   53happens(wakeUp(james), 0).
   54
   55% 
   56% 
   57% ectest/Example1.e:28
   58% completion Delta Happens
   59completion(delta).
   60
   61completion(happens).
   62
   63% 
   64% range time 0 1
   65range(time, 0, 1).
   66
   67% range offset 1 1
   68range(offset, 1, 1).
   69
   70% ectest/Example1.e:32
   71% translate: ending  File: ectest/Example1.e.pro