如何在 Prolog 中计算数字序列的和

任务是计算从0到M的自然数之和。我使用SWI-Prolog编写了以下代码：

my_sum(From, To, _) :- From > To, !.
my_sum(From, To, S) :-
  From = 0,
  Next is 1,
  S is 1,
  my_sum(Next, To, S).
my_sum(From, To, S) :-
  From > 0,
  Next is From + 1,
  S is S + Next,
  my_sum(Next, To, S).

但是当我尝试计算时：

my_sum(0,10,S), writeln(S).

我得到的是 False 而不是正确的数字。这个例子出了什么问题？

对于 Next \= 0 这肯定是错误的：S is S + Next。另一个更基本的问题是您正在以“相反”的顺序进行计算。也就是说，当From > To并且程序停止，您不会“返回”结果。然后您应该添加一个累加器（另一个参数，将传播到所有递归调用）并将其与最后一步的部分和统一......

无论如何，应该更简单：

my_sum(From, To, S) :-
  From < To,
  Next is From + 1,
  my_sum(Next, To, T),
  S is T + From.
my_sum(N, N, N).

| ?- my_sum(2, 4, N).
N = 9