このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1268979408/589
#  "A"にはマッチするけど"ABC"にはマッチしない正規表現お願いします 
# 
# 

'"A"にはマッチするけど"ABC"にはマッチしない'(_文字列,S0,'A',S1) :-
        sub_atom(_文字列,St,Len,R1,'A'),
        \+(sub_atom(_文字列,St,3,R2,'ABC')),
        sub_atom(_文字列,0,St,_,S0),
        St2 is St + Len,
        sub_atom(_文字列,St2,R2,0,S1).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

'"A"にはマッチするけど"ABC"にはマッチしない'(_文字列,S0,S,S1) :-
        atom_chars(_文字列,Chars),
        '"A"にはマッチするけど"A","B","C"にはマッチしない'(Chars,L0,L,L1),
        concat_atom(L,S),
        concat_atom(L0,S0),
        concat_atom(L1,S1).

'"A"にはマッチするけど"A","B","C"にはマッチしない'(Chars,L0,['A'],L1) :-
        append(L0,['A'],L1,Chars),
        \+(append(L0,['A','B','C'],_,Chars)).