prolog - 由于 ** 和 ^ 的运算符优先级不同，导致轻微不一致

Question

为什么 **/2 的参数优先( xfx ) 和 (^)/2 ( xfy ) 在 Prolog 中不一样？

这会导致轻微的不一致，例如:

?- X = 1, Y is 1 ^ -X.
X = Y, Y = 1.

和:

?- Y is 1 ** -1.
Y = 1.

但:

?- X = 1, Y is 1 ** -X.
ERROR: Syntax error: Operator priority clash
ERROR: X = 1, Y is 1 *
ERROR: ** here **
ERROR: * -X .

Answer 1

@false回答了你的第一个问题。

您给出的示例是由于以下差异:

?- integer(-1).
true.

?- X = 1, integer(-X).
false.

以及以下优先级:

?- current_op(X, xfx, **).
X = 200.

?- current_op(X, fy, -).
X = 200.