Prolog:确定两个列表的交集是否为空

Question

我正在尝试找出如何确定 Prolog 中两个列表的交集是否为空。据我了解，这是他们没有共同点。我是 Prolog 的新手(截至昨晚)。任何帮助是极大的赞赏。

这是我的尝试:

% returns true if head is not a member of List?
intersection([],_).
intersection([Head|Tail],List) :- 
   \+ member(Head,List),  
   intersection(Tail,List).

第二次尝试:

?- intersect([A,B,C,D],[E,F,G,H]).

intersect(L1,L2) :-
    intersection(L1,L2,[]).

mbratch 的解决方案解决了这个问题。

解决方法:

?-intersect([a,b,c,d],[e,f,g,h]).

intersect(L1,L2):-
    intersection(L1,L2,[]).

Answer 1

与计算两个列表的交集相比，一个更有效的解决方案(通常)是在找到公共(public)元素后立即失败:

empty_intersection(List1, List2) :-
    \+ (member(Element, List1), member(Element, List2)).