このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1294061094/641
#  [1] 問題: 
#  関数名 sum_k2 
#  書式 int sum_k2(int n) 
#  機能 k^2の総和を漸化式により求める. 
#  引数 範囲n 
#  戻り値 総和Sn  
#  

'k^2の総和を漸化式により求める'(_n,_総和) :-
        _n < 0,
        _n_0 is _n * (-1),
        'k^2の総和'(_n_0,_総和),!.
'k^2の総和を漸化式により求める'(_n,_総和) :-
        'k^2の総和'(_n,_総和).

'k^2の総和'(0,0) :- !.
'k^2の総和'(_k,_総和) :-
        _k_1 is _k - 1,
        'k^2の総和'(_k_1,_総和_1),
        _総和 is _総和_1 + _k ^ 2.