lojix/prolog/src/main/com/thesett/aima/logic/fol/prolog/builtins/Disjunction.java
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)
    {
        // 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}