Prolog-过滤器列表

Question

所以我明天要做这个作业。 我必须过滤列表的第n个元素，并将其作为列表返回。 因此，例如：

？-everyNth（3，[a，b，c，d，e，f]，Rs）。 Rs ＝ [c，f]。

我的想法基本上是：

everynth(N, [X|Xs], L) :- everynth(N, [X|Xs], N, L).
everynth(N, [], C, L).
everynth(N, [X|Xs], 0, [X]) :- everynth(N, Xs, N, [X]).
everynth(N, [X|Xs], C, L) :- C1 is C -1,
  everynth(N,Xs,C1,L).

但是它不能以这种方式工作，因为它在第三行中尝试匹配X，第二次返回X时返回X和Count 0。

Answer 1

你快到了。 检查以下修改：

everynth(N, L, NL) :- everynth(N, L, N, NL).

everynth(_, [], _, []).
everynth(N, [X|Xs], 1, [X|NXs]) :- everynth(N, Xs, N, NXs).
everynth(N, [_|Xs], C, NXs) :- C1 is C-1, C1>0,
  everynth(N,Xs,C1,NXs).

everynth/4的第一个子句是递归的终止。 当输入列表中没有更多项目时，它应该给出一个空列表。

everynth/4的第二个子句处理第n个项目，它必须将输入项目放在输出列表中，并继续处理其余项目以重新启动项目计数器。

而且everynth/4的第三个子句处理的项目不是第n个元素，因此您必须跳过该项目，减少计数器并继续处理剩余的项目。

Answer 2

everynth(_, _, [], R, R).
everynth(1, M, [X|Xs], Z, R) :- append(Z, [X], Z1),  everynth(M, M, Xs, Z1, R).              
everynth(N, M, [_|Xs], Z, R) :- N > 1, N1 is N - 1, everynth(N1, M, Xs, Z, R).




?- everynth(3, 3, [a,b,c,d,e,f], [], Rs).
Rs = [c, f] .