Method toString

src/main/java/org/jpl7/Util.java:84–87

Converts a substitution, in the form of a Map from variable names to Terms, to a String. @param varnames_to_Terms A Map from variable names to Terms. @return String A String representation of the variable bindings @deprecated Use Util#subsToString(Map)

(Map<String, Term> varnames_to_Terms)

	 * @deprecated Use {@link Util#subsToString(Map)}
	 */
	@Deprecated
	public static String toString(Map<String, Term> varnames_to_Terms) {
		return subsToString(varnames_to_Terms);
	}

	/**
	 * Converts a (JPL) list of Name=Var pairs (as yielded by atom_to_term/3) to a Map from Prolog variables