如何删除列表中的第一个元素

Question

我需要从列表（头部）中删除第一个元素。我该怎么做？

Answer 1

可能是这样的：

removehead([_|Tail], Tail).

测试：

prolog> removehead([1,2,3,4], R).
[2,3,4]

R在这里未绑定，用于绑定结果。