关闭swi-prolog中的警告

Question

如何在swi-prolog中关闭警告。

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

非常烦人。

Answer 1

相反，您可以修复警告。

当静态（已编译）谓词的子句无法编译为单个单元时，需要discontiguous directive。当子句定义为：

时会发生这种情况

• 不连续
• 超过条款的最大数量

Answer 2

您可以使用:-style_check(-discontiguous).使用style_check关闭这些警告。

例如，您还可以使用:-style_check(-singleton).

推迟有关单例变量的警告