:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:58:25 GMT % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e'). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:0 % fluent F_RuleDenied(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 fluent(f_ruleDenied(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 fluents([f_ruleDenied/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 fluents([f_ruleDenied/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 meta_argtypes(f_ruleDenied(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 meta_argtypes(f_ruleDenied(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 mpred_prop(f_ruleDenied(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 mpred_prop(f_ruleDenied(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 meta_argtypes(f_ruleDenied(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 meta_argtypes(f_ruleDenied(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:1 % fluent F_RulePermitted(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 fluent(f_rulePermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 fluents([f_rulePermitted/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 fluents([f_rulePermitted/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 meta_argtypes(f_rulePermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 meta_argtypes(f_rulePermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 mpred_prop(f_rulePermitted(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 mpred_prop(f_rulePermitted(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 meta_argtypes(f_rulePermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:2 meta_argtypes(f_rulePermitted(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:3 % event Epermit(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 event(epermit(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 events([epermit/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 events([epermit/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 meta_argtypes(epermit(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 meta_argtypes(epermit(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 mpred_prop(epermit(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 mpred_prop(epermit(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 meta_argtypes(epermit(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 meta_argtypes(epermit(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:4 % event EDeny(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 event(eDeny(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 events([eDeny/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 events([eDeny/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 meta_argtypes(eDeny(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 meta_argtypes(eDeny(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 mpred_prop(eDeny(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 mpred_prop(eDeny(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 meta_argtypes(eDeny(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:5 meta_argtypes(eDeny(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:6 % [rule,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:6 % Initiates(EDeny(rule),F_RuleDenied(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:6 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(eDeny(Rule), f_ruleDenied(Rule), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:6 initiates(eDeny(Edeny),f_ruleDenied(Edeny),Initiates). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:6 initiated(happens(eDeny(Edeny),Maptime,Happens), f_ruleDenied(Edeny), []). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:7 % [rule,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:7 % Initiates(Epermit(rule),F_RulePermitted(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:7 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(epermit(Rule), f_rulePermitted(Rule), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:7 initiates(epermit(Epermit), f_rulePermitted(Epermit), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:7 initiated(happens(epermit(Epermit),Maptime,Happens), f_rulePermitted(Epermit), []). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:10 % [rule] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:10 % !HoldsAt(F_RulePermitted(rule),0). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:10 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(f_rulePermitted(Rule)))). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:10 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:10 initially(neg(f_rulePermitted(Rulepermitted))). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:10 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:10 initial_state([not(f_rulePermitted(Rulepermitted))]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:11 % [rule] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:11 % !HoldsAt(F_RuleDenied(rule),0). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:11 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(f_ruleDenied(Rule)))). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:11 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:11 initially(neg(f_ruleDenied(Ruledenied))). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:11 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:11 initial_state([not(f_ruleDenied(Ruledenied))]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/ruleOutput.e:24 %;[rule] HoldsAt(F_RulePermitted(rule),3) | HoldsAt(F_RuleDenied(rule),3). %;[rule,time] Happens(RuleDeny(rule), time) | Happens(RulePermit(rule), time) -> time=2.