如何在Prolog中统一术语运算符？

Question

例如，我可以在SWI-Prolog中统一操作数：

?- +(X,Y) = 1 + 2.
X = 1,
Y = 2.

但是如何统一操作员？

?- Op(X,Y) = 1 + 2.
ERROR: Syntax error: Operator expected

我希望Prolog回来

X = 1,
Y = 2,
Op = +.

谢谢。

Answer 1

您统一条款。 +（1,2）和1 + 2都是同一术语。
您可以使用大学谓词（= ..）分解这样的术语：

?- 1+2 =.. [Op, X, Y].
Op =  (+),
X = 1,
Y = 2.