このディレクトリの索引
http://pc12.2ch.net/test/read.cgi/tech/1258158172/859
#   
#  1] 授業単元: forとかwhileとか 
#  [2] 問題文(含コード&リンク): 関数y=x3+1の微分曲線を求めるプログラムを作成しなさい.計算範囲は0≦x≦2とし,間隔は0.1とする. 
#   

f(X,Y) :- Y is X ^ 3 + 1.

'関数y=x3+1の微分曲線を求める'(L) :-
    f(0.0,Y_1),
  '関数y=x3+1の微分曲線を求める'(0.0,2.0,Y_1,0.1,L).

'関数y=x3+1の微分曲線を求める'(X_1,Max,Y1,_間隔,[]) :- X_1 >= Max,!.
'関数y=x3+1の微分曲線を求める'(X_1,Max,Y_1,_間隔,[[X,Y]|R]) :-
  X_2 is X_1 + _間隔,
    X is (X_1 + X_2) / 2,
  f(X_2,Y_2),
  Y is (Y_2 - Y_1) / _間隔,
  '関数y=x3+1の微分曲線を求める'(X_2,Max,Y_2,_間隔,R).