如何在 Prolog 中实现谓词 list_for_set

Question

如何在 Prolog 中实现谓词 list_for_set(Xs, Cs) 其中 Cs 是一个列表，其中包含与 Xs 相同的元素，按其首次出现的顺序排列，但其出现次数仅为 1。例如，查询

? - list_for_set([1, a, 3.3, a, 1.4], Cs).

它只发生在 Cs = [1, a, 3,4] 上。咨询

? - list_for_set ([1, a, 3,3, a, 1,4], [a, 1,3,4])

必须失败。

前面语句的Cs列表将被称为集合列表，即每个元素只出现一次的列表。

Answer 1

好的，这其中涉及到一些诡计。

foofilter([],_,_-T) :- T=[]. % close difflist

foofilter([L|Ls],Seen,H-T) :-
   member(L,Seen),
   !,
   foofilter(Ls,Seen,H-T).

foofilter([L|Ls],Seen,H-T) :-
   \+member(L,Seen),
   !,
   T=[L|NewT],
   foofilter(Ls,[L|Seen],H-NewT).

:-begin_tests(filter).

data([1, a, 3, 3, a, 1, 4]).

test(one) :- data(L),
             DiffList=[[]|T]-T,  % Assume [] is never in L
             foofilter(L,[],DiffList),
             DiffList=[_|Result]-_,
             format("~q ==> ~q\n",[L,Result]),
             Result = [1,a,3,4].

:-end_tests(filter).

rt :- run_tests(filter).

运行测试：

?- rt.
% PL-Unit: filter [1,a,3,3,a,1,4] ==> [1,a,3,4]
. done
% test passed
true.

有人可能会想出一个单行。