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;
    }
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.