1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 15
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% event WakeUp(agent)
32 % event(wakeUp(agent)).
33==> mpred_prop(wakeUp(agent),event).
34==> meta_argtypes(wakeUp(agent)).
35
36
39 40axiom(initiates(wakeUp(Agent), awake(Agent), Time),
41 []).
42
43% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Manual/Example1a.e:24
44% agent James
45% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Manual/Example1a.e:25
46==> t(agent,james).
47
48
51 52axiom(not(initially(awake(james))),
53 []).
54
57next_axiom_uses(delta).
58
59
60
63axiom(happens(wakeUp(james), t),
64 [is_time(0)]).
65
66% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Manual/Example1a.e:28
67% completion Delta Happens
68% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Manual/Example1a.e:29
69==> completion(delta).
70==> completion(happens).
71
72% range time 0 1
73% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Manual/Example1a.e:31
74==> range(time,0,1).
75
76% range offset 1 1
77% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Manual/Example1a.e:32
78==>