Необходимы комментарии к коду - Prolog

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

Привет. Нужна помощь. Не понимаю 2 строки из данного кода

domains 
node = symbol 
way = node* 
lway = way* 
 
predicates 
nondeterm path(node, lway, way) 
nondeterm rebro(node, node) 
nondeterm go(node, way, way) 
nondeterm member(node, way) 
%nondeterm conc(way, way, way) 
nondeterm conc(lway, lway, lway) 
 
clauses 
rebro(g, a). rebro(a, g). 
rebro(a, f). rebro(f, a). 
rebro(f, e). rebro(e, f). 
rebro(e, d). rebro(d, e). 
rebro(d, c). rebro(c, d). 
rebro(c, b). rebro(b, c). 
rebro(b, f). rebro(f, b). 
rebro(g, h). rebro(h, g). 
rebro(h, c). rebro(c, h). 

path(Z, [[Z|Was]|_],[Z|Was]) :- !.
path(Z, [[X|Was]|T], Sol):- findall(Y, go(X, Was, Y), TC), conc(T, TC, T1), !, path(Z, T1, Sol). 
 
go(X, T,[Y, X|T]):- rebro(X, Y), not(member(Y, T)). 
 
member(X, [X|_]) :- !. 
member(X, [_|L]) :- member(X, L). 
 
conc([], L, L). 
conc([H|T], L, [H|T1]) :- conc(T, L, T1). 
 
goal 
path(a, [[d]], Sol).

Прокомментируйте вот эти строки

conc([], L, L). 
conc([H|T], L, [H|T1]) :- conc(T, L, T1).

Решение задачи: «Необходимы комментарии к коду»

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

[trace] 3 ?- conc([1,2,3],[4,5],R).
   Call: (7) conc([1, 2, 3], [4, 5], _G1687) ? creep
   Call: (8) conc([2, 3], [4, 5], _G1772) ? creep
   Call: (9) conc([3], [4, 5], _G1775) ? creep
   Call: (10) conc([], [4, 5], _G1778) ? creep
   Exit: (10) conc([], [4, 5], [4, 5]) ? creep
   Exit: (9) conc([3], [4, 5], [3, 4, 5]) ? creep
   Exit: (8) conc([2, 3], [4, 5], [2, 3, 4, 5]) ? creep
   Exit: (7) conc([1, 2, 3], [4, 5], [1, 2, 3, 4, 5]) ? creep
R = [1, 2, 3, 4, 5].

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

Код представляет собой реализацию функции conc (конкатенация) для двух списков. Задача состоит в объединении двух списков в один.

В первой строке кода происходит вызов функции conc с тремя аргументами: [1,2,3], [4,5] и R. R является результатом предыдущего вызова функции и инициализируется как пустой список.
Функция conc рекурсивно вызывается четыре раза с различными аргументами:
- Во втором вызове, первый аргумент [1,2,3] сокращается до [2,3], второй аргумент [4,5] остается неизменным, а R становится [2,3,4,5].
- В третьем вызове, первый аргумент [2,3] сокращается до [3], второй аргумент [4,5] остается неизменным, а R становится [3,4,5].
- В четвертом вызове, первый аргумент [3] сокращается до [], второй аргумент [4,5] остается неизменным, а R становится [4,5].
После четвертого вызова функция conc возвращает результат R, который является искомым объединением списков [1,2,3] и [4,5]. Таким образом, результат выполнения кода будет следующим: R = [1, 2, 3, 4, 5].