Prolog列表去重程序问题：返回结果末尾出现|_的原因排查

核心错误与误区解析 #

你遇到的R = [1, 2, 3, 6|_]是因为R是一个开放列表——尾部存在未绑定的变量，根源是代码存在多个逻辑错误：

1. 基础子句无约束
   你的remove_duplicates([], R).没有对R做任何限制，递归终止时R可以是任意值，这直接导致最终结果的尾部无法被正确绑定，出现|_。

2. member/2逻辑倒置
   你想用member(H, R)检查H是否已在结果中，但初始调用时R是未绑定变量，member(H, R)会反过来尝试将R实例化为包含H的列表，完全违背了“检查已存在元素”的初衷。

3. append使用错误
   Prolog的标准append/3需要三个参数：append(List1, List2, CombinedList)，你仅传入两个参数且H是单个元素（不是列表），这个调用本身就是非法的。此外，Prolog变量是不可修改的，你不能直接“将元素添加到R”，必须生成新列表传递给下一层递归。

4. 递归逻辑错误
   你的代码没有正确积累结果——递归过程中R没有被更新为包含新元素的新列表，始终是同一个未绑定变量，最终无法形成完整的闭合列表。

正确实现方案 #

以下是两种保留原顺序的去重实现，推荐使用累加器版本（效率更高）：

方案1：累加器版本（高效）

通过累加器记录已处理过的元素，避免重复遍历结果列表：

% 对外调用接口，初始化累加器为空列表
remove_duplicates(List, Result) :-
    remove_duplicates(List, [], Result).

% 递归终止：输入列表为空，反转累加器得到最终结果（累加器是反向积累的）
remove_duplicates([], Acc, Result) :-
    reverse(Acc, Result).

% 如果当前元素已在累加器中，跳过，继续处理尾部
remove_duplicates([H|T], Acc, Result) :-
    member(H, Acc),
    remove_duplicates(T, Acc, Result).

% 如果当前元素不在累加器中，添加到累加器头部，继续处理尾部
remove_duplicates([H|T], Acc, Result) :-
    \+ member(H, Acc),
    remove_duplicates(T, [H|Acc], Result).

方案2：直接递归版本（易理解但效率较低）

每次检查当前元素是否在剩余列表中，仅保留首次出现的元素：

remove_duplicates([], []).

% 若当前元素不在剩余列表中，保留该元素并处理剩余部分
remove_duplicates([H|T], [H|Rest]) :-
    \+ member(H, T),
    remove_duplicates(T, Rest).

% 若当前元素在剩余列表中，跳过该元素直接处理剩余部分
remove_duplicates([H|T], Rest) :-
    member(H, T),
    remove_duplicates(T, Rest).

测试示例 #

调用remove_duplicates([1,1,2,3,3,3,5], R).，两种方案都会返回R = [1,2,3,5]，且结果是闭合列表（无|_）。

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