如何使用递归将多个头添加到列表中

Question

我想从列表A和B中删除每个第n个元素，这些元素与彼此的第n个元素不对应。 例如：我有包含[1,2,3,4,5]列表A和包含[1,2,2,4,7]列表B 结果应该是包含[3,5]列表C和包含[2,7]列表D 我想出了这段代码，但它还没有正常工作。

without_doubles([], [], [_], [_]).
without_doubles([H|T1], [H|T2], C, D):-
    without_doubles(T1, T2, C, D).
without_doubles([H1|T1], [H2|T2], [H1|C], [H2|D]):-
    without_doubles(T1, T2, C, D).

而不是[3,5]和[2,7] ，我得到[3,5,_G2442]和[2,7,_G2445] 。 我知道它可能很容易修复，但我似乎无法弄明白。 谢谢你提前帮助我！

Answer 1

你的第一条规则应该是：

without_doubles([], [], [], []).

两位匿名变量_你面前是你的问题的原因。

但是，您的代码存在第二个问题：

?- without_doubles([1,2,3,4,5],[1,2,2,4,7],L,R).
L = [3, 5],
R = [2, 7] ;
L = [3, 4, 5],
R = [2, 4, 7] ;
L = [2, 3, 5],
R = [2, 2, 7] ;
L = [2, 3, 4, 5],
R = [2, 2, 4, 7] ;
L = [1, 3, 5],
R = [1, 2, 7] ;
L = [1, 3, 4, 5],
R = [1, 2, 4, 7] ;
L = [1, 2, 3, 5],
R = [1, 2, 2, 7] ;
L = [1, 2, 3, 4, 5],
R = [1, 2, 2, 4, 7].

显然我们只想要第一个结果，而不是其他结果。 我们得到其他的原因是因为在最后一条规则中你没有说明H1和H2应该是不同的 。 这意味着当Prolog可以应用第二个规则时，它也可以应用最后一个规则，从而创建所有这些选择点。

您可以通过使用dif/2明确说明上一个规则中的H1和H2必须不同来解决这个问题：

without_doubles([H1|T1], [H2|T2], [H1|C], [H2|D]):-
    dif(H1, H2),
    without_doubles(T1, T2, C, D).

现在我们有：

?- without_doubles([1,2,3,4,5],[1,2,2,4,7],L,R).
L = [3, 5],
R = [2, 7] ;
false.

Answer 2

您的代码有两个问题：

1. basecase将singleton列表指定为第三个和第四个参数，而这些列表应为空列表;
2. 没有什么能阻止你回溯第二个条款，因此采取第三个条款。

您可以按如下方式解决此问题：

%% no [_], but []
without_doubles([], [], [], []).
without_doubles([H|T1], [H|T2], C, D):-
    without_doubles(T1, T2, C, D).
%% guard the fact that H1 and H2 are different
without_doubles([H1|T1], [H2|T2], [H1|C], [H2|D]):-
    dif(H1,H2),
    without_doubles(T1, T2, C, D).