Prolog CAS的第一步[序言]

我尝试运行以下代码：

eq(mul(a,b),mul(c,b)).
eq(X,Y) :- eq(mul(X,Z),mul(Y,Z))

带查询：eq（X，Y）

我预期的结果是：

X=mul(a,b),Y=(mul(c,b)) and X=a,Y=c 

但我刚得到第一个

---

我非常感谢你的解释，祝你圣诞快乐

无法复制：我先得到

X=mul（a，b）

Y=mult（c，b）

然后得到

X=a

Y=c

下一步（提示：祝你圣诞快乐）如果你得到了解决方案，请尝试按

h

以获取帮助，查看你能做些什么。通常，按

或者应该给你下一个解决方案。哦，好的，非常感谢！