head:取非空广义表的第一个元素
tail:取非空广义表除第一个元素外剩余元素构成的广义表
L=((x,y,z),a,(u,t,w))
head(L)为(x,y,z)
head(head(L))为x，是单个元素
tail(head(L))为(y,z)，是剩下元素构成的广义表。