无法定义新运营商

use*_*117 3 prolog

我正在尝试定义一个中缀运算符,但我一直在收到错误.我正在使用GNU Prolog 1.4.

我试过这个:[用户].op(35,xfx,=>). CTRL-d

但得到错误"本机代码过程op/3无法重新定义(忽略)"

我也试过op(35,xfx,'=>').并得到了相同的错误,并试图在不输入[user]的情况下进行.首先,但是当我尝试使用运算符时,我得到了一个exists_error.

m09*_*m09 5

是的,您需要运行谓词而不是定义谓词.要做到这一点,只需:-op/3通话前插入即可.