member(X,L)在X是列表L的元素时返回true，否则返回false。

    member的第一个子句匹配的是X为列表的第一个元素的情况，这种情况下member返回true。如果第一个子句不匹配，则第二个子句将匹配第二个参数是非空列表的情况，这种情况下模式[_|T]匹配一个非空列表并将T绑定到列表的尾部，然后以原来的X及列表的尾部T递归调用member。member前两个子句就是在说当X是列表的第一个元素（头部），或它被包含在列表的剩余部分（尾部）中时，X就是该列表的一个成员。member的第三个子句是说X不可能是空列表[]的成员，并因此返回false。

    我们将member的求值过程列举如下：

    1. > lists:member(a,[1,2,a,b,c]).
    2. (0)lists:member(a,[1,2,a,b,c])
    3. (1).lists:member(a, [2,a,b,c])
    4. (2)..lists:member(a,[a,b,c])
    5. (2)..true
    6. (1).true
    7. (0)true
    8. true
    9. > lists:member(a,[1,2,3,4]).
    10. (0)lists:member(a, [1,2,3,4])
    11. (1).lists:member(a, [2,3,4])
    12. (2)..lists:member(a, [3,4])
    13. (3)...lists:member(a, [4])
    14. (4)....lists:member(a, [])
    15. (3)...false
    16. (2)..false
    17. (1).false
    18. (0)false
    19. false

    append(A,B)连接两个列表A和B。

    1. append([H|L1], L2) -> [H|append(L1, L2)];
    2. append([], L) -> L.

    第一个子句给出了追加一个非空列表到另一个列表之后的规则。因此，对于：

    其求值结果为：

    1. [a | append([b,c], [d,e,f])]

    那么append([b,c],[d,e,f])的值又是多少呢？它（当然）是[b,c,d,e,f]，因此[a|append([b,c],[d,e,f])]的值就是[a|append([b,c],[d,e,f])]，这也是[a,b,c,d,e,f]的另一种写法。

    append的行为如下：

    1. > lists:append([a,b,c],[d,e,f]).
    2. (0)lists:append([a,b,c],[d,e,f])
    3. (1).lists:append([b,c], [d,e,f])
    4. (2)..lists:append([c],[d,e,f])
    5. (3)...lists:append([], [d,e,f])
    6. (3)...[d,e,f]
    7. (2)..[c,d,e,f]
    8. (1).[b,c,d,e,f]
    9. (0)[a,b,c,d,e,f]
    10. [a,b,c,d,e,f]

    reverse(L)利用一个辅助函数reverse/2将最终结果累积到第二个参数中。

    调用reverse(L,Acc)时，若L是一个非空列表，则将L的第一个元素移除并添加到Acc的头部。因此对reverse([x,y,z],Acc)的调用将导致reverse([y,z],[x|Acc])的调用。最终reverse/2的第一个参数将归结为一个空列表，这时reverse/2的第二个子句将被匹配并另函数结束。

    整个过程如下：

    1. (0)lists:reverse([a,b,c,d])
    2. (1).lists:reverse([a,b,c,d], [])
    3. (2)..lists:reverse([b,c,d], [a])
    4. (3)...lists:reverse([c,d], [b,a])
    5. (4)....lists:reverse([d], [c,b,a])
    6. (5).....lists:reverse([], [d,c,b,a])
    7. (5).....[d,c,b,a]
    8. (4)....[d,c,b,a]
    9. (3)...[d,c,b,a]
    10. (2)..[d,c,b,a]
    11. (1).[d,c,b,a]
    12. (0)[d,c,b,a]
    13. [d,c,b,a]

    delete_all(X,L)用于删除列表L中出现的所有X。

    1. delete_all(X, [X|T]) ->
    2.     delete_all(X, T);
    3. delete_all(X, [Y|T]) ->
    4.     [Y | delete_all(X, T)];
    5. delete_all(_, []) ->

    delete_all的第一个子句在要删除的元素出现在列表的头部时匹配。