Did a Prolog example: reverse_list