Prolog技术问题：如何在列表的每个子列表末尾添加元素？

你的代码存在两个核心问题：

1. add_char 未正确处理 Var=List 类型的项 #

原代码中 add_char 直接尝试将字符追加到整个 Motif 项上，但你的输入列表元素是 v=[1,2,3] 这类键值对形式的项，而非单纯的列表。需要先提取项中的列表部分，追加字符后再重构项。

2. add_all 的累加器逻辑错误 #

原代码的递归终止条件（base case）未正确绑定最终结果，且递归步骤中变量传递顺序混乱，导致仅处理了第一个元素就停止。

修正后的代码 #

1. 修正 add_char 处理键值对项 #

% 处理 Var=List 形式的项：给右侧的列表追加字符，保持左侧变量不变
add_char(Char, Var=List, Var=NewList) :-
    append(List, [Char], NewList).

2. 修正 add_all 的累加器逻辑 #

% 终止条件：输入列表为空时，结果等于当前累加器
add_all(_, [], Acc, Acc).
% 递归步骤：处理当前元素，更新累加器，继续处理剩余元素
add_all(Char, [H|T], Acc, Result) :-
    add_char(Char, H, NewH),
    append(Acc, [NewH], NewAcc),  % 将新元素追加到累加器末尾
    add_all(Char, T, NewAcc, Result).  % 递归处理剩余元素

测试验证 #

执行你的查询：

?- add_all(h, [(v=[1,2,3]), (i=[5,6,7]), (e=[r,e,w])], [], X).

将得到预期结果：

X = [v=[1, 2, 3, h], i=[5, 6, 7, h], e=[r, e, w, h]]

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