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

        for (Variable var : solution)
        {
            result += printVariableBinding(var) + "\n";
        }

        return result;
    }
public String printSolution(Iterable<Variable> solution)
    {
        String result = "";

        for (Variable var : solution)
        {
            result += printVariableBinding(var) + "\n";
        }

        return result;
    }
Prints all of the logic variables in the results of a query.

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

@return All the variables printed as a string, one per line.