:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:58:24 GMT % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e'). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:0 % fluent F_RuleEffectPermitted(rule); prédéfinies % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 fluent(f_ruleEffectPermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 fluents([f_ruleEffectPermitted/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 fluents([f_ruleEffectPermitted/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 meta_argtypes(f_ruleEffectPermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 meta_argtypes(f_ruleEffectPermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 mpred_prop(f_ruleEffectPermitted(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 mpred_prop(f_ruleEffectPermitted(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 meta_argtypes(f_ruleEffectPermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 meta_argtypes(f_ruleEffectPermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:1 % fluent F_RuleEffectNOTpermitted(rule) ;prédéfinies % % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 fluent(f_ruleEffectNOTpermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 fluents([f_ruleEffectNOTpermitted/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 fluents([f_ruleEffectNOTpermitted/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 meta_argtypes(f_ruleEffectNOTpermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 meta_argtypes(f_ruleEffectNOTpermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 mpred_prop(f_ruleEffectNOTpermitted(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 mpred_prop(f_ruleEffectNOTpermitted(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 meta_argtypes(f_ruleEffectNOTpermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:3 meta_argtypes(f_ruleEffectNOTpermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:4 % fluent F_RuleDenied(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 fluent(f_ruleDenied(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 fluents([f_ruleDenied/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 fluents([f_ruleDenied/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 meta_argtypes(f_ruleDenied(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 meta_argtypes(f_ruleDenied(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 mpred_prop(f_ruleDenied(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 mpred_prop(f_ruleDenied(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 meta_argtypes(f_ruleDenied(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 meta_argtypes(f_ruleDenied(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:5 % fluent F_RulePermitted(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 fluent(f_rulePermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 fluents([f_rulePermitted/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 fluents([f_rulePermitted/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 meta_argtypes(f_rulePermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 meta_argtypes(f_rulePermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 mpred_prop(f_rulePermitted(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 mpred_prop(f_rulePermitted(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 meta_argtypes(f_rulePermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 meta_argtypes(f_rulePermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:6 % fluent F_RuleNotApplicable(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 fluent(f_ruleNotApplicable(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 fluents([f_ruleNotApplicable/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 fluents([f_ruleNotApplicable/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 meta_argtypes(f_ruleNotApplicable(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 meta_argtypes(f_ruleNotApplicable(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 mpred_prop(f_ruleNotApplicable(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 mpred_prop(f_ruleNotApplicable(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 meta_argtypes(f_ruleNotApplicable(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:7 meta_argtypes(f_ruleNotApplicable(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:10 % event Epermit(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 event(epermit(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 events([epermit/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 events([epermit/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 meta_argtypes(epermit(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 meta_argtypes(epermit(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 mpred_prop(epermit(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 mpred_prop(epermit(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 meta_argtypes(epermit(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 meta_argtypes(epermit(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:11 % event EDeny(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 event(eDeny(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 events([eDeny/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 events([eDeny/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 meta_argtypes(eDeny(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 meta_argtypes(eDeny(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 mpred_prop(eDeny(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 mpred_prop(eDeny(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 meta_argtypes(eDeny(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 meta_argtypes(eDeny(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:12 % event ERuleDoesNotApply(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 event(eRuleDoesNotApply(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 events([eRuleDoesNotApply/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 events([eRuleDoesNotApply/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 meta_argtypes(eRuleDoesNotApply(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 meta_argtypes(eRuleDoesNotApply(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 mpred_prop(eRuleDoesNotApply(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 mpred_prop(eRuleDoesNotApply(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 meta_argtypes(eRuleDoesNotApply(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:13 meta_argtypes(eRuleDoesNotApply(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:15 % [rule,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:15 % Initiates(EDeny(rule),F_RuleDenied(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:15 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(eDeny(Rule), f_ruleDenied(Rule), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:15 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:15 initiates(eDeny(Edeny),f_ruleDenied(Edeny),Initiates). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:15 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:15 initiated(happens(eDeny(Edeny),Maptime,Happens), f_ruleDenied(Edeny), []). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:16 % [rule,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:16 % Initiates(Epermit(rule),F_RulePermitted(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:16 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(epermit(Rule), f_rulePermitted(Rule), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:16 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:16 initiates(epermit(Epermit), f_rulePermitted(Epermit), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:16 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:16 initiated(happens(epermit(Epermit),Maptime,Happens), f_rulePermitted(Epermit), []). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:17 % [rule,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:17 % Initiates(ERuleDoesNotApply(rule),F_RuleNotApplicable(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:17 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(eRuleDoesNotApply(Rule), f_ruleNotApplicable(Rule), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:17 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:17 initiates(eRuleDoesNotApply(Eruledoesnotapply), f_ruleNotApplicable(Eruledoesnotapply), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:17 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:17 initiated(happens(eRuleDoesNotApply(Eruledoesnotapply), Maptime, Happens), f_ruleNotApplicable(Eruledoesnotapply), []). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:20 % [rule,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:20 % Happens(EDeny(rule),time) -> HoldsAt(F_TargetHolds(rule),time) % & HoldsAt(F_ConditionSatisfied(rule),time) % & HoldsAt(F_RuleEffectNOTpermitted(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:22 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:22 happens(eDeny(Rule), Time) -> holds_at(f_targetHolds(Rule), Time), holds_at(f_conditionSatisfied(Rule), Time), holds_at(f_ruleEffectNOTpermitted(Rule), Time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:22 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:22 reactive_rule([happens(eDeny(Rule),Time)], [ holds(f_targetHolds(Rule),Time), holds(f_conditionSatisfied(Rule),Time), holds(f_ruleEffectNOTpermitted(Rule),Time) ]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:25 % [rule,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:25 % Happens(Epermit(rule),time) -> HoldsAt(F_TargetHolds(rule),time) % & HoldsAt(F_ConditionSatisfied(rule),time) % & HoldsAt(F_RuleEffectPermitted(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:27 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:27 happens(epermit(Rule), Time) -> holds_at(f_targetHolds(Rule), Time), holds_at(f_conditionSatisfied(Rule), Time), holds_at(f_ruleEffectPermitted(Rule), Time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:27 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:27 reactive_rule([happens(epermit(Rule),Time)], [ holds(f_targetHolds(Rule),Time), holds(f_conditionSatisfied(Rule),Time), holds(f_ruleEffectPermitted(Rule),Time) ]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:29 % [rule,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:29 % Happens(ERuleDoesNotApply(rule),time) -> HoldsAt(F_TargetDoesntHolds(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:29 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:29 happens(eRuleDoesNotApply(Rule), Time) -> holds_at(f_targetDoesntHolds(Rule), Time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:29 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:29 reactive_rule([happens(eRuleDoesNotApply(Rule),Time)], [holds(f_targetDoesntHolds(Rule),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:33 % [rule] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:33 % !HoldsAt(F_RulePermitted(rule),0). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:33 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(f_rulePermitted(Rule)))). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:33 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:33 initially(neg(f_rulePermitted(Rulepermitted))). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:33 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:33 initial_state([not(f_rulePermitted(Rulepermitted))]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:34 % [rule] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:34 % !HoldsAt(F_RuleDenied(rule),0). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:34 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(f_ruleDenied(Rule)))). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:34 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:34 initially(neg(f_ruleDenied(Ruledenied))). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:34 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:34 initial_state([not(f_ruleDenied(Ruledenied))]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:35 % [rule] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:35 % !HoldsAt(F_RuleNotApplicable(rule),0). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:35 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(f_ruleNotApplicable(Rule)))). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:35 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:35 initially(neg(f_ruleNotApplicable(Rulenotapplicable))). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:35 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:35 initial_state([not(f_ruleNotApplicable(Rulenotapplicable))]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleModel.e:40 %;******************************************************************************************************************** %;-------------------------------------------------------------------------------------------------------------------- %;******************************************************************************************************************** %;[rule] HoldsAt(F_RulePermitted(rule),3) | HoldsAt(F_RuleDenied(rule),3). %;[rule,time] Happens(RuleDeny(rule), time) | Happens(RulePermit(rule), time) -> time=2. %;[rule,time,ruleeffect] Happens(EDeny(rule),time) -> HoldsAt(F_TargetHolds(rule),time) %; & HoldsAt(F_ConditionSatisfied(rule),time) %; & ruleeffect=Deny. %;[rule,time,ruleeffect] Happens(Epermit(rule),time) -> HoldsAt(F_TargetHolds(rule),time) %; & HoldsAt(F_ConditionSatisfied(rule),time) %; & ruleeffect=Permit.