Prolog 定义新运算符时遇到问题

Prolog 定义新运算符时遇到问题,prolog,Prolog,我试图定义一个中缀运算符,但我不断出错。我正在使用GNU Prolog 1.4 我试过这个: [用户]。 op(35,xfx,=>)。 ctrl-D 但出现错误“无法重新定义(忽略)本机代码过程op/3” 我还尝试了op(35,xfx,'=>')。并得到相同的错误,并尝试在不键入[user]的情况下执行此操作。首先,但当我试图实际使用运算符时,我得到了一个存在错误。是的,您需要运行谓词,而不是定义它。要做到这一点,只需在调用op/3之前插入:-

我试图定义一个中缀运算符,但我不断出错。我正在使用GNU Prolog 1.4

我试过这个: [用户]。 op(35,xfx,=>)。 ctrl-D

但出现错误“无法重新定义(忽略)本机代码过程op/3”


我还尝试了op(35,xfx,'=>')。并得到相同的错误,并尝试在不键入[user]的情况下执行此操作。首先,但当我试图实际使用运算符时,我得到了一个存在错误。

是的,您需要运行谓词,而不是定义它。要做到这一点,只需在调用
op/3
之前插入
:-