包含任何内容 ([_]) 和任何内容 (_) 的列表有什么区别

我试图完成以下任务，如果我有两个列表，L1 和 L2，我希望结果 (R) 是 L1 中 L2 的“减法”。

Example:

L1 = [1,2,3]
L2 = [2,3,4,5]

R = [1]

我能够做到这一点，但我不知道两者之间有什么区别_ and [_].

如果我这样做：

diferencia([],_,[]).
diferencia([X|Tail],L2,R):-
    member(X,L2),
    diferencia(Tail,L2,R).
diferencia([X|Tail],L2,[X|R]):-
    not(member(X,L2)),
    diferencia(Tail,L2,R).

它有效，如果我这样做，它会给我错误：

diferencia([],[_],[]).
diferencia([X|Tail],L2,R):-
    member(X,L2),
    diferencia(Tail,L2,R).
diferencia([X|Tail],L2,[X|R]):-
    not(member(X,L2)),
    diferencia(Tail,L2,R).

我会假设一个包含任何内容的列表[_]应该可以工作，因为 L2 始终是一个列表。

实际上，_匹配一个变量并且仅匹配一个变量。在这里，您希望它匹配2, 3, 4, 5（四个变量）。不可以。它只能匹配[2, 3, 4, 5]（列表）。你必须写[_|_]使头部和尾部匹配（[2|[3, 4, 5]])

Or [_, _, _, _, _, _, ...]与数量_是列表中项目的确切数量，以便每个元素都与匿名变量正确匹配。

要记住的基本事情是_只是一个普通变量。如果您很难记住它，只需明确的名称，例如_Head or _Accumulator，这样当你编写代码时，你就会意识到你操作的东西实际上是一个变量，只是你不关心它（以 a 开头的变量）_至少在 swi-pl 中不会产生单例变量警告，因此它们可以代替_以获得更好的整体清晰度）。

Edit：另一种说法是，在你的标题中，你认为_是什么。但任何事物都可以是无，任何事物都可以是很多东西。_只能是一件事。这就是为什么它不起作用：]