Вопрос по прологу

append([a | b], [c,d], [a | L3]) :- append ([b], [c,d], L3)

append ([b | []], [c,d], [b | L4]) :- append ([], [c,d], L4)

append ([], [c,d], [c,d])

L4 = [c,d], L3 = [ b | L4] = [b, c, d], соответсвенно результат [a | L3] = [a, b, c, d]

В общем, читайте книжки по прологу :)))