自定义member谓词实现Prolog列表唯一性检查出错排查

我需要编写unique(List)规则来检查列表内所有元素是否唯一，不允许使用内置member谓词，但可以使用not，因此自行实现了member谓词。代码如下：

member(Element, [Element|_]).
member(Element, [_|List]) :-
    member(Element, List).

unique([H|T]) :-
    not(in_list(H, T)),
    unique(T).

其中member谓词可正常工作，但unique规则无法运行。预期该规则会检查头元素是否存在于尾部列表，再递归检查尾部列表的头元素，not会将假语句转为真输出，但查询?-unique([1,2,3,4,5])时返回False，请问问题出在哪里？

问题原因 #

• 谓词名称不匹配：你在unique规则里调用了in_list/2，但实际实现的检查元素是否在列表中的谓词是member/2，Prolog找不到in_list/2的定义，直接导致查询失败。
• 缺少递归终止条件：当递归到空列表[]时，没有对应的unique([])规则，递归无法正常终止——即使前面所有元素的唯一性检查都通过，最后一步也会返回失败。

修正后的代码 #

% 自定义member谓词，检查元素是否在列表中
member(Element, [Element|_]).
member(Element, [_|List]) :-
    member(Element, List).

% 递归终止条件：空列表的元素天然唯一
unique([]).
% 非空列表的唯一性检查逻辑
unique([H|T]) :-
    not(member(H, T)),
    unique(T).

测试验证：

• 查询?- unique([1,2,3,4,5])会返回true
• 查询?- unique([1,2,3,2,5])会返回false，符合预期。

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