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 に答える