如何在Prolog中将所有非数字组合成一个列表？

% 定义一个谓词，用于判断一个元素是否为数字
is_number(X) :- number(X).

% 定义一个谓词，用于判断一个元素是否为非数字
is_non_number(X) :- \+ is_number(X).

% 定义一个谓词，用于将所有非数字组合成一个列表
combine_non_numbers([], []).
combine_non_numbers([X|Xs], [X|Result]) :-
    is_non_number(X),
    combine_non_numbers(Xs, Result).
combine_non_numbers([X|Xs], Result) :-
    is_number(X),
    combine_non_numbers(Xs, Result).

% 示例查询
?- combine_non_numbers([a, 1, b, 2, c, 3], Result).

Result = [a, b, c]