6
Wie kann ich Warnungen in swi-prolog ausschalten?Warnungen in swi-prolog ausschalten
Clauses of XXX/AA are not together in the source-file
ist sehr nervig.
A
Antwort
10
Stattdessen könnten Sie die Warnung beheben.
Die discontiguous directive wird benötigt, wenn die Klauseln eines statischen (kompilierten) Prädikats nicht als eine Einheit kompiliert werden können. Dies geschieht, wenn die Klausel Definitionen sind:
- Nicht zusammenhängende
- Exceed die maximale Anzahl der Klauseln
2
Sie können diese Warnungen mit style_check mit :-style_check(-discontiguous). auszuschalten.
Zum Beispiel können Sie beiseite legen auch die Warnung über Singletons Variablen mit :-style_check(-singleton).
Verwandte Themen
- 1. Poltergeist - Ausschalten JQMIGRATE Warnungen
- 2. Poltergeist - Ausschalten JQMIGRATE Warnungen
- 3. Ausschalten android.permission.INTERNET in CodenameOne
- 4. Ausschalten in mule
- 5. Lichter ausschalten
- 6. Animation in HighCharts global ausschalten
- 7. Animationen in Capybara-Tests ausschalten
- 8. Automatische Vervollständigung in PhpStorm ausschalten
- 9. Ausschalten der Dateiüberwachung in Meteor
- 10. Wie Schnipsel in Atom ausschalten?
- 11. Ausschalten Tick Marks in Bokeh
- 12. iPhone: Wie kann ich das iPhone ausschalten/ausschalten/Ereignis/Benachrichtigung ausschalten?
- 13. Warnungen in android Eklipse
- 14. Warnungen in iphone sdk
- 15. Tomcat-Protokollierung ausschalten
- 16. Ausschalten eines ExecutorService
- 17. Ausschalten Jersey Protokollierung programmatisch
- 18. MouseWheelZoom ein- und ausschalten
- 19. Stemming ein-/ausschalten
- 20. Programmatisch Android-Telefon ausschalten
- 21. SendKeys.Send und Schlüsselmodifikatoren ausschalten
- 22. Phonegap ein-/ausschalten Lichtbild
- 23. youtube-Prozess ausschalten
- 24. Gogs ausschalten CRON Jobs
- 25. Ausschalten von CLANG_ENABLE_MODULE_DEBUGGING Konsequenzen
- 26. Windows-Box ausschalten C#
- 27. Ein-/Ausschalten des Monitors
- 28. Jquery ein- und ausschalten
- 29. Ausschalten von ConfigurationItems
- 30. Einen Objekt-Prototyp ausschalten
In dem System geschieht dies, wenn die maximale Anzahl von Klauseln erreicht ist? Noch nie davon gehört. – false
@false Ich glaube nicht, dass es ein Problem mehr ist, aber vor langer Zeit hatte SWI Prolog zumindest dieses Problem. –
Diese Frage ist noch unbeantwortet. Ist es möglich, alle Warnungen in SWI-Prolog auszuschalten, so dass nur die Fehler angezeigt werden? –