prolog - 集合相等

Question

任何人都可以帮助我完成以下任务:我需要定义一个谓词 eq_set，如果集合 S1 和 S2 在数字方面相等，则该谓词会成功他们的元素。

但只有当它们的数量和顺序完全相同时才有效。我想创建一个显示所有品种且不考虑顺序的代码。你能帮我一下吗？

我写道:

eq_set([],[]).
eq_set([H|T],[H|T1]) :-
    eq_set(T,T1).

但只有当它们的数量和顺序完全相同时才有效。我想创建一个显示所有品种且不考虑顺序的代码。

我对该作业最接近的翻译是保加利亚语:“定义谓词 eq_set，如果集合 (S1, S2) 重合，则该谓词成功。

Answer 1

您将它们称为“集合”，但您使用的数据结构是列表。最简单的方法是对两个列表进行排序:

eq_set(A, B) :-
    % prerequisites: A and B are lists without duplicates
    sort(A, S),
    sort(B, S).

如果您想要更复杂的东西(出于某种原因)，您需要更具体。

按照这个定义:

?- eq_set([a,b,c], [a,b]).
false. % OK

?- eq_set([a,b,c], [a,b,c]).
true. % OK

?- eq_set([a,c,b], [a,b,c]).
true. % OK

?- eq_set([a,a,b], [a,b,b]).
true. % Not sure....