reverse_list([], []). reverse_list([Head|Tail], [SubResult|Head]) :- reverse_list(Tail, SubResult).
reverse([], What). reverse([1], What). reverse([2,1], What). reverse([3,2,1], What). reverse([1,4,5,3,6], What).
GNU Prolog 1.3.1 By Daniel Diaz Copyright (C) 1999-2009 Daniel Diaz What = [] yes What = [1] yes What = [1,2] yes What = [1,2,3] yes What = [6,3,5,4,1] yes