このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1349527750/928
#  [1] 授業単元:情報処理2 
#  [2] 問題文(含コード&リンク): 
#  1.自然数n1・n2(n1自然数を得る(n1,true,_n1),
        自然数を得る(n2,_n2 > _n1,_n2),!.

'n1からn2までの数の合計sを計算する。ただし、合計sは次式で表せれるものとする。s=n2・(n2+1)-(n1-1)/2'(_n1,_n2,_n1からn2までの合計) :-
        _n1からn2までの合計 is _n2 * (_n2 + 1) - (_n1 - 1) / 2.

その結果を表示する(_n1,_n2,_n1からn2までの合計) :-
        writef('%tから%tまでの合計は %t です\n',[_n1,_n2,_n1からn2までの合計]).