如何修改Prolog双列表交集谓词使其返回结果无重复元素

问题原因 #

现有代码的逻辑是遍历第一个列表的每一个元素，只要元素存在于第二个列表中就加入结果集，因此第一个列表里重复出现的符合条件的元素会被多次添加，才会得到[b, b]而非预期[b]的输出。

调整方案 #

你可以在匹配到符合条件的元素并将其加入结果后，递归前先删除第一个列表剩余元素中所有和当前元素相同的值，避免重复匹配，调整后的代码如下：

% 辅助谓词：删除列表中所有指定元素，返回处理后的剩余列表
delete_all(_, [], []).
delete_all(X, [H|T], R) :- 
    X == H, 
    delete_all(X, T, R).
delete_all(X, [H|T], [H|R]) :- 
    X \== H, 
    delete_all(X, T, R).

% 交集谓词
intersection([], _, []).
intersection([H1|T1], L2, [H1|R]) :- 
    m_member(H1, L2), 
    delete_all(H1, T1, T1_NoH),
    intersection(T1_NoH, L2, R).
intersection([H1|T1], L2, R) :- 
    \+ m_member(H1, L2),
    intersection(T1, L2, R).

调整后调用intersection([a,b,b,a],[c,b,b,c,e,f], S)，输出结果为S = [b]，符合预期。

如果你的Prolog环境支持内置的去重谓词，也可以先对第一个列表做去重处理再执行原有交集逻辑，注意如果使用sort/2做去重会同时对列表排序，若需要保留元素在原列表中首次出现的顺序，优先使用第一种方案。

内容的提问来源于stack exchange，提问作者drew181