prolog - 在 prolog 中设置返回值

Question

我正在尝试在 prolog 中的两个peano 数字的mod 函数中编写简单的案例，放一些案例它给了我错误的答案我不知道我的代码有什么问题

简单的情况是如果 C 小于 D 返回 C

mod(C,D,F):- smaller(C,D) -> mod(C,D,C). 

我没有输出

谢谢你。

Answer 1

只需这样做：-

mod(C,D,C):- smaller(C,D)

smaller如果谓词返回true，即 C 小于 D 时，它将返回 C。