このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/php/1168450843/666
#  メールアドレスが正しいかマッチング。 
#  ただし、@gmail.com、@googlemail.com、@livedoor.comの場合は 
#  @の前に「+」「.」が含まれている場合は除外する。 
#  これって正規表現1発でできたりしますか? 
# 
# 

チェック対象ドメイン('gmail.com').
チェック対象ドメイン('googlemail.com').
チェック対象ドメイン('livedoor.com').

メールアドレスチェック(_メールアドレス) :-
        split(_メールアドレス,['@'],[A,B]),
        メールアドレスチェック(A,B).

メールアドレスチェック(A,B) :-
        \+(チェック対象ドメイン(B)),!.
メールアドレスチェック(A,B) :-
        \+(sub_atom(A,_,1,_,'+')),!.
メールアドレスチェック(A,B) :-
        \+(sub_atom(A,_,1,_,'.')),!.