Question

如何计算列表的长度

?- size_sub([[b,a,g], [9,3,7,4], [6]],  X).
X = [3, 4, 1].

?- size_sub([[c,g,e,w], [7]],  X).
X = [4, 1].

?- size_sub([],  X).
X = [].

Answer 1

要在列表列表中映射length/2，我们可以像这样使用meta-predicate maplist/3：

size_sub(Xss,Ls):-
    maplist(length,Xss,Ls).

Answer 2

好的，你需要从作为最后答案的基本案例开始

所以size_sub([],X).如果X=[]为真，那么首先你要写它。

size_sub([],[]).

然后，您需要执行归纳步骤，该列表比前一个更长。我将假设您有一个size / 2函数来确定单个列表的大小（如果没有请注释）。

因此，归纳步骤将在第一参数的长度上操作，因此N> N + 1。我们通过剥离列表语法的头部来表示这将是[H|T]现在第二个参数（你的答案）将是H的长度，结果是在T上调用size_sub。因为我们不能指定规则在标题中的参数中，我们将使用N来表示H和T2的长度，以表示T上size_sub的结果。

因此，规则的第一部分变为size_sub([H|T],[N|T2]):-

现在我们使用谓词来跟随它，该谓词将断言N和T2的值。

size(H,N),
size_sub(T,T2).

将所有这些放在一起

size_sub([],[]).

size_sub([H|T],[N|T2]):-
    size(H,N),
    size_sub(T,T2).

size / 2是一个更简单的情况，并且遵循base + inductive的相同过程，你应该能够为它创建规则。如果您需要进一步的帮助，请发表评论。

**编辑 - 请求大小/ 2定义**

定义尺寸/ 2

从基本情况开始，空列表的大小为0。

size([],0).

现在是归纳步骤。长度列表（N + 1）的大小是长度（N）列表的大小。因此，我们将列表定义为[_|T]我使用_来定义列表以表示头部，因为我们从不使用它，所以我们可以使用匿名变量。让我们使用N来表示T的长度，并使用M来表示N + 1.

所以

大小（[_ | T]，M）： -

现在让我们定义N

  size(T,N),

最后断言M等于N + 1

  M is N+1.

所以把所有东西放在一起

size([],0).

size([_|T],N):-
    size(T,M),
    N is M+1.

size_sub([],[]).

size_sub([H|T],[N|T2]):-
    size(H,N),
    size_sub(T,T2).