このディレクトリの索引
#  出題場所 :: http://toro.2ch.net/test/read.cgi/tech/1357191974/726
#  お題:連続した自然数の和が2014になるものをすべて求める。 
# 
# 

'連続した自然数の和が2014になるものをすべて求める。'(_和が2014になる連続した自然数) :-
        N_1 is 2014 // 2,
        findall(N,between(1,N_1,N),L),
        append(L1,L2,L),
        和が2014になる連続した自然数(L2,_和が2014になる連続した自然数).

和が2014になる連続した自然数(L2,_和が2014になる連続した自然数) :-
        和が2014以上になる連続した自然数(L2,_和が2014以上になる連続した自然数,_和),
        _和 = 2014,
        _和が2014以上になる連続した自然数 = _和が2014になる連続した自然数.

和が2014以上になる連続した自然数(L2,_和が2014以上になる連続した自然数,_和) :-
        append(_和が2014を以上の連続した自然数,_,L2),
        sumlist(_和が2014を以上の連続した自然数,_和),
        _和 >= 2014,!.