Method nextSolution

src/main/java/org/jpl7/Query.java:499–505

This method returns a java.util.Map, which represents a binding from the names of query variables to terms within the next solution. For example, if a Query has an occurrence of a jpl.Variable, say, named "X", one can obtain the Term bound to "X" in the solution by looking up "X" in the Map. <p

()

	 *  @throws NoSuchElementException if there are no more new solutions.
	 */
	public final Map<String, Term> nextSolution() {
        if (hasMoreSolutions()) {
            hasNextSolution = null; // we reset this as we moved the pointer (we now do not know if there is a new one)
            return getCurrentSolutionBindings();
        } else
            throw new NoSuchElementException("Query has already yielded all solutions");
	}

	private Map<String, Term> getCurrentSolutionBindings() {
		if (!open) {