6
Cómo puedo apagar las advertencias en SWI-Prolog.Desactivación de advertencias en SWI-Prolog
Clauses of XXX/AA are not together in the source-file
es muy molesto.
A
Respuesta
10
lugar, usted podría fijar la advertencia.
se necesita la discontiguous directive cuando las cláusulas de un predicado estático (compilado) no pueden ser compilados como una sola unidad. Esto sucede cuando las definiciones cláusula son:
- No contigua
- exceder el número máximo de cláusulas
2
Puede desactivar estas advertencias con style_check usando :-style_check(-discontiguous)..
Por ejemplo, también se puede poner fuera de la advertencia sobre las variables simples con :-style_check(-singleton).
Cuestiones relacionadas
- 1. Mensajes de desactivación de PHP 5.3 que aparecen como advertencias
- 2. Desventaja 2.0 'layout_by_resource' advertencias de desactivación al ejecutar las especificaciones
- 3. Xcode/iOS: ¿se deshace de las advertencias de desactivación de las constantes específicas?
- 4. desactivación de Spinner en Android
- 5. Desactivación de prueba de producción en TestNG
- 6. enlaces Desactivación con jQuery
- 7. desactivación de la animación GIF en HTML
- 8. Desactivación de la tala en paramiko
- 9. Desactivación de esquematización automática en Visual Studio
- 10. Desactivación dígitos agrupar en un JSpinner
- 11. La desactivación del comando cat
- 12. Desactivación de Área de texto de CSS
- 13. Desactivación Xdebug de vertido de excepciones atrapados
- 14. iCloud: ¿cómo gestionar la desactivación de iCloud?
- 15. Desactivación transitoria a precios de modo
- 16. Advertencia de desactivación de Eclipse para la carpeta de generación de fuente automática
- 17. Detectar bloqueo/desactivación de mayúsculas mediante jQuery
- 18. Activación/desactivación del reactivación de voltajes
- 19. desactivación de vista con en acción en ZF2
- 20. Ubicación de salida de advertencias no agregadas de cerdo?
- 21. Desactivación de clasificación en tablas de datos no funciona
- 22. botones de desactivación de un problema en C#
- 23. Desactivación de la selección de texto en DocumentViewer
- 24. Linq advertencias
- 25. Cómo advertir acerca de la desactivación de clase (nombre)
- 26. ¿Cómo manejar las funciones de desactivación en la biblioteca?
- 27. Desactivación de la validación del certificado SSL en Spring RestTemplate
- 28. Desactivación de verificación IP spoofing en Rails 3 aplicación
- 29. Magento: módulo de desactivación para cualquier tienda en particular
- 30. Desactivación de constructores en línea con MooseX :: Declarar
En qué sistema qué sucede esto cuando se alcanza el número máximo de cláusulas? Nunca escuché de eso. – false
@false Ya no creo que sea un problema, pero hace mucho tiempo SWI Prolog, al menos, tenía este problema. –
Esta pregunta aún no ha sido respondida. ¿Es posible desactivar todas las advertencias en SWI-Prolog para que solo se muestren los errores? –