?- append([1,2,3],[4,5,6],R). R = [1, 2, 3, 4, 5, 6].