SWI-Prolog - Không phù hợp với Khẳng định

Question

tôi xác định một nhà điều hành như sau:

:- op(500, xfx, =>). 

Khi tôi cố gắng một cái gì đó như:

assert(a => b). 

Prolog đặt ra một lỗi mà nói: 'Không có quyền sửa đổi static_procedure (=>)/2 '.

Bất kỳ giải pháp nào?

Answer 1

Là một bảo mật, bạn phải cảnh báo SWI rằng bạn đang đi để sửa đổi một vị ngữ trong thời gian chạy:

:- dynamic (=>)/2. 

đặt ở phía trên cùng của tập tin nên làm điều đó.

Answer 2

Bạn phải có nghĩa là một biểu tượng khác thay cho (=>)/2. Có lẽ (->)/2 là cấu trúc điều khiển không thể sửa đổi được.

 
Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 6.1.3-116-gf1c7e06) 
... 
?- asserta((a -> b)). 
ERROR: asserta/1: No permission to modify static procedure `(->)/2' 
ERROR: Defined at /opt/gupu/pl-devel/lib/swipl-6.1.3/boot/init.pl:194 
?- op(500, xfx, =>). 
true. 

?- asserta(a => b). 
true.