現在の閲覧者数:

Sum=1+2+..N

(0,)1,2,3,..,Nまでの数を足す。

♪ プログラムコード code

% cat sum.pl 
sum( 0, 0 ).
sum( N, Sum  ) :- N>0, N1 is N - 1, sum( N1, Sum1 ), Sum is N + Sum1.

実行例

% swipl -q 
?- [sum].                                            /* sum.pl を読み込む */
% sum compiled 0.00 sec, 4 clauses
true. 
?- sum( 10, Sum ).                                      /* 0~10までの和は、Sum */
Sum = 55 ;                                              /* Sum = 55 */
false. 
?-