从列表中删除不重复的项目

Question

我需要做一个练习，我必须消除列表中不重复的元素，之前我做了一个练习来消除列表中重复的元素。这是我的代码，用于消除列表中重复的元素，但我不知道如何修改它以生成新代码来消除列表中不重复的元素。有人可以帮助我吗？请。

simp([H,H|T],X):-!, simp([H|T],X).
simp([H|T],[H|X]):-simp(T,X).

Answer 1

使用 reif 库，既纯粹又合理确定（类似答案):

:- use_module(library(reif)).

duplicate_elements(LstFull, LstDuplicates) :-
    duplicate_elements_(LstFull, [], LstDuplicatesRev),
    reverse(LstDuplicatesRev, LstDuplicates).

duplicate_elements_([], L, L).
% U means LstUpto
duplicate_elements_([H|T], U, LstD) :-
    memberd_t(H, T, Bool),
    (Bool == true -> duplicate_elements_add_(U, H, U1) ; U1 = U),
    duplicate_elements_(T, U1, LstD).

duplicate_elements_add_(U, E, U1) :-
    % Prevent adding a duplicate to U1 more than once
    (memberchk(E, U) -> U1 = U ; U1 = [E|U]).

swi-prolog 的结果：

?- time(duplicate_elements([a,b,1,2,c,A,2,1,4], D)).
% 105 inferences, 0.000 CPU in 0.000 seconds (92% CPU, 1494726 Lips)
A = a,
D = [a,1,2] ;
% 177 inferences, 0.000 CPU in 0.000 seconds (94% CPU, 1261726 Lips)
A = b,
D = [b,1,2] ;
% 193 inferences, 0.000 CPU in 0.000 seconds (98% CPU, 1288643 Lips)
A = 1,
D = [1,2] ;
% 214 inferences, 0.000 CPU in 0.000 seconds (96% CPU, 1349996 Lips)
A = 2,
D = [1,2] ;
% 237 inferences, 0.000 CPU in 0.000 seconds (98% CPU, 1515152 Lips)
A = c,
D = [1,2,c] ;
% 360 inferences, 0.000 CPU in 0.000 seconds (99% CPU, 1892217 Lips)
A = 4,
D = [1,2,4] ;
% 49 inferences, 0.000 CPU in 0.000 seconds (95% CPU, 575563 Lips)
D = [1,2],
dif(A,a),
dif(A,4),
dif(A,c),
dif(A,2),
dif(A,1),
dif(A,b).

Answer 2

首先你的问题有歧义，你说的是

消除列表中不重复的元素

这应该意味着删除唯一的元素。

例如，

?- remove_unique_elems([a,b,1,2,c,a,2,1,4], R). 
R = [a,1,2,a,2,1].

但是，在后面的评论中，您还说

如果我写?- Elimination([a,b,1,2,c,a,2,1,4], R)。。我想要得到R = [a,1,2]。

这不是“删除唯一元素”，而是“将重复元素作为“集合”获取，但保持原始顺序”。

尽管如此，我仍然会给你两个解决方案：

1. 定义dup来生成所有重复元素

   删除(X,[X|L],L) :- !.
   删除（Y，[X | Xs]，[X | Xt]）：-删除（Y，Xs，Xt）。
   
   dup（X，L）：-成员（X，L），删除（X，L，L2），memberchk（X，L2）。
   
   ?- dup(X,[a,b,1,2,c,a,2,1,4])。
   X = a;
   X = 1 ;
   X = 2 ;
   X = a;
   X = 2 ;
   X = 1 ;
   错误的。;
   
   ?- dup(X,[1,2,3,4])。
   错误的。
   

2. 定义remove_unique_elems

   remove_unique_elems(L,R) :-
     ( bagof(X, dup(X,L), Xs)
     -> R = Xs
     ; R = []
     ）。
   
   ?-remove_unique_elems([a,b,1,2,c,a,2,1,4],R)。
   R = [a,1,2,a,2,1]。
   
   ?-remove_unique_elems([1,2,3,4],R)。
   R = []。
   
   ？-remove_unique_elems([a,a],[a,a])。
   真的。
   

3. 定义duplicate_elements

   remove_dup(DL,NDL) ：- 反向（DL，DLR），remove_dup_（DLR，NDLR），反向（NDLR，NDL）。
   remove_dup_([], []) :- !.
   删除_dup_（[X | Xs]，L）：-成员（X，Xs），！，删除_dup_（Xs，L）。
   删除_dup_（[X | Xs]，[X | Ys]）：-删除_dup_（Xs，Ys）。
   
   重复元素（L，R）：-
     ( bagof(X, dup(X,L), Xs)
     ->删除_dup（Xs，R）
     ; R = []
     ）。
   
   ?-重复元素([a,b,1,2,c,a,2,1,4],R)。
   R = [a,1,2]。
   
   ?-重复元素([1,2,3,4],R)。
   R = []。
   
   ？-重复元素（[a，a]，[a，a]）。
   错误的。