このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/php/1168450843/425
#  Jeditで 
#  【あいう】を【6あいう】 
#  【かき】を【4かき】 
#  のように【 】でははさまれた文字列の頭に文字数×2の数値を追加したいのですが 
#  どのように検索してどのように置換すればよいでしょうか? 
#  【 】ではさまれた文字数はまちまちです。 
#  よろしくお願いします。 
# 

'【あいう】を【6あいう】 【かき】を【4かき】 のように【 】でははさまれた文字列の頭に文字数×2の数値を追加したいのですがどのように検索してどのように置換すればよいか'(_文字列,_置換された文字列) :-
        atom_chars(_文字列,Chars),
        '【あいう】を【6あいう】 【かき】を【4かき】 のように【 】でははさまれた文字列の頭に文字数×2の数値を追加する'(Chars,L),
        concat_atom(L,_置換された文字列).

'【あいう】を【6あいう】 【かき】を【4かき】 のように【 】でははさまれた文字列の頭に文字数×2の数値を追加する'(Chars,[S|R]) :-
        append(L0,['['|R1],[']'|R2],Chars),
        \+(append(_,['['|_],R1)),
        \+(append(_,[']'|_],R1)),
        length(R0,Len),
        Len2 is Len * 2,
        append(L0,['[',Len2|R0],[']'],L3),
        concat_atom(L3,S),
        '【あいう】を【6あいう】 【かき】を【4かき】 のように【 】でははさまれた文字列の頭に文字数×2の数値を追加する'(R2,R).