defaultGroundQueriesHaveBooleanSolutionIsOff
Tests that it.unibo.tuprolog.solve.flags.GroundQueriesHaveBooleanSolution's default value is off, and that the query
?- current_flag(ground_queries_have_boolean_solution, off).Content copied to clipboard
succeeds on a solver initialized with default built-ins.