Разобраться в предикате "append" - Prolog

Формулировка задачи:

Помогите разобраться в коде программы. Что в данном примере выполняет предикат "append"? Какой алгоритм его работы?

/*   Программа, образующая “мутанты” из заданных            */
/*   в базе данных названий животных. Мутант – это слово,       */
/*   полученное соединением двух слов: конец первого        */
/*   совпадает с началом второго.                       */
domains
type = string
lst = char*
predicates
run
style_mutant
mutant(lst)
animal(type)
append(lst, lst, lst)
str_list(type, lst)
print_list(lst)
goal
run.
clauses
run :- write("   Красивые мутанты: \n\n"), style_mutant.
style_mutant :- mutant(X), print_list(X), fail.
mutant(Z) :- animal(XSt), str_list(XSt, X), animal(YSt), str_list(YSt, Y),
append(_, [B|Bs], X), append([B|Bs], [C|Cs], Y),
append(X, [C|Cs], Z).
append([], Xs, Xs).
append([X|Xs], Ys, [X|Zs]) :- append(Xs, Ys, Zs).
/*  База данных */
animal("крокодил").
animal("лошадь").
animal("черепаха").
animal("карибу").
animal("хамелеон").
animal("волк").
animal("буйвол").
/*  –––––––––––––––––   */
str_list("", []).
str_list(Str, [X|Xs]) :- 
frontchar(Str, X, Rest),
str_list(Rest, Xs).
print_list([]) :- !, nl.
print_list([X|Xs]) :- write(X), print_list(Xs).

Решение задачи: «Разобраться в предикате "append"»

Листинг программы

% если левый список пуст, то итоговый список совпадает с правым списком
my_append([], RightList, RightList).
% иначе, взять голову из левого списка и перенести в голову итогового списка,
my_append([LeftHead|LeftTeil], RightList, [LeftHead|RightPart]) :-
    % продолжить для хвоста левого списка
    my_append(LeftTeil, RightList, RightPart).

Объяснение кода листинга программы

Код представляет собой реализацию функции append на языке Prolog.

Если левый список пуст, то есть когда передается пустой список [], тогда итоговый список будет совпадать с правым списком, то есть RightList.
В противном случае, код берет голову из левого списка (обозначено как LeftHead) и переносит ее в голову итогового списка (обозначено как [LeftHead|RightPart]).
Затем код рекурсивно вызывает себя для хвоста левого списка (обозначено как LeftTeil), с обновленными значениями для правого списка (RightList) и правой части итогового списка (RightPart). Таким образом, код работает по принципу разделяй и властвуй, рекурсивно обрабатывая каждую часть списка до тех пор, пока не будет достигнут конец списка.