このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1284632294/477
#  [1] 授業単元: プログラム 
#  [2] 問題文(含コード&リンク): an=a[n-1]+a[n-2]で、nを与えた時a[n]を求める。Σ[n-2,i=1]aiとanの比較をせよ。Σ[n-1,i=1]ai^2とa[n-1]*anの比較をせよ 
#  

'a[n]=a[n-1]+a[n-2]で、nを与えた時a[n]を求める'(_n,L,X) :-
        list_nth(_n,L,N,L0,Y,L1),
        last_n(2,L0,[N1,N2]),
        X is N1 + N2.        

'Σ[n-2,i=1]aiとanの比較'(_n,L,X,S) :-
        'a[n]=a[n-1]+a[n-2]で、nを与えた時a[n]を求める'(_n,L,X),
        N1 is N - 2,
        findsum(Y,(for(1,_i,N1),list_nth(_i,L,Y)),S1),
        S is truncate(S1).

'Σ[n-1,i=1]ai^2とa[n-1]*anの比較'(_n,L,X,Y) :-
        N1 is _n - 1,
        findsum(Y2,(for(1,_i,N1),list_nth(_i,L,Y),Y2 is Y ^ 2),S1),
        X is truncate(S1),
        list_nth(_n,L0,[Z|_],L),
        last(L0,A),
        Y is truncate(Z * A).