也许是这样的内容: 可能是这样的: removehead([_|Tail], Tail). 测试: prolog> removehead([1,2,3,4], R). [2,3,4] R在此未绑定,用于将其绑定到结果。