このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/php/1168450843/745
#  Aの繰り返しはA+とかA{m,n}でマッチできますが、 
#  繰り返された個数を元にAAAAAをA*5などに置換する「うまい」方法はあるでしょうか。 
#   
#  言語はとりあえずJavaScriptで考えています。 
#  replace(/A+/g, 'A*'); //←ここから進まない。 
# 
# 

'繰り返された個数を元にAAAAAをA*5などに置換する'(_文字列,_繰り返し対象文字,_繰り返し数) :-
        sub_atom(_文字列,_,_繰り返し数,_,S1,S2,S3,L1,L2,L3),
        all(L2,_繰り返し対象文字),
        \+(last(L1,_繰り返し対象文字)),
        \+(L3 = [_繰り返し対象文字|_]).