lojix/wam_prolog/src/main/com/thesett/aima/logic/fol/wam/nativemachine/WAMResolvingNativeMachine.java
public Iterator<Set<Variable>> iterator()
    {
        return new SequenceIterator<Set<Variable>>()
            {
                public Set<Variable> nextInSequence()
                {
                    return resolve();
                }
            };
    }
public Iterator<Set<Variable>> iterator()
    {
        return new SequenceIterator<Set<Variable>>()
            {
                public Set<Variable> nextInSequence()
                {
                    return resolve();
                }
            };
    }
Provides an iterator that generates all solutions on demand as a sequence of variable bindings.

@return An iterator that generates all solutions on demand as a sequence of variable bindings.