8

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

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

很烦人。

4

2 回答 2

11

相反，您可以修复警告。

当静态（已编译）谓词的子句不能作为单个单元编译时，需要使用不连续指令。当子句定义为：

  • 不连续
  • 超过最大子句数
于 2010-03-20T06:07:55.070 回答
5

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

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

于 2016-12-05T19:51:27.840 回答