关闭 swi-prolog 中的警告
如何关闭 swi-prolog 中的警告。
Clauses of XXX/AA are not together in the source-file
很烦人。
How Can I turn off warnings in swi-prolog.
Clauses of XXX/AA are not together in the source-file
is very annoying.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
相反，您可以修复该警告。
当静态（已编译）的子句时，需要 不连续指令 ) 谓词不能编译为单个单元。当子句定义为以下情况时会发生这种情况：
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:
您可以使用
通过 style_check 关闭这些警告： -style_check(-不连续)。。例如，您还可以使用
:-style_check(-singleton) 推迟有关单例变量的警告。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).