prolog - 了解 head 的这个序言实现

Question

head([Y],Y):-!.

head([X|XS],X).

我知道列表的头部存储在变量 X 中。

第一条是什么意思？是裁员吗？为什么？

Answer 1

head/2的实现很简单:

head([X | _], X).

请注意，这里的下划线表示“我们不关心的零个或多个元素”。

没有必要挑出列表只有一个元素的情况(然后使用剪切)。