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