of
fun of(termFormatter: TermFormatter = TermFormatter.prettyExpressions(), groundQueriesHaveBooleanSolution: Boolean = false): SolutionFormatter
Creates a SolutionFormatter rendering terms with termFormatter (defaults to pretty-printed expressions). When groundQueriesHaveBooleanSolution is true, a yes solution to a ground query (no variables at all) is rendered simply as yes., rather than repeating the (identical) solved query.