Turning off warnings in swi-prolog

问题:

How Can I turn off warnings in swi-prolog.

Clauses of XXX/AA are not together in the source-file

is very annoying.

回答1:

Instead, you could fix the warning.

The discontiguous directive is needed when the clauses of a static (compiled) predicate cannot be compiled as a single unit. This happens when the clause definitions are:

• Not contiguous
• Exceed the maximum number of clauses

回答2:

You can turn off these warnings with style_check using :-style_check(-discontiguous)..

For example, you can also put off the warning about singleton variables with :-style_check(-singleton).