prolog - 无法定义新运算符

Question

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

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

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

我也试过 op(35, xfx, '=>')。并得到同样的错误，并尝试在不输入 [user] 的情况下进行操作。首先，但是当我尝试实际使用运算符时，我得到了一个 existence_error。

Answer 1

是的，您需要运行谓词而不是定义它。为此，只需在 op/3 调用之前插入 :-。