Method toString

src/main/java/org/jpl7/Query.java:1010–1012

Returns a crude String representation of a Query. @return a crude String representation of a Query

()

	 * @return a crude String representation of a Query
	 */
	public String toString() {
		return goal_.name() + "( " + Term.toString(goal_.args()) + " )";
	}
}