1:-include(library('ec_planner/ec_test_incl')).    2:-expects_dialect(pfc).    3 %  loading(always,'includes/SaaSPatterns/RulesPatterns/ruleModel.e').
    4
    5
    6% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:0
    7%; prédéfinies
    8
    9% fluent F_RuleEffectPermitted(rule) 
   10 %  fluent(f_ruleEffectPermitted(rule)).
   11% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:2
   12==> mpred_prop(f_ruleEffectPermitted(rule),fluent).
   13==> meta_argtypes(f_ruleEffectPermitted(rule)).
   14
   15
   16% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:2
   17%; prédéfinies
   18
   19% fluent F_RuleEffectNOTpermitted(rule) 
   20 %  fluent(f_ruleEffectNOTpermitted(rule)).
   21% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:4
   22==> mpred_prop(f_ruleEffectNOTpermitted(rule),fluent).
   23==> meta_argtypes(f_ruleEffectNOTpermitted(rule)).
   24
   25% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6
   26% fluent F_RuleDenied(rule)
   27 %  fluent(f_ruleDenied(rule)).
   28% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7
   29==> mpred_prop(f_ruleDenied(rule),fluent).
   30==> meta_argtypes(f_ruleDenied(rule)).
   31
   32% fluent F_RulePermitted(rule)
   33 %  fluent(f_rulePermitted(rule)).
   34% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:8
   35==> mpred_prop(f_rulePermitted(rule),fluent).
   36==> meta_argtypes(f_rulePermitted(rule)).
   37
   38% fluent F_RuleNotApplicable(rule)
   39 %  fluent(f_ruleNotApplicable(rule)).
   40% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:9
   41==> mpred_prop(f_ruleNotApplicable(rule),fluent).
   42==> meta_argtypes(f_ruleNotApplicable(rule)).
   43
   44% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12
   45% event Epermit(rule)
   46 %  event(epermit(rule)).
   47% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13
   48==> mpred_prop(epermit(rule),event).
   49==> meta_argtypes(epermit(rule)).
   50
   51% event EDeny(rule)
   52 %  event(eDeny(rule)).
   53% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:14
   54==> mpred_prop(eDeny(rule),event).
   55==> meta_argtypes(eDeny(rule)).
   56
   57% event ERuleDoesNotApply(rule)
   58 %  event(eRuleDoesNotApply(rule)).
   59% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:15
   60==> mpred_prop(eRuleDoesNotApply(rule),event).
   61==> meta_argtypes(eRuleDoesNotApply(rule)).
   62
   63
   64% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:17
   65% [rule,time]
   66 % Initiates(EDeny(rule),F_RuleDenied(rule),time).
   67axiom(initiates(eDeny(Rule), f_ruleDenied(Rule), Time),
   68    []).
   69
   70
   71% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:18
   72% [rule,time]
   73 % Initiates(Epermit(rule),F_RulePermitted(rule),time).
   74axiom(initiates(epermit(Rule), f_rulePermitted(Rule), Time),
   75    []).
   76
   77
   78% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:19
   79% [rule,time]
   80 % Initiates(ERuleDoesNotApply(rule),F_RuleNotApplicable(rule),time).
   81axiom(initiates(eRuleDoesNotApply(Rule), f_ruleNotApplicable(Rule), Time),
   82    []).
   83
   84
   85% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:22
   86% [rule,time]
   87 % Happens(EDeny(rule),time) -> HoldsAt(F_TargetHolds(rule),time)
   88%                                             & HoldsAt(F_ConditionSatisfied(rule),time)
   89%                                             & HoldsAt(F_RuleEffectNOTpermitted(rule),time).
   90% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:24
   91axiom(requires(eDeny(Rule), Time),
   92   
   93    [ holds_at(f_targetHolds(Rule), Time),
   94      holds_at(f_conditionSatisfied(Rule), Time),
   95      holds_at(f_ruleEffectNOTpermitted(Rule), Time)
   96    ]).
   97
   98
   99% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:27
  100% [rule,time]
  101 % Happens(Epermit(rule),time) -> HoldsAt(F_TargetHolds(rule),time)
  102%                                             & HoldsAt(F_ConditionSatisfied(rule),time)
  103%                                             & HoldsAt(F_RuleEffectPermitted(rule),time).
  104% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:29
  105axiom(requires(epermit(Rule), Time),
  106   
  107    [ holds_at(f_targetHolds(Rule), Time),
  108      holds_at(f_conditionSatisfied(Rule), Time),
  109      holds_at(f_ruleEffectPermitted(Rule), Time)
  110    ]).
  111
  112
  113% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:31
  114% [rule,time]
  115 % Happens(ERuleDoesNotApply(rule),time) -> HoldsAt(F_TargetDoesntHolds(rule),time).
  116axiom(requires(eRuleDoesNotApply(Rule), Time),
  117    [holds_at(f_targetDoesntHolds(Rule), Time)]).
  118
  119
  120% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:35
  121% [rule]
  122 % !HoldsAt(F_RulePermitted(rule),0).
  123 %  not(initially(f_rulePermitted(Rule))).
  124axiom(not(initially(f_rulePermitted(RulePermitted_Ret))),
  125    []).
  126
  127
  128% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:36
  129% [rule]
  130 % !HoldsAt(F_RuleDenied(rule),0).
  131 %  not(initially(f_ruleDenied(Rule))).
  132axiom(not(initially(f_ruleDenied(RuleDenied_Ret))),
  133    []).
  134
  135
  136% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:37
  137% [rule]
  138 % !HoldsAt(F_RuleNotApplicable(rule),0).
  139 %  not(initially(f_ruleNotApplicable(Rule))).
  140axiom(not(initially(f_ruleNotApplicable(RuleNotApplicable_Ret))),
  141    []).
  142
  143
  144% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleModel.e:42
  145%;********************************************************************************************************************
  146%;--------------------------------------------------------------------------------------------------------------------
  147%;********************************************************************************************************************
  148%;[rule] HoldsAt(F_RulePermitted(rule),3) | HoldsAt(F_RuleDenied(rule),3).
  149%;[rule,time] Happens(RuleDeny(rule), time) |  Happens(RulePermit(rule), time) -> time=2.
  150%;[rule,time,ruleeffect] Happens(EDeny(rule),time) -> HoldsAt(F_TargetHolds(rule),time)
  151                                                %;    & HoldsAt(F_ConditionSatisfied(rule),time)
  152                                                %;    & ruleeffect=Deny.
  153%;[rule,time,ruleeffect] Happens(Epermit(rule),time) -> HoldsAt(F_TargetHolds(rule),time)
  154                                               %;    & HoldsAt(F_ConditionSatisfied(rule),time)
  155                                               %;    & ruleeffect=Permit.