无法定义新运营商

Question

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

我试过这个： [用户]。 op（35，xfx，=＆gt;）。 CTRL-d

但得到错误“本机代码程序op / 3无法重新定义（忽略）”

我也尝试过op（35，xfx，'=＆gt;'）。并得到了相同的错误，并试图在不输入[user]的情况下进行。首先，但是当我尝试使用运算符时，我得到了一个exists_error。

Answer 1

是的，你需要运行谓词而不是定义谓词。为此，只需在:-来电之前插入op/3。