:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:58:26 GMT % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e'). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:0 % fluent F_TargetHolds(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 fluent(f_targetHolds(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 fluents([f_targetHolds/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 fluents([f_targetHolds/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 meta_argtypes(f_targetHolds(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 meta_argtypes(f_targetHolds(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 mpred_prop(f_targetHolds(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 mpred_prop(f_targetHolds(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 meta_argtypes(f_targetHolds(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 meta_argtypes(f_targetHolds(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:1 % fluent F_TargetDoesntHolds(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 fluent(f_targetDoesntHolds(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 fluents([f_targetDoesntHolds/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 fluents([f_targetDoesntHolds/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 meta_argtypes(f_targetDoesntHolds(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 meta_argtypes(f_targetDoesntHolds(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 mpred_prop(f_targetDoesntHolds(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 mpred_prop(f_targetDoesntHolds(rule),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 meta_argtypes(f_targetDoesntHolds(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:2 meta_argtypes(f_targetDoesntHolds(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:3 % event E_MatchRuleParametters(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 event(e_matchRuleParametters(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 events([e_matchRuleParametters/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 events([e_matchRuleParametters/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 meta_argtypes(e_matchRuleParametters(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 meta_argtypes(e_matchRuleParametters(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 mpred_prop(e_matchRuleParametters(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 mpred_prop(e_matchRuleParametters(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 meta_argtypes(e_matchRuleParametters(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 meta_argtypes(e_matchRuleParametters(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:4 % event E_DontMatchRuleParametters(rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 event(e_dontMatchRuleParametters(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 events([e_dontMatchRuleParametters/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 events([e_dontMatchRuleParametters/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 meta_argtypes(e_dontMatchRuleParametters(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 meta_argtypes(e_dontMatchRuleParametters(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 mpred_prop(e_dontMatchRuleParametters(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 mpred_prop(e_dontMatchRuleParametters(rule),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 meta_argtypes(e_dontMatchRuleParametters(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:5 meta_argtypes(e_dontMatchRuleParametters(rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:6 % [rule,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:6 % Initiates(E_MatchRuleParametters(rule),F_TargetHolds(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:6 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(e_matchRuleParametters(Rule), f_targetHolds(Rule), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:6 initiates(e_matchRuleParametters(E_Matchruleparametters), f_targetHolds(E_Matchruleparametters), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:6 initiated(happens(e_matchRuleParametters(E_Matchruleparametters), Maptime, Happens), f_targetHolds(E_Matchruleparametters), []). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:7 % [rule,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:7 % Initiates(E_DontMatchRuleParametters(rule),F_TargetDoesntHolds(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:7 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(e_dontMatchRuleParametters(Rule), f_targetDoesntHolds(Rule), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:7 initiates(e_dontMatchRuleParametters(E_Dontmatchruleparametters), f_targetDoesntHolds(E_Dontmatchruleparametters), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:7 initiated(happens(e_dontMatchRuleParametters(E_Dontmatchruleparametters), Maptime, Happens), f_targetDoesntHolds(E_Dontmatchruleparametters), []). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:9 % [rule,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:9 % Happens(E_MatchRuleParametters(rule), time) -> !HoldsAt(F_TargetHolds(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:9 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:9 happens(e_matchRuleParametters(Rule), Time) -> holds_at(neg(f_targetHolds(Rule)), Time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:9 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:9 reactive_rule([happens(e_matchRuleParametters(Rule),Time)], [holds(not(f_targetHolds(Rule)),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:10 % [rule,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:10 % Happens(E_DontMatchRuleParametters(rule), time) -> !HoldsAt(F_TargetDoesntHolds(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:10 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:10 happens(e_dontMatchRuleParametters(Rule), Time) -> holds_at(neg(f_targetDoesntHolds(Rule)), Time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:10 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:10 reactive_rule([ happens(e_dontMatchRuleParametters(Rule), Time) ], [holds(not(f_targetDoesntHolds(Rule)),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:13 % [rule] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:13 % !HoldsAt(F_TargetHolds(rule),0). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:13 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(f_targetHolds(Rule)))). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:13 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:13 initially(neg(f_targetHolds(Targetholds))). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:13 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:13 initial_state([not(f_targetHolds(Targetholds))]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:14 % [rule] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:14 % !HoldsAt(F_TargetDoesntHolds(rule),0). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:14 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(f_targetDoesntHolds(Rule)))). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:14 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:14 initially(neg(f_targetDoesntHolds(Targetdoesntholds))). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:14 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/RulesPatterns/targetHolds.e:14 initial_state([not(f_targetDoesntHolds(Targetdoesntholds))]).