小编Cha*_*les的帖子

我需要 SWI-prolog 中的简单函数来乘以加法。像 m(X,Y,Z) 这样的东西，例如 X=5, Z=3 <==> 5*3。Y 是结果：Y=5、Y=10、Y=15 [停止]。我在想这样的事情：

m(X,Y,Z):- Z>0, /*when Z reaches 0 you stop */ I=X+X, W=Z-1, m(I,Y,W).

但它总是返回“false”，不知道为什么。