SWI-Prolog - 无法断言

Question

我定义一个运算符如下:

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

当我尝试这样的事情:

assert(a => b).

Prolog引发了一个错误,上面写着"无权修改static_procedure(=>)/ 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.