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