swi-prolog で警告をオフにするにはどうすればよいですか。
Clauses of XXX/AA are not together in the source-file
非常に迷惑です。
swi-prolog で警告をオフにするにはどうすればよいですか。
Clauses of XXX/AA are not together in the source-file
非常に迷惑です。
代わりに、警告を修正できます。
不連続ディレクティブは、静的 (コンパイル済み) 述語の句を単一のユニットとしてコンパイルできない場合に必要です。これは、句の定義が次の場合に発生します。
を使用してstyle_checkでこれらの警告をオフにすることができます:-style_check(-discontiguous).
。
たとえば、シングルトン変数に関する警告を延期することもできます:-style_check(-singleton).