如何在Prolog中实现两个表的相交

% 定义谓词intersect，接受两个表作为参数
intersect(List1, List2, Result) :-
    % 对于第一个表中的每个元素
    member(X, List1),
    % 如果该元素存在于第二个表中
    member(X, List2),
    % 将该元素添加到结果表中
    append([X], Result, NewResult),
    % 递归调用intersect谓词，继续处理下一个元素
    intersect(List1, List2, NewResult).

% 当第一个表为空时，返回结果表
intersect([], _, Result) :- Result = [].

% 当第一个表不为空时，继续处理下一个元素
intersect([_|T], List2, Result) :- intersect(T, List2, Result).

?- intersect([1, 2, 3, 4], [3, 4, 5, 6], Result).
Result = [4, 3].