このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/php/1168450843/547
#  PHP5で、$txtに格納された 
#   
#  <a href="javascript:userid('123456');">テキスト</a> 
#  ※「123456」と「テキスト」は変化します 
#   
#  といった並びの文字列からタグをぬいて 
#   
#  123456,テキスト, 
#   
#  とカンマ区切りにしたいのですが、何か良い方法はないでしょうか 
# 
# 

'<a href="javascript:userid(''123456'');">テキスト</a>といった並びの文字列からタグをぬいて123456,テキストとカンマ区切りにしたい'(_文字列,_置換された文字列) :-
        atom_chars('a href="javascript:userid(''',L0),
        sub_atom(_文字列,_,_,_,S1,S2,S3,L1,L2,L3),
        append(L0,L11,['''',')',';','"',>],L2),
        すべて数字(L11),
        atom_chars(S11,L11),
        append(L03,[<,/,a,>|_],L3),
        concat_atom(L03,S03),
        concat_atom([S11,S03],',',_置換された文字列).