Documentation append/3
available from version beta

append/3

Join two lists.

Description

append( ?list, ?list, ?list )

append(L1, L2, L1_L2) is true and only true if L1_L2 is a list made up by concatenating L1 and L2.

Implementation