Разделить список на куски необходимой длины - PullRequest
Новая
       5

Разделить список на куски необходимой длины

1 голос
/ 25 марта 2012

Я пытался написать предикат divide(L,Len,Slist), который будет истинным, когда Slist может объединиться со списком длины Len, выделенным из списка L. Например, 

divide([1,2,3,4,5,6,7],3,Slist).

Должен дать такие ответы 

Slist=[1,2,3];
Slist=[2,3,4];
Slist=[3,4,5];
Slist=[4,5,6];
Slist=[5,6,7];

Но я не мог найти лучший способ, чем length(X,Len), sublist(L,X)., но он работает слишком медленно.Как должен выглядеть предикат деления?

Ответы [ 2 ]

2 голосов
/ 25 марта 2012

В качестве альтернативы вы можете использовать DCG, как упомянуто @false в этот замечательный ответ : 

seq([])     --> [].
seq([E|Es]) --> [E], seq(Es).

divide(List, Length, Result) :-
    length(Result, Length),
    phrase((seq(_), seq(Result), seq(_)), List).
1 голос
/ 25 марта 2012

sublist / 2 не работает должным образом: 

?- [library(dialect/sicstus/lists)].
% library(dialect/sicstus/lists) compiled into sicstus_lists 0,00 sec, 14 clauses
true.

?- L=[1,2,3,4,5,6], length(T, 3),sublist(T,L).
L = [1, 2, 3, 4, 5, 6],
T = [1, 2, 3] ;
L = [1, 2, 3, 4, 5, 6],
T = [1, 2, 4] ;
L = [1, 2, 3, 4, 5, 6],
T = [1, 2, 5] ;
....

Вместо этого вы можете использовать append / 3: 

?- L=[1,2,3,4,5,6], length(T, 3), append(_, Q, L), append(T, _, Q).
L = [1, 2, 3, 4, 5, 6],
T = [1, 2, 3],
Q = [1, 2, 3, 4, 5, 6] ;
L = [1, 2, 3, 4, 5, 6],
T = [2, 3, 4],
Q = [2, 3, 4, 5, 6] ;
L = [1, 2, 3, 4, 5, 6],
T = [3, 4, 5],
Q = [3, 4, 5, 6] ;
L = [1, 2, 3, 4, 5, 6],
T = Q, Q = [4, 5, 6] ;
false.

Я не думаю, что это очень быстро, просто важно ...

...