クエリでの冗長目標の使用

Question

（@ @ repeatの提案 の上に）pureプログラムのクエリを考えます¹?- G_0.クエリで使用するもの?- G_0, G_0. 持ってる？

^{脚注
1（安全のために）表を作成せず、制約はOKです。
前の投稿 件名について。}

Answer 1

純粋なプログラム1のクエリを考えてみましょう？-G_0。クエリがある場合、何を使用しますか？-G_0、G_0。持ってる？

特に tail recursionoptimization （ last calloptimization ）が [〜の場合、2番目の目標の有用性はわかりません＃〜] on [〜＃〜] 。

クエリがリソースに貪欲で、上記のオプションが [〜＃〜] off [〜＃〜] の場合（たとえば、デバッグ時）、GCの問題（スタック/ヒープオーバーフロー）を実現できました。

2番目の呼び出しは（純粋なプログラムの場合）冗長であり、コンパイラーによって削除する必要があると思います。