[ library(lists) | Reference Manual | Alphabetic Index ]

# append(+ListOfLists, -LongList)

Concatenate a list of lists

ListOfLists
  A list of lists
LongList
  Concatenation of the individual lists

## Description

Concatenates (appends) several lists into one long list. The lists to be concatenated and their order is given as ListOfLists. If the number or length of the given lists are unknown, the predicate delays.

### Modes and Determinism

- append(+, -) is det

## Examples

    	?- append([[a,b],[c],[],[d]], Zs).
    	Zs = [a, b, c, d]
    	Yes (0.00s cpu)

    	?- append([[a,b],c,[d]], Zs).
    	No (0.00s cpu)

    	?- append([], Zs).
    	Zs = []
    	Yes (0.00s cpu)

    	?- append([[a]|Bs], Zs).
    	Bs = Bs
    	Zs = [a|_177]
    	Delayed goals:
    		append(Bs, _177)
    	Yes (0.00s cpu)

    	?- append([[a],Bs,[c]], Zs).
    	Zs = [a|_183]
    	Delayed goals:
    	    	lists : append3(Bs, [c], _183)
    	Yes (0.00s cpu)

## See Also

append / 3, flatten / 3