このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/db/1316769778/317
#  検索結果の集合の共通部分は求められますか。 
#  たとえばid=1の結果が{a, b, c, d}でid=2の結果が{b, c, e}なら{b, c}を求めたいです。 
# 

'検索結果の集合の共通部分は求める'(_id1,_id2,_共通する値) :-
        setof(_値,(テーブル(_id1,_値),テーブル(_id2,_値)),L),
        member(_共通する値,L).