6
Come posso disattivare gli avvisi in swi-prolog.Disattivazione degli avvisi in swi-prolog
Clauses of XXX/AA are not together in the source-file
è molto fastidioso.
A
risposta
10
Invece, è possibile correggere l'avviso.
Il discontiguous directive è necessario quando le clausole di un predicato statico (compilato) non possono essere compilate come una singola unità. Questo accade quando le definizioni di clausola sono:
- Non contiguo
- superare il numero massimo di clausole
2
È possibile disattivare questi avvisi con style_check utilizzando :-style_check(-discontiguous)..
Ad esempio, si può anche mettere fuori l'avviso sulle variabili Singleton con :-style_check(-singleton).
in cui il sistema accade questo quando viene raggiunto il numero massimo di clausole? Non ne ho mai sentito parlare. – false
@false Non penso che sia più un problema, ma molto tempo fa SWI Prolog, almeno, aveva questo problema. –
Questa domanda è ancora senza risposta. È possibile disattivare tutti gli avvisi in SWI-Prolog in modo che vengano visualizzati solo gli errori? –