/*
 * @(#)$Id: base_case,v 1.2 1997/04/07 10:34:48 img Exp $
 *
 * $Log: base_case,v $
 * Revision 1.2  1997/04/07 10:34:48  img
 * Allow branching proofs via repeat methodical
 *
 * Revision 1.1  1994/09/16 09:33:29  dream
 * Initial revision
 */

method(base_case(SubPlan),
       HG,
       [repeat([HG],
               Goal :=> SubGoals,
               Method,
               (member(Method, [elementary(_), sym_eval(_)]),
                applicable_submethod(Goal, Method, _, SubGoals)),
        [SubPlan],
        SubGoals
       ),!,
       SubPlan \= idtac ],
    [],
    SubGoals,
    SubPlan).
