我正在尝试定义一个中缀运算符，但我不断收到错误消息。我正在使用 GNU Prolog 1.4。
我试过这个:
[用户]。
操作(35，xfx，=>)。
Ctrl-D
但得到错误“ native 代码过程 op/3 无法重新定义(忽略)”
我也试过 op(35, xfx, '=>')。并得到相同的错误，并尝试在不输入 [user] 的情况下执行此操作。首先，但是当我尝试实际使用该运算符时，我得到了一个存在错误。
最佳答案
是的，您需要运行谓词而不是定义它。为此，只需在 :- 调用之前插入 op/3。
关于prolog - 定义新运算符时遇到问题，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/9321277/