lojix/prolog/src/main/com/thesett/aima/logic/fol/prolog/PrologResolver.java
public Iterator<Set<Variable>> iterator()
    {
        // Find all free variables in the query.
        final Set<Variable> freeVars = TermUtils.findFreeNonAnonymousVariables(currentQuery);

        Function<ResolutionState, Set<Variable>> listFunction =
            new Function<ResolutionState, Set<Variable>>()
            {
                public Set<Variable> apply(ResolutionState state)
                {
                    return freeVars;
                }
            };

        return new Filterator<ResolutionState, Set<Variable>>(Searches.allSolutions(this), listFunction);
    }
public Iterator<Set<Variable>> iterator()
    {
        // Find all free variables in the query.
        final Set<Variable> freeVars = TermUtils.findFreeNonAnonymousVariables(currentQuery);

        Function<ResolutionState, Set<Variable>> listFunction =
            new Function<ResolutionState, Set<Variable>>()
            {
                public Set<Variable> apply(ResolutionState state)
                {
                    return freeVars;
                }
            };

        return new Filterator<ResolutionState, Set<Variable>>(Searches.allSolutions(this), listFunction);
    }
{@inheritDoc}