Пролог каждый элемент i в подсписке

Question

Можно ли скопировать каждый элемент i из списка в подсписку с только один тройной подсписчик предиката (Элемент, List1, List2) и встроенная длина и добавление? Я знаю, с 4-элементными вспомогательными предикатами, он становится довольно тривиальным, но это не то, что мне нужно. Можно ли предложить стратегию?

Answer 1

с некоторыми встроенными командами декларативным решения очень просто:

sublist(Element, List1, List2) :- 
    findall(E, (nth1(I, List1, E), 0 is I mod Element), List2). 

пока явно итерация:

sublist(Element, List1, List2) :- 
    ( N is Element-1, 
     length(T, N), 
     append(T, [E|R], List1) 
    -> sublist(Element, R, ListR), 
     List2 = [E|ListR] 
    ; List2 = [] 
    ). 

, где вы можете увидеть, как у вас se Boris '

Answer 2

Вы можете использовать lentgth/2 с первым аргументом переменных и вторым целым, чтобы создать список не экземпляры переменных, например:

?- length(L, 4). 
L = [_G936, _G939, _G942, _G945]. 

Если теперь использовать append/3 с этим списком в качестве первого аргумент, и переменная, как вторые, он будет разделен список в вашем третьем аргументе:

?- length(A, 4), append(A, B, [a,b,c,d,e,f,g,h]). 
A = [a, b, c, d], 
B = [e, f, g, h]. 

так что если вы хотите сказать, что пятый элемент списка, вы могли бы взять на себя голова второго аргумента:

?- length(A, 4), append(A, [Fifth|Rest], [a,b,c,d,e,f,g,h]). 
A = [a, b, c, d], 
Fifth = e, 
Rest = [f, g, h]. 

Это не решение, но действенная стратегия:

every_ith(I, In, [X|Ys]) :- 
    N is I - 1, 
    length(Prefix, N), 
    append(Prefix, [X|Xs], In), 
    every_ith(I, Xs, Ys).