?-append ([a, b], [c], [a,b,c]). 