このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1289913298/323

ゼータ関数(S,N,X) :-
        ゼータ関数(2,S,0,1,N,X).

ゼータ関数(N,S,_値,_値,N,_値).
ゼータ関数(N1,S,_,_値1,N,_値) :-
        U is N1 ^ S,
        V is 1 / U,
        _値2 is _値1 + V,
        N2 is N1 + 1,
        ゼータ関数(N2,S,_値1,_値2,N,_値).