(1) GetHead【(p, h, w)】;
(2) GetTail【(b, k, p, h)】;
(3) GetHead【((a, b), (c, d))】;
(4) GetTail【((a, b), (c, d))】;
(5) GetHead【GetTail【((a, b), (c, d))】】;(6) GetTail【GetHead【((a, b), (c, d))】】;
(7) GetHead【GetTail【GetHead【((a, b), (c, d))】】】;
(8) GetTail【GetHead【GetTail【((a, b), (c, d))】】】.
注意:【】是函数的符号。
(4) GetTail【((a,b),(c,d))】= ((c,d))
(5) GetHead【GetTail【((a,b),(c,d))】】= GetHead【((c,d))】= (c,d)
(6) GetTail【GetHead【((a,b),(c,d))】】= GetTail【(a,b)】= (b)
(7) GetHead【GetTail【GetHead【((a,b),(c,d))】】】= GetHead【(b)】= b
(8) GetTail【GetHead【GetTail【((a,b),(c,d))】】】= GetTail【(c,d)】= (d)