CoCalc -- reverse-list.pl

📚 The CoCalc Library - books, templates and other resources

¹³²⁹³⁷ views
License: OTHER

1
rev([], []).
2
rev([X|Xs], Ys) :- rev(Xs, Zs), append(Zs, [X], Ys).
3

4
?- rev([1,2,3,4,5], L).
5
L = [5, 4, 3, 2, 1].
6