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).

第一个条款说如果两个列表的头部统一，那么当两个列表都减少时，将统一头部附加到减少问题的输出上。

第二个条款说如果磁头没有统一，那么当只减少第二个列表时，将第二个列表的头部附加到缩小问题的输出上。

这是demo on ideone。

Prolog统一了两个列表

1 个答案: