このディレクトリの索引


'差集合 A-B とは、Aの要素からBの要素を取り去った集合である'(A,B,_差集合) :-
        'Aの要素からBの要素を取り去った集合'(A,B,_差集合).
       
'Aの要素からBの要素を取り去った集合'([],_,[]).
'Aの要素からBの要素を取り去った集合'([X|R1],B,R3) :-
        member(X,B),
        'Aの要素からBの要素を取り去った集合'(R1,B,R3).
'Aの要素からBの要素を取り去った集合'([X|R1],B,[X|R3]) :-
        \+(member(X,B)),
        'Aの要素からBの要素を取り去った集合'(R1,B,R3).