如何从序言中的两个列表创建原子对列表？

Question

我是序言的新手。让我在下面向您展示我想要的内容作为评论..

% ?-pair([1,2],[a,b],Result).
% Result= [{1,a},{1,b},{2,a},{2,b}].

而我所做的是..

pair([],Q,[]).
pair(P,[],[]).
pair([A|P],[B|Q],[{A,B}|R]) :- pair([A|P],Q,R).
pair([A|P],[B|Q],[{A,B}|R]) :- pair(P,[B|Q],R).

使用这段代码，我得到了这样的结果：

?- pair([1,2],[a,b],R).
R = [{1, a}, {1, b}] ;
R = [{1, a}, {1, b}, {2, b}] ;
R = [{1, a}, {1, b}, {2, b}] ;
R = [{1, a}, {2, a}, {2, b}] ;
R = [{1, a}, {2, a}, {2, b}] ;
R = [{1, a}, {2, a}] ;
false.

我想在一行中没有重复..

Answer 1

你应该向 Prolog 解释你想要什么（什么是一对，如何构建它），然后让 Prolog 找到所有的对。