Prolog的isSet列表去重判断函数传入已赋值变量异常如何修复

你遇到的问题完全是两个操作误区导致的，你写的isSet谓词本身逻辑没有错误：

• Prolog的变量作用域为单查询级别：你分开执行?- X = [1,2,3].和?- isSet(X).时，两个查询里的X是完全独立的变量。第一个查询执行完后X的绑定就已经释放，第二个查询里的X是未绑定的自由变量。你的isSet谓词接收未绑定变量时，内部的select(Element, List, Tail)会优先把List实例化为包含重复元素的结构，导致否定判断为真，最终返回false。
• X = (1,2,3)绑定的是逗号拼接的复合项（元组），不是列表结构，而select/3只能处理列表，传入非列表参数自然匹配失败返回false。

1 调整调用方式即可直接复用原有代码 #

把变量绑定和谓词调用放在同一个查询语句中，变量的绑定就可以正常生效：

% 测试无重复列表，返回true
?- X = [1,2,3], isSet(X).
X = [1, 2, 3].

% 测试有重复列表，返回false
?- X = [1,1,2], isSet(X).
false.

2 优化谓词兼容性（可选） #

如果你需要isSet支持传入未绑定变量、自动枚举合法的集合列表，可以改成递归实现的版本，对自由变量的兼容性更好：

% 空列表属于合法集合
isSet([]).
% 列表头元素不在尾部中，且尾部本身是合法集合
isSet([Head|Tail]) :-
    \+ member(Head, Tail),
    isSet(Tail).

修改后除了正常判断绑定的列表，还支持集合生成场景：

% 枚举所有长度为2、元素在1~3范围内的无重复列表
?- length(X, 2), isSet(X), X ins 1..3, label(X).
X = [1, 2] ;
X = [1, 3] ;
X = [2, 1] ;
X = [2, 3] ;
X = [3, 1] ;
X = [3, 2].

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