このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1291471791/3
#  1] 授業単元:プログラミング 
#  [2] 問題文(含コード&リンク):問い1:1/(2×3)+2/(3×4)+…+10/(11×12)の答えをfor文を
#  用いて答えよ
#  

'1/(2×3)+2/(3×4)+…+10/(11×12)の答えをfor文を用いて答えよ'(_答え) :-
        '12の階乗'(_12の階乗),
        findsum(X,(
                    for(1,N,10),
                    N_1 is N + 1,
                    N_2 is N + 2,
                    findall(M,(
                                for(1,M,12),
                                \+(M = N_1),
                                \+(M = N_2)),
                            L),
                    ならびを乗算する([N|L],X)),
                Y),
        _答え is Y / _12の階乗.

ならびを乗算する([],1) :- !.
ならびを乗算する([N|R],M) :-
        ならびを乗算する(R,M2),
        M is N * M2.

'12の階乗'(_12の階乗) :- 階乗(12,_12の階乗).

階乗(0,1) :- !.
階乗(1,1) :- !.
階乗(N,X) :-
        N2 is N - 1,
        階乗(N2,Y),
        X is N * Y.