Summary of Lists in Prolog

length(L,N) succeeds if N is the length of L

member(X,L) succeeds if X is a member of list L

last(X,L) succeeds if X is the last element of list L

reverse(L1,L2) unifies L2 with the reversed list of L1

flatten(L1,L2) unifies L2 with the flattened list of L1

append(L1,L2,L3) succeeds if L3 is the concatenation of L1 and L2

select(X, L1, L2) selects X out of L1, leaving L2 (current version of SWI-Prolog)

select(L1, X, L2) selects X out of L1, leaving L2 (old version of SWI-Prolog on our Suns)


`length(L,N)`	succeeds if `N` is the length of `L`
`member(X,L)`	succeeds if `X` is a member of list `L`
`last(X,L)`	succeeds if `X` is the last element of list `L`
`reverse(L1,L2)`	unifies `L2` with the reversed list of `L1`
`flatten(L1,L2)`	unifies `L2` with the flattened list of `L1`
`append(L1,L2,L3)`	succeeds if `L3` is the concatenation of `L1` and `L2`
`select(X, L1, L2)`	selects `X` out of `L1`, leaving `L2` (current version of SWI-Prolog)
`select(L1, X, L2)`	selects `X` out of `L1`, leaving `L2` (old version of SWI-Prolog on our Suns)