如何提取列表各元素指定部分生成目标格式新列表

你当前处理的是Prolog场景下的列表（nth0为Prolog内置列表索引谓词），输入列表为[c1=2*3,c2=5*1,c3=1*1]，目标是提取每个元素中乘号前的数字，输出[2,5,1]。
列表内每个元素都是原生中缀运算结构标识=目标值*乘数，不需要做字符串切割，直接通过模式匹配即可提取目标值，无需依赖nth0做逐位索引。

推荐实现（简洁高效） #

通过模式匹配定义单元素提取规则，配合maplist做列表批量映射，代码简洁不易出错：

% 单元素提取：匹配结构，直接取出乘号前的目标值
extract_target(_=Target*_, Target).

% 列表处理入口
run_extract(InputList, ResultList) :-
    maplist(extract_target, InputList, ResultList).

调用示例：

?- run_extract([c1=2*3,c2=5*1,c3=1*1], Res).
Res = [2, 5, 1].

基于nth0的实现（适配强制使用nth0的场景） #

如果你的练习要求必须使用nth0访问元素，可以配合递归完成全列表遍历，逻辑如下：

% 递归边界：空列表返回空结果
nth_extract([], []).
nth_extract(List, [CurVal|RestVals]) :-
    nth0(0, List, CurElem),
    CurElem = _=CurVal*_, % 拆解当前元素拿到目标值
    append([_], RemainList, List), % 移除已处理的首元素
    nth_extract(RemainList, RestVals).

该版本调用后输出结果和推荐实现完全一致，仅写法更繁琐，实际开发优先选择模式匹配方案。

注意事项 #

• 不要将列表元素作为普通字符串处理，Prolog中=和*都是原生中缀运算符，结构匹配的方式比字符串切割性能更高、容错性更好
• 列表遍历优先使用递归或内置映射谓词，手动维护索引调用nth0容易出现索引越界、索引值计算错误等问题

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