Prolog中如何从嵌套列表内提取指定子列表

首先明确：这个问题和列表长度没有关系，member 完全支持单元素列表的元素匹配，你的写法失效大概率是变量状态或者匹配上下文的问题。

复现验证 #

在标准Prolog（比如SWI-Prolog）中直接运行你给的单元素场景代码：

?- L1 = [[a, [b,c]]], member([_, L2], L1).
L2 = [b, c].

可以看到完全能正常提取到 [b,c]，说明语法本身没有问题。

常见失效原因 #

• 变量提前绑定：如果运行这句查询前，a 或者 L2 已经被绑定过其他值，Prolog的单次赋值规则会导致匹配失败。比如你之前运行过 L2 = test 没有重置变量，就会出现匹配失败的情况。
• 语法拼写错误：检查是不是漏写了括号、或者大小写错误（Prolog中小写是原子，大写是变量，如果你把a写成A，匹配逻辑也会变化）。

更稳妥的写法 #

如果你能确定L1只有一个元素，直接用模式匹配提取即可，效率比遍历列表的member更高：

L1 = [[_, L2]]

如果L1长度不固定，要提取所有符合[任意值, 第二个元素]结构的元素的第二个值，你原来的member([_, L2], L1)写法是完全通用的，适配任意长度的列表。

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