关闭swi-prolog中的警告

Question

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

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

很烦人

Answer 1

相反,您可以修复警告.

当静态(已编译)谓词的子句无法编译为单个单元时,需要使用不连续的指令.当子句定义为:

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

Answer 2

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

例如，您还可以使用以下命令推迟有关单例变量的警告:-style_check(-singleton).