revR([], []).
revR([H|T], L) :-
revR1(T, L, [H]).
revR1([], L, L).
revR1([H|T], L, L1) :-
revR1(T, L, [H|L1]).
This is just one obvious implementation.Dhu _______________________________________________ Users-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/users-prolog
