1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'includes/SaaSPatterns/RulesPatterns/ruleOutput.e'). 4 5% fluent F_RuleDenied(rule) 6 % fluent(f_ruleDenied(rule)). 7==> mpred_prop(f_ruleDenied(rule),fluent). 8==> meta_argtypes(f_ruleDenied(rule)). 9 10% fluent F_RulePermitted(rule) 11 % fluent(f_rulePermitted(rule)). 12==> mpred_prop(f_rulePermitted(rule),fluent). 13==> meta_argtypes(f_rulePermitted(rule)). 14 15% event Epermit(rule) 16 % event(epermit(rule)). 17==> mpred_prop(epermit(rule),event). 18==> meta_argtypes(epermit(rule)). 19 20% event EDeny(rule) 21 % event(eDeny(rule)). 22==> mpred_prop(eDeny(rule),event). 23==> meta_argtypes(eDeny(rule)). 24 25 26% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:6 27% [rule,time] 28 % Initiates(EDeny(rule),F_RuleDenied(rule),time). 29axiom(initiates(eDeny(Rule), f_ruleDenied(Rule), Time), 30 []). 31 32 33% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:7 34% [rule,time] 35 % Initiates(Epermit(rule),F_RulePermitted(rule),time). 36axiom(initiates(epermit(Rule), f_rulePermitted(Rule), Time), 37 []). 38 39 40% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:10 41% [rule] 42 % !HoldsAt(F_RulePermitted(rule),0). 43 % not(initially(f_rulePermitted(Rule))). 44axiom(not(initially(f_rulePermitted(RulePermitted_Ret))), 45 []). 46 47 48% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:11 49% [rule] 50 % !HoldsAt(F_RuleDenied(rule),0). 51 % not(initially(f_ruleDenied(Rule))). 52axiom(not(initially(f_ruleDenied(RuleDenied_Ret))), 53 []). 54 55 56% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:24 57%;[rule] HoldsAt(F_RulePermitted(rule),3) | HoldsAt(F_RuleDenied(rule),3). 58%;[rule,time] Happens(RuleDeny(rule), time) | Happens(RulePermit(rule), time) -> time=2.