带圆括号元素的Prolog列表处理：如何提取元组首元素？

我来帮你搞定这个问题！你的核心需求是从列表里每个(X-Y)这样的复合项中提取出第一个元素X，而不是输出整个项。

问题原因 #

你当前的write_list谓词只是直接输出整个Head，但在Prolog里，(1-4)其实是复合项-(1,4)的语法糖——它的 functor 是-，包含两个参数：第一个是1，第二个是4。所以我们需要先解构这个复合项，取出第一个参数再输出。

解决方案 #

修改你的谓词，让它匹配每个列表元素的结构，提取出第一个参数：

% 处理空列表的终止条件
write_first_elements([]).
% 匹配每个元素为(First - _)，提取First并输出
write_first_elements([(First - _)|Tail]) :-
    write(First), nl,  % 输出第一个元素并换行
    write_first_elements(Tail).  % 递归处理剩余列表

测试示例 #

当你查询：

write_first_elements([(1-4), (2-4), (3-4)]).

会得到输出：

1
2
3

扩展：提取第二个元素 #

如果之后你需要提取每个项的第二个元素，只需要调整匹配的结构，把First换成Second即可：

write_second_elements([]).
write_second_elements([(_ - Second)|Tail]) :-
    write(Second), nl,
    write_second_elements(Tail).

这样调用write_second_elements([(1-4), (2-4), (3-4)])就会输出4、4、4啦！

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