lojix/logic/src/main/com/thesett/aima/logic/fol/interpreter/ResolutionEngine.java
public String printVariableBinding(Term var)
    {
        return var.toString(getInterner(), true, false) + " = " + var.getValue().toString(getInterner(), false, true);
    }
public String printVariableBinding(Term var)
    {
        return var.toString(getInterner(), true, false) + " = " + var.getValue().toString(getInterner(), false, true);
    }
Prints a variable binding in the form 'Var = value'.

@param  var The variable to print.

@return The variable binding in the form 'Var = value'.