Prolog - 变量作为运算符

Question

我有一个运算符存储在变量 Op 中，两个整数存储在 X 和 Y 中。现在，我想做类似 (Z is X Op Y) 的操作，但这种语法似乎不正确。

有谁知道 Prolog 中是否有办法做到这一点？

感谢您的回答

Answer 1

您可以通过使用 =.. 运算符构建谓词来完成此操作。

尝试一下：

compute(X,Y,Op,Z) :-
   Eq=..[Op, X, Y],
   Z is Eq.

运算符实际上就像任何其他函子一样。

Answer 2

您可以模仿效果：

operator(Z,X,plus,Y):-Z is X + Y.  
operator(Z,X,times,Y):-Z is X * Y.

我在 ideone.com 上针对 SWI-Prolog 尝试了以下方法：

OP=times, operator(Z,3,OP,8).

我得到：

OP = times,
Z = 24.