/*
 * @(#)$Id: post_ripple_normalize,v 1.1.2.1 1999/02/01 10:26:25 rjb Exp $
 *
 * $Log: post_ripple_normalize,v $
 * Revision 1.1.2.1  1999/02/01 10:26:25  rjb
 * Support for proof planning with multi-predicate induction schemes.
 *
 */

method(post_ripple_normalize(SubPlan),
       H==>G,
       [strip_meta_annotations(G,UnannG),
        repeat([H==>UnannG],
               Goal :=> SubGoals,
               Method,
               (member(Method,[normalize_term(_)]),
                applicable_submethod(Goal, Method, _, SubGoals)),
               [SubPlan],
               SubGoals
              ), !,
        SubPlan \= idtac],
       [],
       SubGoals,
       SubPlan).
