SWI-Prologの - 次のように私はオペレータを定義

Question

をアサートに失敗：私はのような何かをしようとすると

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

：

assert(a => b). 

プロローグは（「static_procedureを変更するには、no許可を言わないエラーが発生します=>）/ 2 'である。

セキュリティとして

Answer 1

、あなたは、実行時に述語を変更しようとしているSWIを警告する必要があります。ファイルの先頭に置く

:- dynamic (=>)/2. 

はそれを行う必要があります。

Answer 2

(=>)/2の代わりに別の記号を使用しているに違いありません。おそらく(->)/2は、改変することができない対照構築物である。

 
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.