SWI-Prolog에 다음과 같이 내가 연산자를 정의

Question

을 어설 션을 실패 =>)/2 '.

모든 솔루션? 그것을해야 파일의 맨 위에

:- dynamic (=>)/2. 

넣어 :

Answer 1

은 보안으로, 당신은 당신이 런타임에 조건을 수정하려고 SWI 경고해야합니다.

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.