Prolog列表转换需求：提取列表中的字符串元素

嘿，我来帮你搞定这个列表转换的需求！你现在有一个包含数字-"字符串"复合项的列表，想要提取其中的字符串部分组成新列表，完全不用绕弯路转成字符串再处理——直接利用Prolog的复合项匹配就可以轻松解决。

方法一：自定义谓词 + maplist #

这是最通用的方式，适配所有Prolog实现：

% 主谓词：接收原列表，返回提取后的字符串列表
extract_strings(OriginalList, StringList) :-
    maplist(extract_single_string, OriginalList, StringList).

% 辅助谓词：匹配单个复合项，提取字符串部分
extract_single_string(_-String, String).

测试查询：

?- extract_strings([6-"read",3-"magazines",3-"music",1-"sport"], Result).
Result = ["read", "magazines", "music", "sport"].

方法二：SWI-Prolog列表推导式（更简洁） #

如果你用的是SWI-Prolog，还可以用列表推导式一步到位，代码更紧凑：

?- Original = [6-"read",3-"magazines",3-"music",1-"sport"],
   Result = [Str || _-Str <- Original].
Original = [6-"read", 3-"magazines", 3-"music", 1-"sport"],
Result = ["read", "magazines", "music", "sport"].

为什么不推荐转字符串处理？ #

你之前想转成字符串再去除数字和-的思路其实绕远路了——Prolog里的6-"read"是一个复合项（结构），-是函子，第一个参数是数字，第二个是字符串。直接通过模式匹配提取第二个参数，比字符串操作高效得多，还能避免处理各种字符串边界情况。

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