Отключение предупреждений в swi-прологе

Question

Как отключить предупреждения в swi-прологе.

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

очень раздражает.

Answer 1

Вместо этого вы можете исправить предупреждение.

Отдельная директива необходима, когда предложения статического (скомпилированного) предиката не могут быть скомпилированы как единое целое. Это происходит, когда определения предложения:

• Не смежно
• Превышено максимальное количество пунктов

Answer 2

Вы можете отключить эти предупреждения с помощью style_check , используя :-style_check(-discontiguous)..

Например, вы также можете отменить предупреждение о одноэлементных переменных с помощью :-style_check(-singleton).