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

Question

我是 prolog 的新手。让我在下面告诉你我想要什么作为评论..

% ?-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 找到所有的对。