Prolog列表去重谓词实现遇问题，寻求排查方案

你的代码存在几个关键逻辑错误，导致无法得到正确结果，以下是问题分析和修正方案：

问题排查 #

1. contains谓词逻辑完全错误

   • 子句contains(_, []).表示「任何元素都包含在空列表中」，这违背基本逻辑，空列表不包含任何元素。
   • 子句contains(X, [X|T]).缺少递归逻辑，只能检查列表的第一个元素，无法匹配后续位置的元素。

2. 递归执行顺序颠倒
   你在unique([H|T], [H|R])中先判断not_contains(H, R)，但此时R是未实例化的递归结果，无法完成有效判断。正确逻辑应该是先递归处理尾部得到确定的结果，再判断头部是否在该结果中。

3. 冗余子句
   unique([X], [X]).可以被基础子句unique([], []).和递归逻辑覆盖，无需单独定义。

修正后的代码 #

% 基础情况：空列表的去重结果是空列表
unique([], []).

% 递归情况1：头部元素不在尾部的去重结果中，将头部加入结果
unique([H|T], [H|R]) :-
    unique(T, R),
    \+ contains(H, R).

% 递归情况2：头部元素已在尾部的去重结果中，直接使用尾部的去重结果
unique([H|T], R) :-
    unique(T, R),
    contains(H, R).

% 正确的contains谓词：检查元素是否存在于列表中
contains(X, [X|_]).
contains(X, [_|T]) :-
    contains(X, T).

简化版本（使用内置谓词） #

你也可以直接用Prolog内置的member/2替代自定义的contains，进一步简化代码：

unique([], []).
unique([H|T], [H|R]) :-
    unique(T, R),
    \+ member(H, R).
unique([H|T], R) :-
    unique(T, R),
    member(H, R).

测试验证 #

执行查询：

unique([a,b,a,b,c,c,a], R).

会返回R = [a,b,c]，符合预期。

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