Closed s-webber closed 3 years ago
append/2 succeeds if the concatenation of the lists contained in the first argument can be unified with the second argument. e.g.:
append/2
?- append([], X). X = [] ?- append([[a,b,c],[q,w,e],[x,[y],z],[1,2,3]], X). X = [a, b, c, q, w, e, x, [y], z, 1, 2, 3]
append/2succeeds if the concatenation of the lists contained in the first argument can be unified with the second argument. e.g.: