```
?- append([[1,2], [3]], List).
List = [1,2,3].
```