1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 24
26:- set_ec_option(encoding, 3). 27
28% load foundations/Root.e
29
30% load foundations/EC.e
31
32% sort person
33==> sort(person).
34
35% sort object
36==> sort(object).
37
38% event Hold(person,object)
39 % event(hold(person,object)).
40==> mpred_prop(hold(person,object),event).
41==> meta_argtypes(hold(person,object)).
42
43% fluent Holding(person,object)
44 % fluent(holding(person,object)).
45==> mpred_prop(holding(person,object),fluent).
46==> meta_argtypes(holding(person,object)).
47
48% person P1
49==> t(person,p1).
50
51% object O1
52==> t(object,o1).
53
54
57axiom(happens(hold(p1, o1), t),
58 [is_time(0)]).
59
60
65axiom(initiates(hold(Person, Object), holding(Person, Object), Time),
66 []).
67
68
71 72axiom(not(initially(holding(p1, o1))),
73 []).
74
75
76% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004a/Holding.e:41
77%;;; AUTO !ReleasedAt(Holding(P1,O1),0).
78
79% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004a/Holding.e:43
80% completion Happens
81% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004a/Holding.e:44
82==> completion(happens).
83
84% range time 0 1
85% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004a/Holding.e:46
86==> range(time,0,1).
87
88% range offset 1 1
89% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/examples/Mueller2004a/Holding.e:47
90==> range(offset,1,1).