1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/HungerNeed.e').
4
5
6% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HungerNeed.e:0
7%;
8%; Copyright (c) 2005 IBM Corporation and others.
9%; All rights reserved. This program and the accompanying materials
10%; are made available under the terms of the Common Public License v1.0
11%; which accompanies this distribution, and is available at
12%; http://www.eclipse.org/legal/cpl-v10.html
13%;
14%; Contributors:
15%; IBM - Initial implementation
16%;
17%; hunger need
18%;
19
20% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HungerNeed.e:13
21% fluent Hungry(agent)
22 % fluent(hungry(agent)).
23% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HungerNeed.e:14
24==> mpred_prop(hungry(agent),fluent).
25==> meta_argtypes(hungry(agent)).
26
27% fluent Satiated(agent)
28 % fluent(satiated(agent)).
29% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HungerNeed.e:16
30==> mpred_prop(satiated(agent),fluent).
31==> meta_argtypes(satiated(agent)).
32
33% noninertial Satiated
34% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HungerNeed.e:17
35==> noninertial(satiated).
36
37
40 41
42 45axiom(holds_at(hungry(Agent), Time),
46 [not(holds_at(satiated(Agent), Time))]).
47axiom(not(holds_at(satiated(Agent), Time)),
48 [holds_at(hungry(Agent), Time)]).
49
50% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HungerNeed.e:20
51% event Eat(agent,food)
52 % event(eat(agent,food)).
53% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/HungerNeed.e:21
54==> mpred_prop(eat(agent,food),event).
55==> meta_argtypes(eat(agent,food)).
56
57
65
66 70
71 78axiom(not(some(Location6, '$kolem_Fn_146'(Fn_146_Param, At_Param, Maptime))),
79
80 [ not(holds_at(at(Fn_146_Param, Location6), Maptime)),
81 happens(eat(Fn_146_Param, At_Param), Maptime)
82 ]).
83axiom(not(some(Location6, '$kolem_Fn_146'(Fn_146_Param, At_Param, Maptime))),
84
85 [ not(holds_at(at(At_Param, Location6), Maptime)),
86 happens(eat(Fn_146_Param, At_Param), Maptime)
87 ]).
88
89 96axiom(not(happens(eat(Eat_Param, At_Param12), Maptime9)),
97
98 [ not(holds_at(at(Eat_Param, Location10), Maptime9)),
99 some(Location10,
100 '$kolem_Fn_146'(Eat_Param, At_Param12, Maptime9))
101 ]).
102axiom(not(happens(eat(Eat_Param, At_Param12), Maptime9)),
103
104 [ not(holds_at(at(At_Param12, Location10), Maptime9)),
105 some(Location10,
106 '$kolem_Fn_146'(Eat_Param, At_Param12, Maptime9))
107 ]).
108
109 114axiom(holds_at(at(At_Param15, Location13), Time14),
115
116 [ happens(eat(At_Param15, Eat_Ret), Time14),
117 some(Location13,
118 '$kolem_Fn_146'(At_Param15, Eat_Ret, Time14))
119 ]).
120
121 126axiom(holds_at(at(At_Param19, Location17), Time18),
127
128 [ happens(eat(Eat_Param20, At_Param19), Time18),
129 some(Location17,
130 '$kolem_Fn_146'(Eat_Param20, At_Param19, Time18))
131 ]).
132
133
138axiom(terminates(eat(Agent, Food), hungry(Agent), Time),
139 []).
140
141