一个 prolog 谓词，用于将列表拆分为每个 n 个元素的单独列表

Question

标题是必需的谓词，这里有几个示例查询

?- splitEvery(2,[a,b,c,d,e,f,g,h],R).

R = [[a, b], [c, d], [e, f], [g, h]] ;

false.

?- splitEvery(4,[a,b,c,d,e,f,g,h],R).

R = [[a, b, c, d], [e, f, g, h]] ;

false.

?- splitEvery(8,[a,b,c,d,e,f,g,h],R).

R = [[a, b, c, d, e, f, g, h]] ;

false.

到目前为止我的代码是这样的

splitEvery(N,List,Res):-

    splitEveryHelper1(N,List,Res,1,[]).

splitEveryHelper1(_,[],Acc,_,Acc).

splitEveryHelper1(N,[H|T],Res,C,[[H|HT]|AT]):-

    C=<N,

    C\_new is C+1,

    splitEveryHelper1(N,T,Res,C_new,[[HT]|AT]).

splitEveryHelper1(N,List,Res,C,[AH|TR]):-

    C>N,

    C\_new=1,

    splitEveryHelper1(N,List,Res,C_new,AT).

但它不能正常工作

Answer 1

它有助于分解您的问题。您想获取一个事物列表并将其拆分为 N 个项目的单独子列表，对吗？

这是重复执行以下操作的问题：

• 从列表的头部拉出不超过 N 个项目，并且
• 向下递归剩余的内容。

因此，您需要一个谓词从列表的前面提取不超过 N 个项目。有3种情况：

• 一般情况：N > 0 且列表非空。在这里，我们将列表的头部添加到我们正在构建的前缀中，递减 N，然后向下递归剩下的部分。

• 特殊情况 #1：N > 0 并且列表为空。在这里，我们关闭前缀并返回空列表作为后缀。

• 特殊情况#2：N 为 0。这里，我们关闭前缀并返回源列表作为后缀。

first( N , [X|L] , [X|Xs] , Sfx ) :- N > 0 , N1 is N-1 , first( N1, L, Xs, Sfx ) .
first( N , []    , []     , []  ) :- N > 0 .
first( 0 , Xs    , []     , Xs  ) .

一旦我们有了它，重复调用first/4就更容易了。

• 如果源列表为空，则列表列表为空。
• 如果源列表非空，我们
  • 从源列表中拉出前 N 项，然后
  • 递归处理剩下的内容

split_every( _ , []     , []        ) .
split_every( N , [X|Xs] , [Pfx|LoL] ) :- first(N,[X|Xs],Pfx,Sfx), split_every(N,Sfx,LoL) .

你可以，错误...在这个小提琴中摆弄它：https://swish.swi-prolog.org/p/split-list.pl

Answer 2

这个紧凑片段满足您列出的查询

splitEvery(N,L,R) :-
    length(R,_),
    maplist({N}/[X]>>length(X,N),R),
    append(R,L).

但它有一个很大的缺陷（除了需要库（yall））。你能看出来吗？

编辑

关于你的代码：你做的比要求的更复杂，忽略编译器给你的关于单例的消息。

请记住，累加器会反转列表，因此您应该删除它们。而是在输出参数中构建列表。

给你一个开始：

splitEvery(N,List,Res):-
    splitEveryHelper1(N,List,1,Res).

splitEveryHelper1(_,[],_,[]).
splitEveryHelper1(N,[H|T],C,[[H|R]|AT]):-
    C=<N,
    C_new is C+1,
    ....
splitEveryHelper1(N,List,C,[[]|TR]):-
    C>N,
    C_new=1,
    ....

用适当的递归调用填充点。然后它将正常工作。