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
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
45 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).
55
56
59 60axiom(not(initially(awake(james))),
61 []).
62
65next_axiom_uses(delta).
66
67
68
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).