如何制作一个可以列出对的列表？

Question

我想在Prolog中创建一个谓词Y = [[1,2],[3,4],[5,6]]，当它被给出一个列表时 X = [1,2,3,4,5,6]，它将在列表{{1}}中生成对。你能帮我么？基本上，我无法理解如何将列表成对划分.. 谢谢

Answer 1

这是一个非常简单的解决方案：

pairlist([],[]).
pairlist([A],[[A]]).
pairlist([A,B|T],[HL|TL]):-
    HL = [A,B],
    pairlist(T,TL).