reverse_list([], []).
reverse_list([Head|Tail], [SubResult|Head])
    :- reverse_list(Tail, SubResult).