Method oneSolution

src/main/java/org/jpl7/Query.java:867–880

Returns the first solution, if any, as a (possibly empty) Map of variablename-to-term bindings, else null. This method will throw a JPLException if this Query is already open (and the Query will remain open as before). Otherwise, upon return, the Query will be closed. @return the first solution, i

()

	 *         no solutions.
	 */
	public final Map<String, Term> oneSolution() {
		if (open) {
			throw new JPLException("Query is already open");
		} else {
			Map<String, Term> solution;
			if (hasMoreSolutions()) {
				solution = nextSolution();
				close(); // safe, whether or not this is the only solution
			} else {
				solution = null;
			}
			return solution;
		}
	}

	/**
	 * This static method creates a Query (whose goal is the specified Term) and