SWI-Prolog，首先删除一个元素，然后反转结果列表

Question

目前，我对这个问题感到困惑-这使我发疯。 我是Prolog的新手，所以我仍然了解基本知识。 从标题中，我要做的就是从列表中删除一个元素，然后从结果列表中将其反转。

到目前为止，我对如何在不同的列表上分别执行这些功能进行了一些研究，但我不知道如何在单个列表上执行这两个功能（先删除再反转）。

我的撤消和删除如下：

reverse(List, RevList) :-
    reverselist(List, [], RevList).
reverselist([], RevList, RevList).
reverselist([E|Elements], Accu, RevList) :-
    reverselist(Elements, [E|Accu], RevList).

del(Element, [Element|Tail], Tail).
del(Element, [Y|Tail], [Y|Tail1]) :-
    del(Element, Tail, Tail1).

我的尝试：

delete_reverse(Element, [Element|Tail], Tail1) :-
    // no idea what im doing below..
    del(Element, Tail, Tail1),
    reverse(Tail1, Tail).

Answer 1

首先，您的del缺少基本情况：

del(_,[],[]).

然后，您的delete_reverse几乎是正确的：您应该使用其他变量名来统一del的结果和reverse的输入：

delete_reverse(Element, [Element|Tail], Tail1) :-
    del(Element, Tail, Temp),
    reverse_family(Temp, Tail1).