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

List 如何删除列表中的第一个元素,list,prolog,List,Prolog,我需要从列表中删除第一个元素(head)。我该怎么做?可能类似于: removehead([_|Tail], Tail). 测试: R在这里是未绑定的,用于绑定结果。@moti:如果不绑定,我会很惊讶。但我没有测试它。不客气。:-] prolog> removehead([1,2,3,4], R). [2,3,4]

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

可能类似于:

removehead([_|Tail], Tail).
测试:


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

@moti:如果不绑定,我会很惊讶。但我没有测试它。不客气。:-]
prolog> removehead([1,2,3,4], R).
[2,3,4]