1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'ecnet/Rain.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%; Rain
   15%;
   16%; It starts raining at location outside.
   17
   18% event StartRaining(outside)
   19 %  event(startRaining(outside)).
   20==> mpred_prop(startRaining(outside),event).
   21==> meta_argtypes(startRaining(outside)).
   22
   23
   24% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:16
   25%; It stops raining at location outside.
   26
   27% event StopRaining(outside)
   28 %  event(stopRaining(outside)).
   29% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:18
   30==> mpred_prop(stopRaining(outside),event).
   31==> meta_argtypes(stopRaining(outside)).
   32
   33
   34% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:19
   35%; It is raining at location outside.
   36
   37% fluent Raining(outside)
   38 %  fluent(raining(outside)).
   39% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:21
   40==> mpred_prop(raining(outside),fluent).
   41==> meta_argtypes(raining(outside)).
   42
   43% event GetWet(object)
   44 %  event(getWet(object)).
   45% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:23
   46==> mpred_prop(getWet(object),event).
   47==> meta_argtypes(getWet(object)).
   48
   49% event Dry(object)
   50 %  event(dry(object)).
   51% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:25
   52==> mpred_prop(dry(object),event).
   53==> meta_argtypes(dry(object)).
   54
   55% fluent Wet(object)
   56 %  fluent(wet(object)).
   57% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:27
   58==> mpred_prop(wet(object),fluent).
   59==> meta_argtypes(wet(object)).
   60
   61
   62% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:28
   63% [agent,outside,time]
   64% HoldsAt(At(agent,outside),time) &
   65% HoldsAt(Raining(outside),time) &
   66% !HoldsAt(Wet(agent),time) &
   67% (!{umbrella} HoldsAt(Holding(agent,umbrella),time)) ->
   68% Happens(GetWet(agent),time).
   69% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:33
   70axiom(happens(getWet(Agent), Time),
   71   
   72    [ holds_at(at(Agent, Outside), Time),
   73      holds_at(raining(Outside), Time),
   74      not(holds_at(wet(Agent), Time)),
   75      not(holds_at(holding(Agent, Umbrella), Time))
   76    ]).
   77
   78
   79% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:35
   80% [object,time]
   81% Initiates(GetWet(object),Wet(object),time).
   82% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:36
   83axiom(initiates(getWet(Object), wet(Object), Time),
   84    []).
   85
   86
   87% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:38
   88% [object,time]
   89% Terminates(Dry(object),Wet(object),time).
   90% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:39
   91axiom(terminates(dry(Object), wet(Object), Time),
   92    []).
   93
   94
   95% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ecnet/Rain.e:41
   96%; End of file.