問題タブ [successor-arithmetics]

再帰を使用してリスト項目の積を取得するにはどうすればよいですか?

私が尋ねると：

結果は次のようになります。

しかし、私は間違った結果を得ています。または結果がありません。

私は試した：

mul は乗算であり、正常に動作します。

トレースを使用すると、結果が見つかったことがわかりますが、何らかの理由で失敗します。

誰かアイデアはありますか？

最初の整数が 2 番目の整数よりちょうど 1 大きい場合、プログラムは true を返す必要があります。

現在のコードは毎回 false を返します。

行 abs(XY) == 1 がなければ、2 番目の整数が最初の整数よりも大きいかどうかを確認するために機能しますが、差が正確に 1 であるかどうかを確認する必要があります。

私はadd2このように解決する述語を持っていますies(0)の後継者はどこですか01

等..

私はそのように機能する先行述語を追加しようとしています

これを行う方法が見つからないようです。私のコードは以下です。