このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1354070278/916
#  [1] 授業単元: C言語入門 
#  [2] 問題文(含コード&リンク): 
#  ニュートン法を用いてf(x)=e^(-x)-x^2=0の根を求めよ。 
#  但し、x(0)=1とし、反復回数を4とする 
#   
#  

f(X,Y) :-
       Y is exp(1) ^ (-X) - X ^ 2.

df(X,Y) :-
       Y is -1 * exp(1) ^ (-X) - 2 * X.

'ニュートン法を用いてf(x)=e^(-x)-x^2=0の根を求めよ。 但し、x(0)=1とし、反復回数を4とする'(_x) :-
        'ニュートン法を用いて解を収束させる'([_,_,_,_],1,_x).

'ニュートン法を用いて解を収束させる'([],_x,_x).
'ニュートン法を用いて解を収束させる'([_|R],_x1,_x) :-
        f(_x1,_y1),
        df(_x1,_y2),
        _x2 is _x1 - _y1 / _y2,
        'ニュートン法を用いて解を収束させる'(R,_x2,_x).