このディレクトリの索引

'差集合 A-B とは、Aの要素からBの要素を取り去った集合である'(A,B,_差集合) :- findall(_要素,'Aの要素がBの要素ではない'(A,B,_要素),_差集合). 'Aの要素がBの要素ではない'(A,B,_要素) :- member(_要素,A), \+(member(_要素,B)).