在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，即当C小于D时。