Turning off warnings in swi-prolog

Question

How Can I turn off warnings in swi-prolog.

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

is very annoying.

Kuvasz

Answer 1

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

Alizaalizarin

In which system does this happen when the maximum number of clauses is reached? Never heard of that. – Kort

@Kort I don't think it is a problem anymore, but a long time ago SWI Prolog, at least, had this problem. – Alizaalizarin

This question is still unanswered. Is it possible to turn off all warnings in SWI-Prolog so that only the errors are shown? – Sympathizer

@AndersonGreen yes, with style_check – Mir

Answer 2

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

Mir