CAS的第一步[Prolog]

Question

我尝试运行此代码：

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 

但我刚拿到第一个。

我真的很感激解释，祝你圣诞快乐！