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

Question

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

Answer 1

也许是这样的:

removehead([_|Tail], Tail).

测试:

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

R在这里是未绑定(bind)的，用于绑定(bind)它的结果。