このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1362913813/103
#  
#  無理だろうね 
#  バカバカしいはOKでバカはNGみたいなのは正規表現では無理
#  

バカバカしいはOKでバカはNG('') :- !.
バカバカしいはOKでバカはNG(_文字列) :-
        sub_atom(_文字列,0,2,_,バカ),
        \+(sub_atom(_文字列,0,6,_,バカバカしい)),!,
        fail.
バカバカしいはOKでバカはNG(_文字列) :-
        sub_atom(_文字列,0,6,R,バカバカしい),
        sub_atom(_文字列,_,R,0,_副文字列),
        バカバカしいはOKでバカはNG(_副文字列),!.
バカバカしいはOKでバカはNG(_文字列) :-
        sub_atom(_文字列,1,_,0,_副文字列),
        バカバカしいはOKでバカはNG(_副文字列).