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);
    }
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}
{