从列表中取出偶数

Question

定义规则filterevens(LST0, LST1)。该规则描述了列表LST0如何与列表LST1相关，列表LST1仅由LST0的偶数元素组成。

我需要从列表中选取偶数，我得到了这个：

filterevens([],[]).
filterevens([H|T],R):-
    (  0 is mod(H,2) 
    -> R = [H|T2]
    ;  R = T2
    ),
    filterevens(T,T2).

当输入时

?- filterevens( [2,4] ,A).

它可以给我正确的答案。但如果我尝试

?- filterevens(A,[2,4]).

它会导致错误。那么我应该怎么做才能在一条规则中同时完成这两项任务呢？

Answer 1

在没有 ; 的情况下完整地写出这些情况就足以使其在基本情况下工作：

filterevens([], []).

filterevens([H|T], [H|TEvens]):-
    0 is H mod 2,
    filterevens(T, TEvens).

filterevens([H|T], TEvens):-
    M is H mod 2,
    dif(M, 0),
    filterevens(T, TEvens).

那么：

?- filterevens(A, [2,4]).
A = [2, 4]

一般情况下， A 可以是任何长度 [1, 2,1,4] 或 [1,1,1,1,1,2,4]，使用 2、4 因为只有偶数会更困难。如果您可以限制列表的成员，例如“1 到 1,000 之间的正整数”，您可以使用 clpfd 库构建一些东西。