如何在Prolog中按相同索引同时遍历两个列表并获取元素对？

在Prolog中，可以通过自定义递归谓词或借助内置谓词实现按索引配对遍历两个列表，以下是两种实用方式：

方式一：自定义递归谓词逐个返回元素对 #

定义zip/4谓词，通过回溯依次输出每一对对应索引的元素：

% 匹配两个列表的首元素，返回当前元素对
zip([X|_], [Y|_], X, Y).
% 跳过当前首元素，递归处理剩余列表，用于回溯获取下一对
zip([_|Xs], [_|Ys], X, Y) :-
    zip(Xs, Ys, X, Y).

使用示例：

?- X = [1, 2, 3], Y = [a, b, c], zip(X, Y, ElemX, ElemY).
ElemX = 1,
ElemY = a;

ElemX = 2,
ElemY = b;

ElemX = 3,
ElemY = c.

方式二：使用内置谓词（以SWI-Prolog为例） #

如果使用SWI-Prolog这类支持maplist/3的方言，可直接用内置谓词简化实现：

?- X = [1, 2, 3], Y = [a, b, c], maplist(=(ElemX-ElemY), X, Y).
ElemX = 1, ElemY = a ;
ElemX = 2, ElemY = b ;
ElemX = 3, ElemY = c.

说明 #

• 自定义递归谓词兼容性更强，适用于大多数Prolog方言；
• 两种方式均要求两个列表长度一致，否则会在遍历到较短列表末尾时停止返回结果。

内容的提问来源于stack exchange，提问作者Jonas