Prolog中提取唯一元素：已知foo事实如何得到[a,b]？

嘿，这个问题我太熟悉啦！针对你现有的foo(1,a).、foo(2,a).、foo(3,b).这几个事实，要提取第二个参数的唯一值得到[a,b]，这里有两种实用的实现方式：

方法一：用内置谓词setof/3（最简洁） #

Prolog的setof/3谓词本身就具备去重+排序的特性，正好符合我们的需求。只需要用存在量词忽略第一个参数的具体值，专注收集第二个参数即可：

unique_foo_values(Values) :-
    setof(Val, X^foo(X, Val), Values).

测试查询 #

在Prolog环境里输入：

?- unique_foo_values(V).

你会得到结果：V = [a, b]

解释一下：X^是存在量词，告诉Prolog我们不需要绑定第一个参数X的具体值，只需要把所有对应的Val收集起来，setof会自动帮我们去重并按标准顺序排列成列表。

方法二：手动实现收集+去重（适合理解底层逻辑） #

如果你想自己实现去重逻辑，也可以先通过findall/3收集所有元素，再写一个辅助谓词去掉重复项：

% 第一步：收集所有foo的第二个参数
collect_all_foo_values(TempValues) :-
    findall(Val, foo(_, Val), TempValues).

% 第二步：实现去重的辅助谓词
remove_duplicates([], []).
remove_duplicates([Head|Tail], [Head|Result]) :-
    \+ member(Head, Tail),  % 如果当前元素不在剩余列表里，保留它
    remove_duplicates(Tail, Result).
remove_duplicates([Head|Tail], Result) :-
    member(Head, Tail),     % 如果当前元素在剩余列表里，跳过它
    remove_duplicates(Tail, Result).

% 组合起来得到唯一值
unique_foo_values_manual(Values) :-
    collect_all_foo_values(Temp),
    remove_duplicates(Temp, Values).

测试查询 #

输入：

?- unique_foo_values_manual(V).

同样会得到：V = [a, b]

这个方法先通过findall得到包含重复值的列表[a,a,b]，再遍历列表过滤掉重复出现的元素，最终得到唯一值列表。

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