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