在Prolog中如何定义自定义运算符

在Prolog中，可以使用op/3指令来定义自定义运算符。op/3指令接受三个参数，分别是优先级、结合性和运算符的名称。例如，可以使用以下指令在Prolog中定义一个新的二元运算符"plus"：

op(500, xfx, plus).

上述指令表示定义了一个优先级为500、结合性为xfx（表示二元运算符）的运算符"plus"。定义完运算符后，就可以在Prolog程序中使用该运算符进行计算。例如：

1 plus 2.

将会得到结果3。