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
   31% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:18
   32% [agent,time]
   33% HoldsAt(CraveNicotine(agent),time) <->
   34% !HoldsAt(NicotineCravingSatisfied(agent),time).
   35
   36 /*  holds_at(craveNicotine(Agent), Time) <->
   37       not(holds_at(nicotineCravingSatisfied(Agent), Time)).
   38 */
   39% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:20
   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
   53% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:24
   54% [agent,cigarette,time]
   55% Happens(Smoke(agent,cigarette),time) ->
   56% HoldsAt(Holding(agent,cigarette),time).
   57% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:26
   58axiom(requires(smoke(Agent, Cigarette), Time),
   59    [holds_at(holding(Agent, Cigarette), Time)]).
   60
   61
   62% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:28
   63% [agent,cigarette,time]
   64% Terminates(Smoke(agent,cigarette),CraveNicotine(agent),time).
   65% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:29
   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
   77% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:33
   78% [agent,cigarette,time]
   79% Happens(Puff(agent,cigarette),time) ->
   80% Happens(Smoke(agent,cigarette),time).
   81% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:35
   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
   93% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Smoke.e:39
   94%; End of file.