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

Question

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

Answer 1

也许是这样的:

removehead([_|Tail], Tail).

测试:

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

R 在这里是未绑定的,用于绑定结果.