Как добавлять списки в Prolog?

Как добавить списки в Prolog? Я искал в Интернете и нашел это (изhttp://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_7.html)

append([X|Y],Z,[X|W]) :- append(Y,Z,W).  
append([],X,X).

Таким образом, он получает Zпутем удаления элементов [X|Y]в [X|W]. Но как мне добавить два списка вместе?

Пример,

appendlist([1,2],[3,4,5],X).

Результат будет X = [1,2,3,4,5].

Также я не знаю, что происходит в рекурсии. (Проследил, но не понял)

РЕДАКТИРОВАТЬ:Что я хочу знать, так это то, как это должно быть закодировано, чтобы функционировать как предопределенное append()в Прологе.