prolog - 在存在算术运算符的情况下序言中的统一行为

Question

12 ?- 3+4*5 = X+Y.
X = 3,
Y = 4*5.

13 ?- 3+4*5 = X*Y.
false.

16 ?- 3*4+5 = X*Y.
false.

我期待

13 ?- 3+4*5 = X*Y.
X = 3+4, Y = 5.

16 ?- 3*4+5 = X*Y.
X = 3, Y = 4+5.

是否存在一些“优先级”问题？我正在使用最后一个 swi-prolog 版本。

score 3 · Accepted Answer

是的，您需要考虑一个优先级问题。

Prolog 将数字优先级值附加到每个定义的运算符，以便其解析可以自动处理，例如，3+4*5，就像括号用于状态 3+(4*5) 一样。

所以你的第一个例子按预期工作，但不是第二个或第三个。根本没有办法统一条款，所以 Prolog 返回 false。

score 1 · Accepted Answer

是的，这是关于它的东西

2 回答 2