Wyjaśnienie algorytmu Prolog do dołączania dwóch list

Jest to algorytm dołączający dwie listy:

Czy powinienem unikać rekursji ogonowej w Prologu i ogólnie?

funkcja dołączania listy wersji z rekurencją ogonową

widzę kilka przykładów implementacji