lojix/prolog/src/main/com/thesett/aima/logic/fol/prolog/PrologResolver.java
public ResolutionState search() throws SearchNotExhaustiveException
    {
        SearchNode<ResolutionState, ResolutionState> path = findGoalPath();

        if (path != null)
        {
            return path.getState();
        }
        else
        {
            return null;
        }
    }
public ResolutionState search() throws SearchNotExhaustiveException
    {
        SearchNode<ResolutionState, ResolutionState> path = findGoalPath();

        if (path != null)
        {
            return path.getState();
        }
        else
        {
            return null;
        }
    }
{@inheritDoc}