このディレクトリの索引
#  
#  二つの集合が等しい
#  

二つの集合が等しい(L1,L2) :-
        'L1,L2と共通要素数のL'(L1,L2,L),
        findall(_,(
                    'L1,L2の共通要素A'(L1,L2,A)),
                L).

'L1,L2と共通要素数のL' :-
        length(L1,N),
        length(L2,N),
        length(L,N).

'L1,L2の共通要素A'(L1,L2,A) :-
        member(A,L1),
        member(A,L2).