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);
    }
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'.
Prints a variable binding in the form Var = value .