Prolog - 从两个已经排序的列表中创建第三个排序列表

Question

我正在尝试从 Prolog 中的两个已排序列表中获取第三个排序列表。 算法如下： 1.比较两个列表的头部 1.1 如果第一个小于或等于第二个，则将其插入到第三个列表中，然后将其从第一个列表中删除。 1.2 否则，将第二个列表的头部插入第三个并从第二个中删除。 2. 重复这些步骤，直到一个列表为空。

理论上这应该可行，但我缺少一些东西。

这是我的代码：

insSort([],[],[]).
insSort([],L,L).
insSort(L,[],L).
insSort([H1 | T1],[H2 | T2],L) :- H1 =< H2,
                                    append([H1],[],L1),
                                    insSort(T1,[H2 | T2],L1),L=L1,!.

insSort([H1 | T1],[H2 | T2],L) :- append([H2],[],L1),
                                    insSort(T2,[H1 | T1],L1),L=L1.

Answer 1

我认为您误解了 Prolog 变量的行为方式。在你给一个变量赋值之后（术语是“统一”），你永远不能改变它。因此，当您将[H1] 的值分配给L1（使用append 以相当复杂的方式）时，另一个insSort 无法使用它来返回结果。修复代码的方法如下：

insSort([],[],[]).
insSort([],L,L).
insSort(L,[],L).
insSort([H1 | T1],[H2 | T2],L) :- H1 =< H2,
                                  append([H1],L1,L),
                                  insSort(T1,[H2 | T2],L1),!.

insSort([H1 | T1],[H2 | T2],L) :- append([H2],L1,L),
                                  insSort(T2,[H1 | T1],L1).

这样，L 将变为[H1|L1]，我们知道H1 的值，我们将在一段时间内通过再次调用insSort 来计算L1 的值。

另外，这里不需要使用append，L = [H1|L1] 之类的就足够了。