Prologで1~nまで足した結果を出すプログラムが自分のコードでは上手くいかないです

Question

やりたい事

prologで1~nまで足して、”Ans = 足した結果”となるようにしたい。

自分で書いたコード

sigma1N(1,A).
sigma1N(N,A) :- A is N*(N+1)/2, sigma1N(N,A).

実行する時は、sigam1N(10,Ans).
結果としては、 Ans = 55 となって欲しいのですが。出ません。

どのように改善したら良いでしょうか？

Answer 1

1～nまでの和は２種類出し方があります。

• 等差数列の和の公式を使う
• 再帰的に処理する

質問文にあるプログラムではこの２種類がごっちゃになってしまっています。

どのような動きになるか、お書きになったプログラムを追ってみると良いでしょう。

等差数列の和の公式を使う

１推論だけで定義できます。
再帰の必要もありません。

求める式は既に質問文のプログラムに書かれている通り、

A is N*(N+1)/2

で合っているかと思います。

再帰的に処理する

再帰的に処理する場合、「再帰的な推論」と「再帰を終了する推論」の２つの推論が必要です。

n=5の場合、

5 + 4 + 3 + 2 + 1

が求めたい計算ですが、これをPrologで行う際には以下のように変換します。

5 + 【1～4の和】

【1～4の和】とは、n=4のときの結果になります。
つまり、n=5の結果を求めるにはn=4の結果が必要になります。

n=4のときは

4 + 【1～3の和】

になり、n=3のときの結果が必要になります。

n=3のときは

3 + 【1～2の和】

になり、
n=2のときは

2 + 【1～1の和】

となります。

n=1のときは、これ以上遡って和を求めることはないので、
n=1のとき、結果は1と定義してしまいます。

n=1の結果が1だとわかったので、n=2は

2 + 【1～1の和】 => 2 + 1 => 3

という結果になることがわかります。

n=2の結果が3だとわかったので、n=3は

3 + 【1～2の和】 => 3 + 3 => 6

という結果になることがわかります。

...

と、n=5まで遡って、最終的な結果を計算することになります。

なので、以下の点に注目して考えてみましょう。

• Nが2以上の時、A（結果）はどのように求めるか
• Nが1の時、Aはどう定義できるか

Comments

[zuck_]

再帰呼び出しについて学びなおしたら理解できました！
自分の理解に時間がかかり、遅くなりましたが、ありがとうございます！

Answer 2

再帰呼び出しについて学びなおしたら理解できました！
自分の理解に時間がかかり、遅くなりましたが、ありがとうございます！