1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'examples/Manual/Example2.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
35 36axiom(initiates(wakeUp(Agent), awake(Agent), Time),
37 []).
38
39% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Manual/Example2.e:20
40% agent James
41% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Manual/Example2.e:21
42==> t(agent,james).
43
44
47 48axiom(not(initially(awake(james))),
49 []).
50
51
54holds_at(awake(james),1).
55
56% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Manual/Example2.e:24
57% range time 0 1
58% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Manual/Example2.e:25
59==> range(time,0,1).
60
61% range offset 1 1
62% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Manual/Example2.e:26
63==>