Prolog交叉的2个列表列表

Question

我试图找到2个不同的列表列表的交集。换句话说，找出list1中的所有列表是否与列表2中的任何列表相交。

列表1：

[[1,4],[1,6],[6,8],[8,10]]

列表2：

 [[], [10], [8], [8, 10], [6], [6, 10], [6, 8], [6, 8, 10]]

我想在list2中找到list1的所有项目相交的项目。解决方案是[4,6,8]

我该怎么做？

Answer 1

一个非常简单的实现可能如下

intersect(L, M, E) :-
    member(E, M),
    maplist(intersect_(E), L).

intersect_(L, M) :-
    member(E, L),
    member(E, M).

示例查询：

?- intersect([[1,4],[1,6],[6,8],[8,10]], [[], [10], [8], [8, 10], [6], [6, 10], [6, 8], [6, 8, 10]], E).
false.

?- intersect([[1,4],[1,6],[6,8],[8,10]], [[], [10], [8], [8, 10], [6], [6, 10], [6, 8], [6, 8, 10], [4,6,8]], E).
E = [4, 6, 8] ;
E = [4, 6, 8] ;  % This succeeds twice because the list [6,8] has two ways of satisfying the predicate
false.