问题
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).
来源：https://stackoverflow.com/questions/2482101/turning-off-warnings-in-swi-prolog