1:-include(library('ec_planner/ec_test_incl')). 2:-expects_dialect(pfc). 3 % loading(always,'ectest/ec_reader_test_includes.e').
4%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
5%; FILE: includes/SaaSPatterns/sorts.e
6%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
7
8% sort rule,subject,object,action,ruleeffect,policy,policyset
9==> sort(rule).
10==> sort(subject).
11==> sort(object).
12==> sort(action).
13==> sort(ruleeffect).
14==> sort(policy).
15==> sort(policyset).
16%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
17%; FILE: includes/SaaSPatterns/RulesPatterns/ruleOutput.e
18%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
19
20% fluent F_RuleDenied(rule)
21 % fluent(f_ruleDenied(rule)).
22==> mpred_prop(f_ruleDenied(rule),fluent).
23==> meta_argtypes(f_ruleDenied(rule)).
24
25% fluent F_RulePermitted(rule)
26 % fluent(f_rulePermitted(rule)).
27==> mpred_prop(f_rulePermitted(rule),fluent).
28==> meta_argtypes(f_rulePermitted(rule)).
29
30% event Epermit(rule)
31 % event(epermit(rule)).
32==> mpred_prop(epermit(rule),event).
33==> meta_argtypes(epermit(rule)).
34
35% event EDeny(rule)
36 % event(eDeny(rule)).
37==> mpred_prop(eDeny(rule),event).
38==> meta_argtypes(eDeny(rule)).
39
40
43 44axiom(initiates(eDeny(Rule), f_ruleDenied(Rule), Time),
45 []).
46
47
50 51axiom(initiates(epermit(Rule), f_rulePermitted(Rule), Time),
52 []).
53
54
57 58 59axiom(not(initially(f_rulePermitted(RulePermitted_Ret))),
60 []).
61
62
65 66 67axiom(not(initially(f_ruleDenied(RuleDenied_Ret))),
68 []).
69
70
71% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:48
72%;[rule] HoldsAt(F_RulePermitted(rule),3) | HoldsAt(F_RuleDenied(rule),3).
73%;[rule,time] Happens(RuleDeny(rule), time) | Happens(RulePermit(rule), time) -> time=2.
74%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
75%; FILE: includes/SaaSPatterns/RulesPatterns/targetHolds.e
76%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
77
78% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:56
79% fluent F_TargetHolds(rule)
80 % fluent(f_targetHolds(rule)).
81% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:57
82==> mpred_prop(f_targetHolds(rule),fluent).
83==> meta_argtypes(f_targetHolds(rule)).
84
85% fluent F_TargetDoesntHolds(rule)
86 % fluent(f_targetDoesntHolds(rule)).
87% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:58
88==> mpred_prop(f_targetDoesntHolds(rule),fluent).
89==> meta_argtypes(f_targetDoesntHolds(rule)).
90
91% event E_MatchRuleParametters(rule)
92 % event(e_matchRuleParametters(rule)).
93% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:60
94==> mpred_prop(e_matchRuleParametters(rule),event).
95==> meta_argtypes(e_matchRuleParametters(rule)).
96
97% event E_DontMatchRuleParametters(rule)
98 % event(e_dontMatchRuleParametters(rule)).
99% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:61
100==> mpred_prop(e_dontMatchRuleParametters(rule),event).
101==> meta_argtypes(e_dontMatchRuleParametters(rule)).
102
103
106 107axiom(initiates(e_matchRuleParametters(Rule), f_targetHolds(Rule), Time),
108 []).
109
110
113 114axiom(initiates(e_dontMatchRuleParametters(Rule), f_targetDoesntHolds(Rule), Time),
115 []).
116
117
120 121axiom(requires(e_matchRuleParametters(Rule), Time),
122 [not(holds_at(f_targetHolds(Rule), Time))]).
123
124
127 128axiom(requires(e_dontMatchRuleParametters(Rule), Time),
129 [not(holds_at(f_targetDoesntHolds(Rule), Time))]).
130
131
134 135 136axiom(not(initially(f_targetHolds(TargetHolds_Ret))),
137 []).
138
139
142 143 144axiom(not(initially(f_targetDoesntHolds(TargetDoesntHolds_Ret))),
145 []).
146
147
148% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:74
149%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
150%; FILE: includes/SaaSPatterns/RulesPatterns/ConditionsVerification.e
151%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
152
153% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:77
154% fluent F_ConditionSatisfied(rule)
155 % fluent(f_conditionSatisfied(rule)).
156% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:78
157==> mpred_prop(f_conditionSatisfied(rule),fluent).
158==> meta_argtypes(f_conditionSatisfied(rule)).
159
160
167
170axiom(initially(f_conditionSatisfied(Rule)),
171 []).
172
173
174% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:92
175%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
176%; FILE: includes/SaaSPatterns/RulesPatterns/ruleModel.e
177%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
178
179% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:95
180% fluent F_RuleEffectPermitted(rule)
181 % fluent(f_ruleEffectPermitted(rule)).
182% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:96
183==> mpred_prop(f_ruleEffectPermitted(rule),fluent).
184==> meta_argtypes(f_ruleEffectPermitted(rule)).
185
186
187% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:96
188%; prédéfinies
189
190% fluent F_RuleEffectNOTpermitted(rule)
191 % fluent(f_ruleEffectNOTpermitted(rule)).
192% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:98
193==> mpred_prop(f_ruleEffectNOTpermitted(rule),fluent).
194==> meta_argtypes(f_ruleEffectNOTpermitted(rule)).
195
196
197% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:98
198%;prédéfinies
199
200% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:101
201% fluent F_RuleDenied(rule)
202 % fluent(f_ruleDenied(rule)).
203% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:102
204==> mpred_prop(f_ruleDenied(rule),fluent).
205==> meta_argtypes(f_ruleDenied(rule)).
206
207% fluent F_RulePermitted(rule)
208 % fluent(f_rulePermitted(rule)).
209% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:103
210==> mpred_prop(f_rulePermitted(rule),fluent).
211==> meta_argtypes(f_rulePermitted(rule)).
212
213% fluent F_RuleNotApplicable(rule)
214 % fluent(f_ruleNotApplicable(rule)).
215% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:104
216==> mpred_prop(f_ruleNotApplicable(rule),fluent).
217==> meta_argtypes(f_ruleNotApplicable(rule)).
218
219% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:107
220% event Epermit(rule)
221 % event(epermit(rule)).
222% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:108
223==> mpred_prop(epermit(rule),event).
224==> meta_argtypes(epermit(rule)).
225
226% event EDeny(rule)
227 % event(eDeny(rule)).
228% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:109
229==> mpred_prop(eDeny(rule),event).
230==> meta_argtypes(eDeny(rule)).
231
232% event ERuleDoesNotApply(rule)
233 % event(eRuleDoesNotApply(rule)).
234% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:110
235==> mpred_prop(eRuleDoesNotApply(rule),event).
236==> meta_argtypes(eRuleDoesNotApply(rule)).
237
238
241 242axiom(initiates(eDeny(Rule), f_ruleDenied(Rule), Time),
243 []).
244
245
248 249axiom(initiates(epermit(Rule), f_rulePermitted(Rule), Time),
250 []).
251
252
255 256axiom(initiates(eRuleDoesNotApply(Rule), f_ruleNotApplicable(Rule), Time),
257 []).
258
259
262 266axiom(requires(eDeny(Rule), Time),
267
268 [ holds_at(f_targetHolds(Rule), Time),
269 holds_at(f_conditionSatisfied(Rule), Time),
270 holds_at(f_ruleEffectNOTpermitted(Rule), Time)
271 ]).
272
273
276 280axiom(requires(epermit(Rule), Time),
281
282 [ holds_at(f_targetHolds(Rule), Time),
283 holds_at(f_conditionSatisfied(Rule), Time),
284 holds_at(f_ruleEffectPermitted(Rule), Time)
285 ]).
286
287
290 291axiom(requires(eRuleDoesNotApply(Rule), Time),
292 [holds_at(f_targetDoesntHolds(Rule), Time)]).
293
294
297 298 299axiom(not(initially(f_rulePermitted(RulePermitted_Ret))),
300 []).
301
302
305 306 307axiom(not(initially(f_ruleDenied(RuleDenied_Ret))),
308 []).
309
310
313 314 315axiom(not(initially(f_ruleNotApplicable(RuleNotApplicable_Ret))),
316 []).
317
318
326 327 329 330 335
338axiom(requires(e_matchRuleParametters(Rule), Time),
339 [equals(Time, 0)]).
340axiom(requires(e_dontMatchRuleParametters(Rule), Time),
341 [equals(Time, 0)]).
342
343
346 347axiom(requires(eDeny(Rule), Time),
348 [equals(Time, 1)]).
349axiom(requires(epermit(Rule), Time),
350 [equals(Time, 1)]).
351axiom(requires(eRuleDoesNotApply(Rule), Time),
352 [equals(Time, 1)]).
353
354
355% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:166
356%;[policy,time] Happens(E_policyPermit(policy), time) | Happens(E_policyDeny(policy), time) | Happens(E_PolicyDoesNotApply(policy),time) -> time = 2.
357%;[policyset,time] Happens(E_policysetPermit(policyset), time) | Happens(E_policysetDeny(policyset), time) | Happens(E_policysetDontApply(policyset),time) -> time = 3.
358%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
359%; FILE: includes/SaaSPatterns/PolicySetPatterns/policySetModel.e
360%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
361
362% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:176
363% event E_policysetPermit(policyset)
364 % event(e_policysetPermit(policyset)).
365% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:177
366==> mpred_prop(e_policysetPermit(policyset),event).
367==> meta_argtypes(e_policysetPermit(policyset)).
368
369% event E_policysetDeny(policyset)
370 % event(e_policysetDeny(policyset)).
371% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:178
372==> mpred_prop(e_policysetDeny(policyset),event).
373==> meta_argtypes(e_policysetDeny(policyset)).
374
375% event E_policysetDontApply(policyset)
376 % event(e_policysetDontApply(policyset)).
377% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:179
378==> mpred_prop(e_policysetDontApply(policyset),event).
379==> meta_argtypes(e_policysetDontApply(policyset)).
380
381% fluent F_policysetPermitted(policyset)
382 % fluent(f_policysetPermitted(policyset)).
383% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:181
384==> mpred_prop(f_policysetPermitted(policyset),fluent).
385==> meta_argtypes(f_policysetPermitted(policyset)).
386
387% fluent F_policysetDenied(policyset)
388 % fluent(f_policysetDenied(policyset)).
389% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:182
390==> mpred_prop(f_policysetDenied(policyset),fluent).
391==> meta_argtypes(f_policysetDenied(policyset)).
392
393% fluent F_policySetNotApplicable(policyset)
394 % fluent(f_policySetNotApplicable(policyset)).
395% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:183
396==> mpred_prop(f_policySetNotApplicable(policyset),fluent).
397==> meta_argtypes(f_policySetNotApplicable(policyset)).
398
399% predicate PolicysetHaspolicies(policyset,policy)
400 % predicate(policysetHaspolicies(policyset,policy)).
401% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:185
402==> mpred_prop(policysetHaspolicies(policyset,policy),predicate).
403==> meta_argtypes(policysetHaspolicies(policyset,policy)).
404
405
408 409axiom(initiates(e_policysetPermit(Policyset), f_policysetPermitted(Policyset), Time),
410 []).
411
412
415 416axiom(initiates(e_policysetDeny(Policyset), f_policysetDenied(Policyset), Time),
417 []).
418
419
422 423axiom(initiates(e_policysetDontApply(Policyset), f_policySetNotApplicable(Policyset), Time),
424 []).
425
426
430 432axiom(holds_at(f_policyPermitted(Policy), Time),
433
434 [ happens(e_policysetPermit(Policyset), Time),
435 policysetHaspolicies(Policyset, Policy)
436 ]).
437
438
442 444axiom(requires(e_policysetDeny(Policyset), Time),
445
446 [ policysetHaspolicies(Policyset, Policy),
447 holds_at(f_policyDenied(Policy), Time)
448 ]).
449
450
454 456axiom(holds_at(f_policyNotApplicable(Policy), Time),
457
458 [ happens(e_policysetDontApply(Policyset), Time),
459 policysetHaspolicies(Policyset, Policy)
460 ]).
461
462
466 467axiom(not(initially(f_policysetPermitted(PolicysetPermitted_Ret))),
468 []).
469
470
474 475axiom(not(initially(f_policysetDenied(PolicysetDenied_Ret))),
476 []).
477
478
482 483axiom(not(initially(f_policySetNotApplicable(PolicySetNotApplicable_Ret))),
484 []).
485
486
487% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:211
488%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
489%; FILE: includes/SaaSPatterns/PolicyPatterns/policyModel.e
490%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
491
492% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:214
493% event E_policyPermit(policy)
494 % event(e_policyPermit(policy)).
495% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:215
496==> mpred_prop(e_policyPermit(policy),event).
497==> meta_argtypes(e_policyPermit(policy)).
498
499% event E_policyDeny(policy)
500 % event(e_policyDeny(policy)).
501% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:216
502==> mpred_prop(e_policyDeny(policy),event).
503==> meta_argtypes(e_policyDeny(policy)).
504
505% event E_PolicyDoesNotApply(policy)
506 % event(e_policyDoesNotApply(policy)).
507% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:217
508==> mpred_prop(e_policyDoesNotApply(policy),event).
509==> meta_argtypes(e_policyDoesNotApply(policy)).
510
511% fluent F_policyPermitted(policy)
512 % fluent(f_policyPermitted(policy)).
513% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:219
514==> mpred_prop(f_policyPermitted(policy),fluent).
515==> meta_argtypes(f_policyPermitted(policy)).
516
517% fluent F_policyDenied(policy)
518 % fluent(f_policyDenied(policy)).
519% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:220
520==> mpred_prop(f_policyDenied(policy),fluent).
521==> meta_argtypes(f_policyDenied(policy)).
522
523% fluent F_policyNotApplicable(policy)
524 % fluent(f_policyNotApplicable(policy)).
525% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:221
526==> mpred_prop(f_policyNotApplicable(policy),fluent).
527==> meta_argtypes(f_policyNotApplicable(policy)).
528
529% predicate PolicyHasRules(policy,rule)
530 % predicate(policyHasRules(policy,rule)).
531% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:223
532==> mpred_prop(policyHasRules(policy,rule),predicate).
533==> meta_argtypes(policyHasRules(policy,rule)).
534
535
538 539axiom(initiates(e_policyPermit(Policy), f_policyPermitted(Policy), Time),
540 []).
541
542
545 546axiom(initiates(e_policyDeny(Policy), f_policyDenied(Policy), Time),
547 []).
548
549
552 553axiom(initiates(e_policyDoesNotApply(Policy), f_policyNotApplicable(Policy), Time),
554 []).
555
556
560 562axiom(holds_at(f_rulePermitted(Rule), Time),
563
564 [ happens(e_policyPermit(Policy), Time),
565 policyHasRules(Policy, Rule)
566 ]).
567
568
572 574axiom(requires(e_policyDeny(Policy), Time),
575
576 [ policyHasRules(Policy, Rule),
577 holds_at(f_ruleDenied(Rule), Time)
578 ]).
579
580
584 586axiom(holds_at(f_ruleNotApplicable(Rule), Time),
587
588 [ happens(e_policyDoesNotApply(Policy), Time),
589 policyHasRules(Policy, Rule)
590 ]).
591
592
596 597axiom(not(initially(f_policyPermitted(PolicyPermitted_Ret))),
598 []).
599
600
604 605axiom(not(initially(f_policyDenied(PolicyDenied_Ret))),
606 []).
607
608
612 613axiom(not(initially(f_policyNotApplicable(PolicyNotApplicable_Ret))),
614 []).
615
616
617% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:249
618%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
619%; FILE: includes/SaaSPatterns/input.e
620%; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
621
622% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:252
623% subject Navas
624% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:253
625==> t(subject,navas).
626
627% object Gloves
628% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:254
629==> t(object,gloves).
630
631% action Get
632% From /opt/logicmoo_workspace/packs_sys/small_adventure_games/prolog/ec_planner/ectest/ec_reader_test_includes.e:255
633==>