如何在Prolog中将列表的列表转换为元组的列表？

我们需要实现一个Prolog谓词，将列表的列表转换为元组的列表。示例效果如下：

• 输入 [[a,b],[b,c]]，输出 [(a,b),(b,c)]
• 输入 [[a,b],[c,d]]，输出 [(a,b),(c,d)]

以下是实现该功能的谓词代码：

% 定义一个谓词，接收列表的列表，返回元组的列表
convert_list_to_tuple(ListOfLists, ListOfTuples) :-    
    % 基础情况：若输入列表为空，返回空列表
    ListOfLists = [],
    ListOfTuples = [].

convert_list_to_tuple(ListOfLists, ListOfTuples) :-    
    [Head|Tail] = ListOfLists,
    Head =.. Tuple,  % 将列表Head转换为对应的元组Tuple
    convert_list_to_tuple(Tail, TailTuples),
    ListOfTuples = [Tuple|TailTuples].

代码逻辑说明 #

1. 基础情况：当输入的列表为空时，直接返回空列表，作为递归的终止条件。
2. 递归处理：
   • 将输入列表拆分为头部子列表Head和剩余列表Tail
   • 利用Prolog的=../2（univ操作符），把列表Head转换为对应的元组Tuple
   • 递归处理剩余列表Tail，得到转换后的元组列表TailTuples
   • 将当前转换得到的元组Tuple与TailTuples拼接，得到最终的元组列表

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