1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'includes/SaaSPatterns/ordering.e'). 4 5 6% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/ordering.e:0 7% [rule,time] 8 % Happens(E_MatchRuleParametters(rule), time) | Happens(E_DontMatchRuleParametters(rule), time) -> time = 0. 9axiom(requires(e_matchRuleParametters(Rule), Time), 10 [equals(Time, 0)]). 11axiom(requires(e_dontMatchRuleParametters(Rule), Time), 12 [equals(Time, 0)]). 13 14 15% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/ordering.e:2 16% [rule,time] 17 % Happens(EDeny(rule), time) | Happens(Epermit(rule), time) | Happens(ERuleDoesNotApply(rule), time) -> time = 1. 18axiom(requires(eDeny(Rule), Time), 19 [equals(Time, 1)]). 20axiom(requires(epermit(Rule), Time), 21 [equals(Time, 1)]). 22axiom(requires(eRuleDoesNotApply(Rule), Time), 23 [equals(Time, 1)]). 24 25 26% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/includes/SaaSPatterns/ordering.e:4 27%;[policy,time] Happens(E_policyPermit(policy), time) | Happens(E_policyDeny(policy), time) | Happens(E_PolicyDoesNotApply(policy),time) -> time = 2. 28%;[policyset,time] Happens(E_policysetPermit(policyset), time) | Happens(E_policysetDeny(policyset), time) | Happens(E_policysetDontApply(policyset),time) -> time = 3.