このディレクトリの索引
# 要素の和集合って結構手順面倒なんじゃね…

要素の和集合([],_要素の和集合,_要素の和集合).
要素の和集合([_要素|R],_集合_2,_要素の和集合) :-
       append(_,[_要素|_],_集合_2),
       要素の和集合(R,_集合_2,_要素の和集合).
要素の和集合([_要素|R],_集合_2,_要素の和集合) :-
       \+(append(_,[_要素|_],_集合_2)),
       要素の和集合(R,[_要素|_集合_2],_要素の和集合).