public boolean proofStep(ResolutionState state)
    {
        // Flatten the head goal on the disjunction operator to produce a series of choice points.
        Functor goalTerm = state.getGoalStack().poll().getFunctor();

        disjuncts = TermUtils.flattenTerm(goalTerm, Functor.class, state.getInterner().internFunctorName(";", 2));

        return true;
    }
public boolean proofStep(ResolutionState state)
    {
        
        Functor goalTerm = state.getGoalStack().poll().getFunctor();

        disjuncts = TermUtils.flattenTerm(goalTerm, Functor.class, state.getInterner().internFunctorName(";", 2));

        return true;
    }
public boolean proofStep ( ResolutionState state ) { // Flatten the head goal on the disjunction operator to produce a series of choice points. Functor goalTerm = state . getGoalStack ( ) . poll ( ) . getFunctor ( ) ; disjuncts = TermUtils . flattenTerm ( goalTerm , Functor . class , state . getInterner ( ) . internFunctorName ( ";" , 2 ) ) ; return true ; }
{@inheritDoc}
{