如何在Prolog中从位置值列表生成所有组合序列？

你需要的功能本质是求列表的笛卡尔积——从每个子列表中依次选取一个元素，生成所有可能的组合序列。以下是直接的Prolog实现：

magic_function([], []).
magic_function([Head|Tail], [Elem|Rest]) :-
    member(Elem, Head),
    magic_function(Tail, Rest).

代码说明 #

• 终止条件：magic_function([], []). 当输入的列表列表为空时，唯一结果是空列表，结束递归。
• 递归逻辑：
  1. member(Elem, Head) 从第一个子列表Head中枚举每一个元素Elem
  2. magic_function(Tail, Rest) 递归处理剩余的子列表，生成所有可能的后续序列Rest
  3. 将当前元素Elem与后续序列Rest拼接，得到完整的组合序列[Elem|Rest]

测试示例 #

执行你给出的测试用例，会得到预期结果：

?- A = [[1], [a, b], [2]], magic_function(A, Ans).
   Ans = [1, a, 2]
;  Ans = [1, b, 2]
;  false.

?- B = [[1], [a, b], [4, 5]], magic_function(B, Ans).
   Ans = [1, a, 4]
;  Ans = [1, a, 5]
;  Ans = [1, b, 4]
;  Ans = [1, b, 5]
;  false.

这个实现借助Prolog的回溯特性，自动枚举所有可能的元素组合，完全符合你的需求。

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