6
Làm cách nào để tắt cảnh báo bằng swi-prolog.Tắt cảnh báo trong swi-prolog
Clauses of XXX/AA are not together in the source-file
rất khó chịu.
A
Trả lời
10
Thay vào đó, bạn có thể khắc phục cảnh báo.
Cần có discontiguous directive khi các mệnh đề của thuộc tính tĩnh (được biên dịch) không thể được biên dịch thành một đơn vị duy nhất. Điều này xảy ra khi các định nghĩa khoản là:
- Không tiếp giáp
- Exceed số lượng tối đa các khoản
2
Bạn có thể tắt những cảnh báo với style_check sử dụng :-style_check(-discontiguous)..
Ví dụ, bạn cũng có thể đặt ra các cảnh báo về biến singleton với :-style_check(-singleton).
Trong đó hệ thống điều này xảy ra khi số lượng tối đa các điều khoản được đạt tới? Chưa từng nghe về nó. – false
@false Tôi không nghĩ rằng đó là một vấn đề nữa, nhưng một thời gian dài trước đây SWI Prolog, ít nhất, đã có vấn đề này. –
Câu hỏi này vẫn chưa được trả lời. Có thể tắt tất cả cảnh báo trong SWI-Prolog để chỉ các lỗi được hiển thị không? –