Reversing the item order of a list in prolog

Question

Can somebody explain to me the following code:

t(L, NL) :-
    t(L, [], NL).
t([], L, L). 
t([H|T], A, NL) :-
    t(T, [H|A], NL).

I would ha