公告
财富商城
积分规则
提问
发文
2019-04-26 16:41发布
贼婆χ
How Can I turn off warnings in swi-prolog.
Clauses of XXX/AA are not together in the source-file
is very annoying.
Instead, you could fix the warning.
The discontiguous directive is needed when the clauses of a static (compiled) predicate cannot be compiled as a single unit. This happens when the clause definitions are:
You can turn off these warnings with style_check using :-style_check(-discontiguous)..
:-style_check(-discontiguous).
For example, you can also put off the warning about singleton variables with :-style_check(-singleton).
:-style_check(-singleton).
最多设置5个标签!
Instead, you could fix the warning.
The discontiguous directive is needed when the clauses of a static (compiled) predicate cannot be compiled as a single unit. This happens when the clause definitions are:
You can turn off these warnings with style_check using
:-style_check(-discontiguous).
.For example, you can also put off the warning about singleton variables with
:-style_check(-singleton).