このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1305217361/661
#  001 
#  002 
#  003 
#  ・・・ 
#  012 
#  013 
#  ・・・ 
#  099 
#  100 
#  101 
#  ・・・ 
#  と言うように数字の頭にゼロを付けて 
#  決まった桁数にするにはどうしたらいいですか? 
# 
# 

ファイル行の数字の頭にゼロを付けて決まった桁数にする(_ファイル,_決まった桁数) :-
        get_lines(_ファイル,Lines),
        append(_,[Line|R],Lines),
        頭部零文字列(_決まった桁数,Line,_頭部零文字列),
        writef('%t\n',[_頭部零文字列]),
        R = [].

頭部零文字列(_決まった桁数,_数値文字列,_頭部零文字列) :-
        atom(_数値文字列),
        atom_length(_数値文字列,_文字列長),
        length(L,_決まった桁数),
        atom_chars(_数値文字列,Chars),
        append(L0,Chars,L),
        all(L0,'0'),
        concat_atom(L,_頭部零文字列),!.
頭部零文字列(_決まった桁数,_数値,_頭部零文字列) :-
        number(_数値文字列),
        number_chars(_数値,Chars),
        length(L,_決まった桁数),
        append(L0,Chars,L),
        all(L0,'0'),
        concat_atom(L,_頭部零文字列).