lojix/prolog/src/main/com/thesett/aima/logic/fol/prolog/builtins/Cut.java
public boolean proofStep(ResolutionState state)
    {
        if (TRACE)
        {
            /*trace.fine(state.getTraceIndenter().generateTraceIndent() + "Cutting choice points...");*/
        }

        Queue<ResolutionState> choicePointStates = parentChoicePointState.getChoicePoints();

        if (choicePointStates != null)
        {
            for (ResolutionState choicePointState : choicePointStates)
            {
                choicePointState.cut();
            }
        }

        state.getGoalStack().poll();

        return true;
    }
public boolean proofStep(ResolutionState state)
    {
        if (TRACE)
        {
            /*trace.fine(state.getTraceIndenter().generateTraceIndent() + "Cutting choice points...");*/
        }

        Queue<ResolutionState> choicePointStates = parentChoicePointState.getChoicePoints();

        if (choicePointStates != null)
        {
            for (ResolutionState choicePointState : choicePointStates)
            {
                choicePointState.cut();
            }
        }

        state.getGoalStack().poll();

        return true;
    }
{@inheritDoc}