List Processing

T =.. L

the functor and arguments of term T comprise the list L

append(A,B,C)

the list C is the concatenation of lists A and B

keysort(L,S)

the list L sorted by key yields S

length(L,N)

the length of list L is N

sort(L,S)

sorting the list L into order yields S