このディレクトリの索引
#  
#  複数の集合の積集合を求める
#  

複数の集合の積集合を求める(_複数の集合,_複数の集合の積集合) :-
        reduce(intersection,_複数の集合,_複数の集合の積集合).

reduce(F,[A,B],X) :-
        P =.. [F,A,B,X],
        call(P),!.
reduce(F,[A,B|R],X) :-
        P =.. [F,A,B,Y],
        call(P),
        reduce(F,[Y|R],X).