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

假。