Prolog查询与指定用户有X个共同标签用户时返回false而非列表，求解决

代码问题排查 #

你原有代码返回false的核心原因有以下几点：

• 递归终止条件错误：intersectioUserList(_, [], _, _)的第四个参数为匿名变量，空列表场景下没有将结果绑定为空列表，导致后续结果聚合失败。
• 追加逻辑完全错误：append([Y],L,L)要求列表L等于自身添加Y后的结果，逻辑上永远不成立，直接触发匹配失败返回false。
• 结果传递逻辑错误：递归分支没有正确将当前匹配到的用户ID传递到上层结果中。
• 未排除查询用户自身：默认会将被查询的用户ID纳入结果，不符合常规需求。

推荐实现方案 #

不需要手动编写递归遍历逻辑，直接使用findall谓词过滤符合条件的用户即可，代码更简洁不易出错：

% 核心查询谓词：USER为指定用户ID，X为最小共同标签数，L为返回的符合条件用户ID列表
uc(USER, X, L) :-
    findall(Y, (
        no(Y, _, _),
        Y \= USER, % 排除用户自身
        no(USER, _, Tags1),
        no(Y, _, Tags2),
        intersection(Tags1, Tags2, CommonTags),
        length(CommonTags, CommonCount),
        CommonCount >= X
    ), L).

% 你原有知识库事实保持不变
no(1,ana,[natureza,pintura,musica,sw,porto]).
no(11,antonio,[natureza,pintura,carros,futebol,lisboa]).
no(12,beatriz,[natureza,musica,carros,porto,moda]).
no(13,carlos,[natureza,musica,sw,futebol,coimbra]).

测试示例 #

查询和用户1有至少3个共同标签的用户：

?- uc(1,3,L).

返回结果：

L = [12, 13]

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