Lines Matching refs:Rule
153 treat(Rule) :-
154 is_rule(Rule),
156 syn_rule(Rule, Syn),
212 syn_rule((Name @ Rule), rule(Kind, Name, Heads, Guard, Body)) :-
214 syn_anonym_rule(Rule, Kind, Heads, Guard, Body).
215 syn_rule(Rule, rule(Kind, Name, Heads, Guard, Body)) :-
218 syn_anonym_rule(Rule, Kind, Heads, Guard, Body).
256 preprocess_rule(rule(replacement, Name, [Head1, Head2], Guard, B), Rule) :-
261 Rule = rule(augmentation, Name, [Head1, Head2], (Guard, G), Body)
264 Rule = rule(replacement, Name, (Head1 \ Head2), (Guard, G), Body)
267 Rule = rule(replacement, Name, (Head2 \ Head1), (Guard, G), Body)
268 ; Rule = rule(replacement, Name, [Head1, Head2], Guard, B)
270 preprocess_rule(Rule, Rule).