このディレクトリの索引

% *** user: ならびの重複削除 / 2 ***
ならびの重複削除([],[]).
ならびの重複削除([_要素|_残り対象ならび],_重複を削除されたならび) :-
    ならびの重複削除(_残り対象ならび,_重複を削除されたならび),
    要素(_要素,_重複を削除されたならび),!.
ならびの重複削除([_要素|_残りの対象ならび],[_要素|_残りの重複を削除されたならび]) :-
    ならびの重複削除(_残りの対象ならび,_残りの重複を削除されたならび),!.

% *** user: cut_same / 2 ***
cut_same([],[]).
cut_same([_要素|_残り対象ならび],_重複を削除されたならび) :-
    cut_same(_残り対象ならび,_重複を削除されたならび),
    要素(_要素,_重複を削除されたならび),!.
cut_same([_要素|_残りの対象ならび],[_要素|_残りの重複を削除されたならび]) :-
    cut_same(_残りの対象ならび,_残りの重複を削除されたならび),!.