Turning off warnings in swi-prolog

2019-04-26 16:41发布

How Can I turn off warnings in swi-prolog.

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

is very annoying.

标签: prolog
2条回答
Bombasti
2楼-- · 2019-04-26 16:46

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
查看更多
戒情不戒烟
3楼-- · 2019-04-26 16:59

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).

查看更多
登录 后发表回答