このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1364700745/827
#  [1] 授業単元:整数演算 
#  [2] 問題文(含コード&リンク):以下の問題に答えなさい 
#   
#  50 
#  Σ((3*i)/2) = A の計算式を計算できるプログラムを完成させなさい。 
#  i=0 
#   
#  
:- op(300,xfx,(..)).

'50 
Σ((3*i)/2) = A の計算式を計算できるプログラムを完成させなさい。
i=0'(_A) :-
        'Σ'([_k  =  0 .. 50],((3 * _k) / 2),_A).

'Σ'([_k  =  A .. B],_式,_累計値) :-
        findsum(Y,(
                    between(A,B,_k),
                    Y is _式),
                _累計値).

findsum(A,P,S) :-
        findall(A,P,L),
        sum(L,S).

sum([],0).
sum([A|R],S) :-
        sum(R,S2),
        S is S2 + A.