1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/Condition.e').
    4
    5
    6% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.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%; human health
   18
   19% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:12
   20% fluent Alive(agent)
   21 %  fluent(alive(agent)).
   22% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:13
   23==> mpred_prop(alive(agent),fluent).
   24==> meta_argtypes(alive(agent)).
   25
   26% fluent Dead(agent)
   27 %  fluent(dead(agent)).
   28% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:15
   29==> mpred_prop(dead(agent),fluent).
   30==> meta_argtypes(dead(agent)).
   31
   32% noninertial Dead
   33% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:16
   34==> noninertial(dead).
   35
   36% fluent Injured(agent)
   37 %  fluent(injured(agent)).
   38% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:18
   39==> mpred_prop(injured(agent),fluent).
   40==> meta_argtypes(injured(agent)).
   41
   42% event Kill(object,agent)
   43 %  event(kill(object,agent)).
   44% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:20
   45==> mpred_prop(kill(object,agent),event).
   46==> meta_argtypes(kill(object,agent)).
   47
   48% event Injure(object,agent)
   49 %  event(injure(object,agent)).
   50% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:21
   51==> mpred_prop(injure(object,agent),event).
   52==> meta_argtypes(injure(object,agent)).
   53
   54% event HealInjured(agent)
   55 %  event(healInjured(agent)).
   56% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:22
   57==> mpred_prop(healInjured(agent),event).
   58==> meta_argtypes(healInjured(agent)).
   59
   60
   61% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:23
   62% [agent,time]
   63 % HoldsAt(Alive(agent),time) <-> !HoldsAt(Dead(agent),time).
   64
   65 /*  holds_at(alive(Agent), Time) <->
   66       not(holds_at(dead(Agent), Time)).
   67 */
   68axiom(holds_at(alive(Agent), Time),
   69    [not(holds_at(dead(Agent), Time))]).
   70axiom(not(holds_at(dead(Agent), Time)),
   71    [holds_at(alive(Agent), Time)]).
   72
   73
   74% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:24
   75% [agent,time]
   76 % HoldsAt(Injured(agent),time) -> HoldsAt(Alive(agent),time).
   77axiom(holds_at(alive(Agent), Time),
   78    [holds_at(injured(Agent), Time)]).
   79
   80
   81% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:26
   82% [object,agent,time]
   83% Terminates(Kill(object,agent),Alive(agent),time).
   84% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:27
   85axiom(terminates(kill(Object, Agent), alive(Agent), Time),
   86    []).
   87
   88
   89% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:29
   90% [object,agent,time]
   91% Initiates(Injure(object,agent),Injured(agent),time).
   92% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:30
   93axiom(initiates(injure(Object, Agent), injured(Agent), Time),
   94    []).
   95
   96
   97% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:32
   98% [agent,time]
   99% Terminates(HealInjured(agent),Injured(agent),time).
  100% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:33
  101axiom(terminates(healInjured(Agent), injured(Agent), Time),
  102    []).
  103
  104% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:35
  105% fluent Intact(physobj)
  106 %  fluent(intact(physobj)).
  107% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:36
  108==> mpred_prop(intact(physobj),fluent).
  109==> meta_argtypes(intact(physobj)).
  110
  111% fluent Damaged(physobj)
  112 %  fluent(damaged(physobj)).
  113% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:38
  114==> mpred_prop(damaged(physobj),fluent).
  115==> meta_argtypes(damaged(physobj)).
  116
  117% fluent Destroyed(physobj)
  118 %  fluent(destroyed(physobj)).
  119% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:40
  120==> mpred_prop(destroyed(physobj),fluent).
  121==> meta_argtypes(destroyed(physobj)).
  122
  123
  124% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:41
  125%; At any time, a physical object is either intact, damaged, or destroyed:
  126
  127% xor Intact, Damaged, Destroyed
  128% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:43
  129xor([intact,damaged,destroyed]).
  130
  131% event Damage(object,physobj)
  132 %  event(damage(object,physobj)).
  133% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:45
  134==> mpred_prop(damage(object,physobj),event).
  135==> meta_argtypes(damage(object,physobj)).
  136
  137% event Destroy(object,physobj)
  138 %  event(destroy(object,physobj)).
  139% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:47
  140==> mpred_prop(destroy(object,physobj),event).
  141==> meta_argtypes(destroy(object,physobj)).
  142
  143% event Repair(object,physobj)
  144 %  event(repair(object,physobj)).
  145% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:49
  146==> mpred_prop(repair(object,physobj),event).
  147==> meta_argtypes(repair(object,physobj)).
  148
  149
  150% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:50
  151% [object,physobj,time]
  152% Happens(Damage(object,physobj),time) ->
  153% HoldsAt(Intact(physobj),time).
  154% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:52
  155axiom(requires(damage(Object, Physobj), Time),
  156    [holds_at(intact(Physobj), Time)]).
  157
  158
  159% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:54
  160% [object,physobj,time]
  161% Initiates(Damage(object,physobj),Damaged(physobj),time).
  162% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:55
  163axiom(initiates(damage(Object, Physobj), damaged(Physobj), Time),
  164    []).
  165
  166
  167% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:57
  168% [object,physobj,time]
  169% Terminates(Damage(object,physobj),Intact(physobj),time).
  170% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:58
  171axiom(terminates(damage(Object, Physobj), intact(Physobj), Time),
  172    []).
  173
  174
  175% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:60
  176% [object,physobj,time]
  177% Happens(Destroy(object,physobj),time) ->
  178% (HoldsAt(Intact(physobj),time)|
  179%  HoldsAt(Damaged(physobj),time)).
  180% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:63
  181axiom(requires(destroy(Object, Physobj), Time),
  182    [holds_at(intact(Physobj), Time)]).
  183axiom(requires(destroy(Object, Physobj), Time),
  184    [holds_at(damaged(Physobj), Time)]).
  185
  186
  187% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:65
  188% [object,physobj,time]
  189% Initiates(Destroy(object,physobj),Destroyed(physobj),time).
  190% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:66
  191axiom(initiates(destroy(Object, Physobj), destroyed(Physobj), Time),
  192    []).
  193
  194
  195% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:68
  196% [object,physobj,time]
  197% Terminates(Destroy(object,physobj),Intact(physobj),time).
  198% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:69
  199axiom(terminates(destroy(Object, Physobj), intact(Physobj), Time),
  200    []).
  201
  202
  203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:71
  204% [object,physobj,time]
  205% Terminates(Destroy(object,physobj),Damaged(physobj),time).
  206% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:72
  207axiom(terminates(destroy(Object, Physobj), damaged(Physobj), Time),
  208    []).
  209
  210
  211% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:74
  212% [object,physobj,time]
  213% Initiates(Repair(object,physobj),Intact(physobj),time).
  214% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:75
  215axiom(initiates(repair(Object, Physobj), intact(Physobj), Time),
  216    []).
  217
  218
  219% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Condition.e:77
  220%; end of file.