/** * Outputs this sentence as a string, mainly for debugging purposes. * * @return This sentence as a string, mainly for debugging purposes. */ public String toString() { String bodyString = "["; if (body != null) { for (int i = 0; i < body.length; i++) { bodyString += body[i].toString() + ((i < (body.length - 1)) ? ", " : ""); } } bodyString += "]"; return "Clause: [ head = " + head + ", body = " + bodyString + " ]"; }
/** * Outputs this sentence as a string, mainly for debugging purposes. * * @return This sentence as a string, mainly for debugging purposes. */ public String toString() { String bodyString = "["; if (body != null) { for (int i = 0; i < body.length; i++) { bodyString += body[i].toString() + ((i < (body.length - 1)) ? ", " : ""); } } bodyString += "]"; return "Clause: [ head = " + head + ", body = " + bodyString + " ]"; }
/** {@inheritDoc} */ public String toString(VariableAndFunctorInterner interner, boolean printVarName, boolean printBindings) { String result = ""; if (head != null) { result += head.toString(interner, printVarName, printBindings); } if (body != null) { result += isQuery() ? "?- " : " :- "; for (int i = 0; i < body.length; i++) { result += body[i].toString(interner, printVarName, printBindings) + ((i < (body.length - 1)) ? ", " : ""); } } return result; } }
/** {@inheritDoc} */ public String toString(VariableAndFunctorInterner interner, boolean printVarName, boolean printBindings) { String result = ""; if (head != null) { result += head.toString(interner, printVarName, printBindings); } if (body != null) { result += isQuery() ? "?- " : " :- "; for (int i = 0; i < body.length; i++) { result += body[i].toString(interner, printVarName, printBindings) + ((i < (body.length - 1)) ? ", " : ""); } } return result; } }