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

Question

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

Answer 1

也许是这样的：

removehead([_|Tail], Tail). 

测试：

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

R是绑定在这里，和用于捆绑它的结果。