Resultados da pesquisa a pedido "tailrecursion-modulo-cons"
Explicação de um algoritmo Prolog para anexar duas listas juntas
Este é um algoritmo para juntar duas listas:
uma função de anexação da lista de versões de recursão de cauda
vejo vários exemplos de implementação