Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Turning off warnings in swi-prolog

Tags:

swi-prolog

How Can I turn off warnings in swi-prolog.

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

is very annoying.

like image 604
Juanjo Conti Avatar asked Mar 20 '10 05:03

Juanjo Conti


2 Answers

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).

like image 33
xrdty Avatar answered Oct 15 '22 14:10

xrdty


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:

  • Not contiguous
  • Exceed the maximum number of clauses
like image 96
Kevin Crowell Avatar answered Oct 15 '22 12:10

Kevin Crowell