prolog - is/2：参数没有充分实例化

Question

我正在尝试编写一个序言代码来查找gcd 的Bezout 常量。

我试过这段代码：

gcdCoef(A,B,X,Y) :- Z is A*X + B*Y, gcd(A,B,Z).

但是当我执行查询时?- gcdCoef(12,20,M,N).，它给了我错误：

"is/2: Arguments are not sufficiently instantiated"

请注意 gcd 可以正常工作：gcd(A,B,Z) means gcd(A,B) = Z

我应该怎么做才能解决这个问题？