Lines Matching refs:Rule
235 !, %%% Rule already used with this partner
435 double_rule(Head1, Head2, Kind, Guard, Body, Rule),
438 printf(debug_output, "%s: %p\n", [Name, Rule])
459 double_rule(Head1, Head2, Kind, Guard, Body, Rule) :-
464 Rule = (Head1, Head2 <=> G | B).
465 double_rule(Head1, Head2, Kind, Guard, Body, Rule) :-
468 Rule = (Head1, Head2 ==> Guard | Body)
471 Rule = (Head1, Head2 <=> Guard | Body)
474 Rule = (Head1 \ Head2 <=> Guard | Body)
477 Rule = (Head1 \ Head2 <=> Guard | Body)