存在算术运算符时 prolog 中的统一行为
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 版本。
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.
I was expecting
13 ?- 3+4*5 = X*Y.
X = 3+4, Y = 5.
16 ?- 3*4+5 = X*Y.
X = 3, Y = 4+5.
Is there some "precedence" problem? I'm using the last swi-prolog release.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
是的，您需要考虑一个优先级问题。
Prolog 为每个定义的运算符附加一个数字优先级值，以便其解析可以自动处理（例如，3+4*5），就像使用括号来表示 3+(4*5) 一样。
因此，您的第一个示例按预期工作，但第二个或第三个示例则不然。根本没有办法统一这些术语，因此 Prolog 返回 false。
Yes, there is a precedence issue that you need to take into account.
Prolog attaches a numeric precedence value to each operator defined, so that its parse can automatically treat, e.g., 3+4*5 the same as if parentheses had been used to state 3+(4*5).
So your first example worked as expected, but not the second or third. There was simply no way to unify the terms, so Prolog returned false.
是的，与此有关
每个运算符都有优先级。 + 的优先级为 500，* 的优先级为 400
Yes, it's something about it
Each operator have Precedence. the precedence of + is 500, and the precedence of * 400