lojix/logic/src/main/com/thesett/aima/logic/fol/interpreter/ResolutionEngine.java
public String printSolution(Map<String, Variable> variables)
    {
        String result = "";

        for (Map.Entry<String, Variable> entry : variables.entrySet())
        {
            result += printVariableBinding(entry.getValue()) + "\n";
        }

        return result;
    }
public String printSolution(Map<String, Variable> variables)
    {
        String result = "";

        for (Map.Entry<String, Variable> entry : variables.entrySet())
        {
            result += printVariableBinding(entry.getValue()) + "\n";
        }

        return result;
    }
public String printSolution ( Map < String , Variable > variables ) { String result = "" ; for ( Map . Entry < String , Variable > entry : variables . entrySet ( ) ) { result += printVariableBinding ( entry . getValue ( ) ) + "\n" ; } return result ; }
Prints all of the logic variables in the results of a query.

@param  variables An iterable over the variables in the solution.

@return All the variables printed as a string, one per line.
Prints all of the logic variables in the results of a query .