Lines Matching refs:Type
452 rule_type((_H==>_B), Type) ?- !, Type = propagation.
453 rule_type((H<=>_B), Type) ?-
455 Type = simpogation ; Type = simplification.
1421 single_simpogation(KHeadsL, DHeadsL, Body, InvBody, Type, Module),
1422 simpogation_action(Type, Rule, KHeadsL0, KHeadsL, DHeadsL0, DHeadsL, Body,
1543 single_simpogation([KH], [DH], Body, NBody, Type, Module) :-
1548 Type = nobody
1550 ; Type = twobodies,
1557 single_simpogation(_, _, _, _, Type, _M) :- Type = not_reducible.