Method hasSolution

src/main/java/org/jpl7/Query.java:949–951

This method will attempt to call this Query's goal within an available Prolog engine. @return the provability of the Query, i.e. 'true' if it has at least one solution, 'false' if the call fails without finding a solution. Only the first solution (if there is one) will

()

	 *         open.
	 */
	public final boolean hasSolution() {
		return oneSolution() != null;
	}

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