1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ecnet/Smoke.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%; Smoking: smoking cigarettes and cigars
15%;
16
17% fluent CraveNicotine(agent)
18 % fluent(craveNicotine(agent)).
19==> mpred_prop(craveNicotine(agent),fluent).
20==> meta_argtypes(craveNicotine(agent)).
21
22% fluent NicotineCravingSatisfied(agent)
23 % fluent(nicotineCravingSatisfied(agent)).
24==> mpred_prop(nicotineCravingSatisfied(agent),fluent).
25==> meta_argtypes(nicotineCravingSatisfied(agent)).
26
27% noninertial NicotineCravingSatisfied
28==> noninertial(nicotineCravingSatisfied).
29
30
35
36 40axiom(holds_at(craveNicotine(Agent), Time),
41 [not(holds_at(nicotineCravingSatisfied(Agent), Time))]).
42axiom(not(holds_at(nicotineCravingSatisfied(Agent), Time)),
43 [holds_at(craveNicotine(Agent), Time)]).
44
45% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:22
46% event Smoke(agent,cigarette)
47 % event(smoke(agent,cigarette)).
48% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:23
49==> mpred_prop(smoke(agent,cigarette),event).
50==> meta_argtypes(smoke(agent,cigarette)).
51
52
58axiom(requires(smoke(Agent, Cigarette), Time),
59 [holds_at(holding(Agent, Cigarette), Time)]).
60
61
66axiom(terminates(smoke(Agent, Cigarette), craveNicotine(Agent), Time),
67 []).
68
69% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:31
70% event Puff(agent,cigarette)
71 % event(puff(agent,cigarette)).
72% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:32
73==> mpred_prop(puff(agent,cigarette),event).
74==> meta_argtypes(puff(agent,cigarette)).
75
76
82axiom(happens(smoke(Agent, Cigarette), Time),
83 [happens(puff(Agent, Cigarette), Time)]).
84
85% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:37
86% event BlowOutSmoke(agent,smoke)
87 % event(blowOutSmoke(agent,smoke)).
88% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:38
89==> mpred_prop(blowOutSmoke(agent,smoke),event).
90==> meta_argtypes(blowOutSmoke(agent,smoke)).
91
92