prolog - プロローグに戻り値を設定する

Question

prolog の 2 つの 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 を返します。