Prolog统一两个列表

Question

好的，所以我试着把这两个列表结合起来：[2]和[1,_,3]给出了[1,2,3]的答案。我的代码如下：

unify([],[],_).
unify(List1, [Head|Rest], List2) :- member(List1,Head),!,
                                         unify([X|_], Rest, [X|List2]).
unify(List1, [Head|Rest], [Head|List2]) :- unify(List1, Rest, List2).

当我放?-unify([2],[1,_,3],L)时，它给了我假的，但我希望它给L=[1,2,3]。如何改进上述代码？

我也试过了，但是我弄不清楚。

[debug] 5 ?- unify([2],[1,_,3],L).
T Call: (6) unify([2], [1, _G512, 3], _G520)
T Redo: (6) unify([2], [1, _G512, 3], _G520)
T Call: (7) unify([2], [_G512, 3], _G602)
T Call: (8) unify([_G607|_G608], [3], [_G607|_G602])
T Redo: (8) unify([_G607|_G608], [3], [_G607|_G602])
T Call: (9) unify([3|_G608], [], _G602)
T Fail: (9) unify([3|_G608], [], _G602)
T Fail: (8) unify([_G607|_G608], [3], [_G607|_G602])
T Fail: (7) unify([2], [_G512, 3], _G602)
T Fail: (6) unify([2], [1, _G512, 3], _G520)
false

Answer 1

首先，您需要修复大小写:而不是使用

unify([],[],_).

它表示左边的空列表需要中间的空列表，并产生未定义的结果，请使用以下两种方法：

unify(_,[],[]).
unify([],L,L).

第一个基子句说，如果第二个列表是空的，那么输出也是空的，不管第一个列表中是什么。

第二个基子句说，当第一个列表为空时，输出与第二个列表相同。

现在，我们需要构建两个减少问题的子句：

unify([H|T1], [H|T2], [H|R]) :- unify(T1, T2, R).
unify([H1|T1], [H2|T2], [H2|R]) :- H1 \= H2, unify([H1|T1], T2, R).

第一条规定，如果两个列表的标题统一，那么当两个列表都减少时，将统一的头附加到简化问题的输出上。

第二个子句说，如果头没有统一，那么当只减少第二个列表时，将第二个列表的头附加到简化问题的输出。

这是一个关于理想的演示。