小编Nik*_*rin的帖子

我尝试使用 . 在文件中定义运算符op/3。像这样

is_in(Thing, Place):-
  location(Thing, Place).

op(35, xfx, is_in).

但是当我consult/1提交 repl 时，出现异常

No permission to modify static procedure `op/3'

我尝试使用dynamic指令，但它会导致相同的错误。

在 repl 中执行op(35, xfx, is_in).有效。