Prolog - 从列表列表中获取第一个列表

Question

我有一个列表，其中包含较小的列表，每个列表包含 2 个项目：

[[a,1],[b,2],[c,3]]  

我正在使用一个名为 take(1,L,R) 的函数从列表 L 中获取第一项并返回项目 R。获取函数的代码在这里：

take(0,X,X).
take(N,[H|T],[H|R]):- 
    N>0, M is N-1,
    take(M,T,R).  

目前运行可能如下所示：

1 ?- take(1,[[a],[b],[c]],Taken).
Taken = [[a], [b], [c]]

与输入相同！这对于“常规”1 级深度列表也是如此：

2 ?- take(1,[a,b,c],Taken).
Taken = [a, b, c]

问题：
你的问题是我怎样才能使结果看起来像：

1 ?- take(1,[[a],[b],[c]],Taken).
Taken = [a]

我想返回我发送的列表的前 N ​​项。

Answer 1

您的基本情况take(0, X, X). 完全按照它所说的去做——给定任何值X，结果是X。我认为您想说的是take(1, [H|T], H).（它产生列表的第一个元素）。

我认为您实际上追求的是take(0, _, [ ]).，当从任何列表中“获取” 0 个项目时，它会产生一个空列表。这适用于您现有的递归案例。

您说您要获取“列表的前 N ​​个项目”——这样的结果必须存储在 N 个项目的列表中。因此take(1, [a, b, c], Taken) 将产生Taken = [a]，而不是Taken = a。同样，take(1, [[a], [b], [c]], Taken). 将产生Taken = [[a]].。特殊情况下的 take(1, ...) 表单只返回第一项（不将其包装在列表中）会破坏您的递归。