このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1320365280/137
#  [1] 授業単元:基礎プロ 
#  [2] 問題文(含コード&リンク): 
#  キーボードから自然数 n を読み込む. 
#  読み込んだ自然数 n の階乗を計算する. 
#  計算結果を以下の実行例のように出力する. 
#   
#  実行例 
#  >./extra06-1 
#  自然数を入力: 5 
#  5! = 1 x 2 x 3 x 4 x 5 = 120 
#  >./extra06-1 
#  自然数を入力: 6 
#  6! = 1 x 2 x 3 x 4 x 5 x 6 = 720 
#  > 
#   
#  この動作をするプログラムを作成せよ 
#  

'キーボードから自然数 n を読み込む.読み込んだ自然数 n の階乗を計算する.計算結果を以下の実行例のように出力する.'
        'キーボードから自然数 n を読み込む'(_n),
        '読み込んだ自然数 n の階乗を計算する.'(_n,_階乗式の文字列表現,_nの階乗),
        '計算結果を以下の実行例のように出力する.'(_n,_階乗式の文字列表現,_nの階乗).

'キーボードから自然数 n を読み込む'(_n) :-
        自然数を読み込む(_n).

'読み込んだ自然数 n の階乗を計算する.'(_n,_1からnまでの数ならび,_nの階乗) :-
        findall(N,for(1,N,_n),_1からnまでの数ならび),
        concat_atom(_1からnまでの数ならび,'*',_階乗式の文字列表現),
        atom_to_term(_階乗式の文字列表現,_式,_),
        _nの階乗 is _式.

'計算結果を以下の実行例のように出力する.'(_n,_1からnまでの数ならび,_nの階乗) :-
        concat_atom(_1からnまでのならび,' × ',_階乗式の表示用文字列),
        writef('%t! = %t = %t\n',[_n,_階乗式の表示用文字列,_nの階乗]).

自然数を読み込む(_自然数) :-
        write('自然数を入力 : '),
        get_line(Line),
        自然数を読み込み診断(Line,_自然数),!.
自然数を読み込む(_自然数) :-
        自然数を読み込む(_自然数).

自然数を読み込み診断(Line,_自然数) :-
        atom_to_term(Line,_自然数,_),
        integer(_自然数),
        _自然数 >= 0,!.
自然数を読み込み診断(Line,_自然数) :-
        writef('入力された %t からは自然数が得られません。再入力をお願いします。\n',[Line]),
        fail.
%
%  目下の課題は以下の実行例をどのように述語定義の中に取り込むかだ
%  コメントはそのまま引数ゼロの述語として定義し、副目標として書いて置けばよいが
%  このような改行のある事例は述語アトムとして見やすいものにならない。
%
/*
#  実行例 
#  >./extra06-1 
#  自然数を入力: 5 
#  5! = 1 x 2 x 3 x 4 x 5 = 120 
#  >./extra06-1 
#  自然数を入力: 6 
#  6! = 1 x 2 x 3 x 4 x 5 x 6 = 720 
#  > 
*/