Prolog 谓词检查列表中数字的整除性

Question

例子

divisible([L1],X) :-
L1 mod X =:= 0.

询问

divisible([4,6,8,7],2).

回复

[4,6,8]

有什么指导吗？

Answer 1

divisible([], _, []).
divisible([H|T], X, [H|T1]) :- H mod X =:= 0, divisible(T, X, T1).
divisible([H|T], X, T1) :- H mod X =\= 0, divisible(T, X, T1).