在Prolog中删除列表的第一个元素

Question

我的问题是如何删除列表中的第一个元素，直到一个元素（第一次出现）。 该列表可以包含重复的元素。

例如

?- L = [a, b, c, a, c, d], remove_elements(c, L, Result).
Result = [c, a, c, d].

我到目前为止所拥有的是：

remove_elements(Element, [], []).
remove_elements(Element, [Element|Tail], [Tail]).
remove_elements(Element, [Head|Tail], [Tail]) :-
    Head \== Element,
    remove_elements(Element, Tail, Tail).

我不能使用任何图书馆。

如果Element在第一个位置，则解决方案是正确的，但如果在中间，则解决方案将失败。

谢谢

Answer 1

只需进行少量更正，请小心统一。

remove_elements(Element, [], []).
remove_elements(Element, [Element|Tail], [Element|Tail]).
remove_elements(Element, [Head|Tail], List) :- 
                Head \== Element, remove_elements(Element, Tail, List).

如果满足以下条件，则术语S和T是不可更改的：

• S a T是相同的常数
• S a T是（自由）变量（S和T相等（它们共同引用））
• S是变量，T是项≠变量（项T替换为变量S）
• T是变量，S是项≠变量（项S替换为变量T）
• S a T是复合项（具有相同的主函子，对应的论点不可确定）

例子：

?- f(X,a(b,c)) = f(d,a(Y,c)).

X = d，Y = b。

?- f(X,a(b,c)) = f(Y,a(Y,c)).

X = Y = b

?- f(c,a(b,c)) = f(Y,a(Y,c)).

假。