このディレクトリの索引

三桁ごとにカンマを入れる(_整数,_カンマを挿入された文字列) :- 整数を文字ならびに変換し(_整数,_文字ならび), 文字ならびの下位から三桁ごとにカンマを入れて最後に文字列に変換する(_文字ならび,_カンマを挿入された文字列). 整数を文字ならびに変換し(_整数,_文字ならび) :- number_chars(_整数,_文字ならび). 文字ならびの下位から三桁ごとにカンマを入れて最後に文字列に変換する(_文字ならび,_カンマを挿入された文字列) :- 文字ならびの下位から三桁ごとにカンマを入れて(_文字ならび,_カンマを挿入された文字ならび), 最後に文字列に変換する(_カンマを挿入された文字ならび,_カンマを挿入された文字列). 文字ならびの下位から三桁ごとにカンマを入れて(_文字ならび,_カンマを挿入された文字ならび) :- findall(B,( 下位から三桁ごとにカンマを入れて(_文字ならび,B)),_カンマを挿入された文字ならび). 下位から三桁ごとにカンマを入れて(_文字ならび,B) :- append(_,[_数字|_残り文字ならび],_文字ならび), カンマを入れるか入れないか(_数字,_残り文字ならび,B). カンマを入れるか入れないか(_数字,_残り文字ならび,_後ろにカンマを付加された数字) :- '残り文字ならびが空でなく、数字が記号ではなく、その要素数が3の倍数の時はカンマを付加する'(_数字,_残り文字ならび,_後ろにカンマを付加された数字),!. カンマを入れるか入れないか(_数字,_残り文字ならび,_数字). '残り文字ならびが空でなく、数字が記号ではなく、その要素数が3の倍数の時はカンマを付加する'(_数字,_残り文字ならび,_後ろにカンマを付加された数字) :- '残り文字ならびが空でなく、'(_残り文字ならび), '数字が記号ではなく、その要素数が3の倍数の時はカンマを付加する'(_残り文字ならび,_数字,_後ろにカンマを付加された数字). '残り文字ならびが空でなく、'(_残り文字ならび) :- \+(_残り文字ならび = []). '数字が記号ではなく、その要素数が3の倍数の時はカンマを付加する'(_残り文字ならび,_数字,_後ろにカンマを付加された数字) :- '数字が記号ではなく、'(_数字), その要素数が3の倍数の時は(_残り文字ならび), カンマを付加する(_数字,_後ろにカンマを付加された数字). '数字が記号ではなく、'(_数字) :- \+(member(_数字,['+','-'])). その要素数が3の倍数の時は(_残り文字ならび) :- その要素数が(_残り文字ならび,_後方の桁数), '3の倍数の時は'(_後方の桁数). その要素数が(_残り文字ならび,_要素数) :- length(_残り文字ならび,_要素数). '3の倍数の時は'(_要素数) :- 0 is _要素数 mod 3. カンマを付加する(_数字,_後ろにカンマを付加された数字) :- atomic_list_concat([_数字,','],_後ろにカンマを付加された数字). 最後に文字列に変換する(_カンマを挿入された文字ならび,_カンマを挿入された文字列) :- atomic_list_concat(_カンマを挿入された文字ならび,_カンマを挿入された文字列).