Prolog - 返回包含特定元素的列表？

我正在尝试学习 Prolog，并且一直在做一些练习。

有一张包含学生姓名的名单。写谓词filter(L,LN)返回名为的第二个列表LN其中包括这样的名称：

?- filter([kostas, dimitris, anna, antonis, antonia], LN).
LN = [kostas, anna, antonia]

所以..它显示一个然后跳过一个并连续执行此操作。 这就是我所做的，但它是不正确的。

filter([],[]).
filter([H|T],[H|LN]) :-
    filter(T,LN,0).

filter([H|T],[H|LN],C) :-
    0 is C mod 2, 
    append(H,LN),
    C = C + 1, 
    filter(T,LN,C). 
filter([H|T],LN,C) :-
    (C/2) \= 0,
    C = C + 1,
    filter(T,LN,C).

使用 DCG 的众多案例之一可以让您的生活变得更加轻松：

s([]) --> [].
s([X|Xs]) --> [X], t(Xs).

t([]) --> [].
t(Xs) --> [_], s(Xs).

filter_dcg(List, Filtered) :-
    phrase(s(Filtered), List).

如果没有 DCG，这将类似于：

q([], []).
q([X|Xs], [X|Ys]) :-
    r(Xs, Ys).

r([], []).
r([_|Xs], Ys) :-
    q(Xs, Ys).

filter_pred(List, Filtered) :-
    q(List, Filtered).

这里要传达的信息是，您想要实现的目标很容易实现为具有两种状态的状态机。他们每个人都会过渡到另一个人，一个人保留其输入，另一个人则将其丢弃。