このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1339338438/415
#  [1] 授業単元: C言語  
#  [2] 問題文:漸化式 
#  X(x)=2X(n-1)+1, X(0)=0 
#  で決まる数列のn項目を求めるプログラムを再帰を用いて作成せよ。  
#  

'X(x)=2X(n-1)+1, X(0)=0 で決まる数列のn項目を求める'(0,0).
'X(x)=2X(n-1)+1, X(0)=0 で決まる数列のn項目を求める'(_n,_y) :-
        _n > 0,
        _n_1 is _n - 1,
        'X(x)=2X(n-1)+1, X(0)=0 で決まる数列のn項目を求める'(_n_1,_y_1),
        _y is 2 * _y_1 + 1.