9.10.1.5 Warnings about possible goal incorrectness

--no-warn-singleton-variables

--no-warn-singleton-vars

Do not warn about variables which only occur once in a clause, but whose names do not start with an underscore.

--no-warn-repeated-singleton-variables

--no-warn-repeated-singleton-vars

Do not warn about variables which occur more than once in a clause, but whose names do start with an underscore.

--no-warn-unification-cannot-succeed

Do not warn about unifications which cannot succeed.

--no-warn-known-bad-format-calls

Do not warn about calls to string.format, io.format, or stream.string_writer.format that contain mismatches between the format string and the supplied values.

--no-warn-obsolete

Do not warn about calls to predicates and functions that have been marked as obsolete.

--no-warn-overlapping-scopes

Do not warn about variables which occur in overlapping scopes.

--no-warn-suspected-occurs-check-failure

--no-warn-suspected-occurs-failure

Do not warn about code that looks like it unifies a variable with a term that contains that same variable. Such code cannot succeed because it fails the test called the occurs check.

--warn-suspicious-recursion

Warn about recursive calls which are likely to have problems, such as leading to infinite recursion.

--warn-unused-args

Warn about predicate or function arguments which are not used.