How Can I turn off warnings in swi-prolog.
Clauses of XXX/AA are not together in the source-file
is very开发者_C百科 annoying.
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
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).
精彩评论