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

Question

我刚刚在如何统一Prolog中的术语运算符？<中提出了问题/a> 并得到了很好的答案。

但是，它并没有完全解决我的问题，即 =.. 仅适用于单面。

例如，

test(Expr) :-
  1 + 2 = Expr.
test(Expr) :-
  1 * 2 = Expr.

?- E =.. [Op, X, Y], test(E). % E can not be a variable!
ERROR: Arguments are not sufficiently instantiated

我希望查询返回

Op = (+),
X = 1,
Y = 2;
Op = (*),
X = 1,
Y = 2.

非常感谢。

Answer 1

expr_op_x_y(Expr, Op, X, Y) :-
   when((nonvar(Expr) ; nonvar(Op)), Expr =.. [Op, X, Y]).

?- expr_op_x_y(Expr, Op, X, Y).
   when((nonvar(Expr);nonvar(Op)),Expr=..[Op,X,Y]).
?- expr_op_x_y(Expr, Op, X, Y), Op = (+).
   Expr = X+Y, Op = (+).
?- expr_op_x_y(Expr, Op, X, Y), Expr = 1+2.
   Expr = 1+2, Op = (+), X = 1, Y = 2.

由于完全历史的原因，这也可以称为Boomy Univ。