1% ectest/Example1a.e:1 2% translate: begining File: ectest/Example1a.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% ; deduction 14% ectest/Example1a.e:12 15% 16% option timediff off 17option(timediff, off). 18 19% 20% load foundations/Root.e 21load('foundations/Root.e'). 22 23% load foundations/EC.e 24load('foundations/EC.e'). 25 26% 27% ectest/Example1a.e:18 28% sort agent 29sort(agent). 30 31% 32% fluent Awake(agent) 33fluent(awake(agent)). 34 35% ;; executable(wake_up(_X)). 36% event WakeUp(agent) 37event(wakeUp(agent)). 38 39% 40% ;; axiom(initiates(wake_up(X),awake(X),T),[]). 41% ectest/Example1a.e:25 42% [agent,time] % Initiates(WakeUp(agent),Awake(agent),time). 43initiates(wakeUp(Agent), awake(Agent), Time). 44 45% 46% 47% agent James 48t(agent, james). 49 50% ;; axiom(initially(neg(awake(nathan))),[]). 51% !HoldsAt(Awake(James),0). 52not(holds_at(awake(james), 0)). 53 54% 55% 56% ectest/Example1a.e:31 57% Delta: 58directive(delta). 59 60 % Happens(WakeUp(James),0). 61happens(wakeUp(james), 0). 62 63% 64% 65% completion Delta Happens 66completion(delta). 67 68completion(happens). 69 70% 71% range time 0 1 72range(time, 0, 1). 73 74% range offset 1 1 75range(offset, 1, 1). 76 77% ectest/Example1a.e:37 78% 79% ;; axiom(terminates(fall_asleep(X),awake(Y),T),[]). 80% ;; 81% ;; abducible(dummy). 82% ;; executable(fall_asleep(_X)). 83% 84% ectest/Example1a.e:43 85% translate: ending File: ectest/Example1a.e.pro