Prolog初学者求助：实现extend谓词扩展列表的列表

嘿，作为Prolog初学者碰到这个问题太正常了！我来帮你梳理清楚怎么正确实现这个extend谓词，先明确你的核心需求：

你要的extend(X, Xss, Yss)，得满足把列表的列表Xss里的每个子列表末尾都加上元素X，最终得到Yss，就像你给的例子：

?- extend(g, [[e], [b, c, f], [k, h]], Yss).

预期要返回Yss = [[e, g], [b, c, f, g], [k, h, g]]。

你之前的代码出错，主要踩了两个常见坑：一是误用了is（这个是用来做算术计算的，根本不能用来处理列表拼接），二是子列表的匹配逻辑不对。

正确的递归实现 #

Prolog里处理列表类问题，递归是最常用的思路，我们分两步来写：

1. 基础终止条件：如果Xss是空列表，那Yss肯定也是空列表——毕竟没东西可加嘛。
2. 递归处理逻辑：把Xss拆成第一个子列表和剩下的子列表，先给第一个子列表末尾加上X，再递归处理剩下的部分，最后把结果拼起来。

具体代码是这样的：

% 空列表的扩展结果还是空列表，递归终止
extend(_, [], []).
% 递归处理每个子列表
extend(X, [CurrentSub | RestXss], [NewSub | RestYss]) :-
    append(CurrentSub, [X], NewSub),  % 用内置append给子列表末尾加X
    extend(X, RestXss, RestYss).       % 递归处理剩下的子列表

代码逻辑解释 #

• append(CurrentSub, [X], NewSub)：Prolog自带的append/3就是用来拼接列表的，这里把当前子列表和[X]（单独装着X的列表）拼在一起，正好得到末尾追加了X的新子列表。
• 递归步骤：每次只处理一个子列表，直到Xss被拆完（变成空列表），整个Yss就构建完成了。

测试验证 #

跑你给的示例查询：

?- extend(g, [[e], [b, c, f], [k, h]], Yss).
Yss = [[e, g], [b, c, f, g], [k, h, g]].

完全符合预期！而且这个谓词还支持反向查询哦，比如你不知道X是什么，也能直接查出来：

?- extend(X, [[e], [b,c]], [[e,a], [b,c,a]]).
X = a.

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