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).
Problemi correlati
- 1. Soppressione degli avvisi PDO
- 2. Avvisi di disattivazione del silenziamento in Rails 3
- 3. UITest degli avvisi in xCode 7.1
- 4. Finestra di dialogo degli avvisi in Android
- 5. Abilitazione degli avvisi di migrazione
- 6. Disattivazione del blocco degli account con SqlMembershipProvider
- 7. Dimensioni della finestra di dialogo degli avvisi o degli avvisi personalizzati
- 8. Come sbarazzarsi degli avvisi degli utenti di BeautifulSoup?
- 9. Soppressione degli avvisi LINQ to SQL DBML
- 10. Eliminazione corretta degli avvisi nei DataTable?
- 11. Dov'è la visualizzazione degli avvisi in Android Studio?
- 12. Gestione degli avvisi in Selenium WebDriver (selenium 2) con Java
- 13. Disabilita il controllo degli errori e degli avvisi in tempo reale in Eclipse
- 14. Perché la disattivazione degli interrupt è necessaria qui?
- 15. Disattivazione dell'animazione in ViewPager
- 16. Disattivazione registrazione in paramiko
- 17. Disattivazione Firefox Avviso di protezione
- 18. La finestra di dialogo degli avvisi non viene visualizzata
- 19. Soppressione degli avvisi di "funzione inutilizzata" di Erlang
- 20. pulsante Rilevamento premuto quando ci sono più visualizzazioni degli avvisi
- 21. Soppressione degli avvisi Java non selezionati nei file JSP
- 22. Aggiunta di EditText alla finestra di dialogo degli avvisi.
- 23. disattivazione delle conseguenze CLANG_ENABLE_MODULE_DEBUGGING
- 24. Disattivazione dell'animazione GIF in HTML
- 25. Attivazione/Disattivazione NSLayoutConstraints in InterfaceBuilder
- 26. Disattivazione della manipolazione URL in AngularJS
- 27. Problema durante la disattivazione degli iteratori verificati in SP200 vs2008 (_HAS_ITERATOR_DEBUGGING = 0)
- 28. Disattivazione degli indici di rinnovo automatico su un dispositivo iOS in sandbox
- 29. Disattivare gli avvisi del compilatore per riga
- 30. Avvisi/avvisi di nullpointer in studio Android nella vista codice
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? –