在序言中设置一个 return 值

Question

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

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

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

我没有输出

谢谢。

Answer 1

只需这样做：-

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

如果smaller谓词returns true，即C小于D，则returnC。