Prolog -如何将一个元组分隔为我预先存在的列表的一部分？

select(+Element, +List, -Result)

% 定义一个元组
Tuple = (1, 2, 3, 4, 5, 6, 7, 8, 9, 10).

% 定义预先存在的列表
ExistingList = [2, 4, 6, 8].

% 使用select/3将元组分隔为预先存在的列表的一部分
select(Element, Tuple, Result) :-
    select(Element, Tuple, _, Result).

% 调用select/3进行分隔
select_list(ExistingList, Tuple, Result) :-
    select_list_helper(ExistingList, Tuple, [], Result).

% 辅助谓词，递归地将元组分隔为预先存在的列表的一部分
select_list_helper([], Tuple, Acc, Acc).
select_list_helper([X|Xs], Tuple, Acc, Result) :-
    select(X, Tuple, NewTuple),
    select_list_helper(Xs, NewTuple, [X|Acc], Result).

?- select_list([2, 4, 6, 8], (1, 2, 3, 4, 5, 6, 7, 8, 9, 10), Result).
Result = [2, 4, 6, 8].