correct-ish definition of reverse.

diff --git a/src/prolog/lib/lists.pl b/src/prolog/lib/lists.pl
index ab3ae5dd21ef42cb685df414532487d7e4313fb7..bd3ecd5d6b8e912797e71ca2cd518651c529af95 100644 (file)
--- a/src/prolog/lib/lists.pl
+++ b/src/prolog/lib/lists.pl
@@ -16,8 +16,7 @@ is_list([_|T]) :- is_list(T).
 
 memberchk(X, Xs) :- member(X, Xs), !.
 
-reverse(Xs, Ys) :- var(Ys), !, reverse(Xs, [], Ys).
-reverse(Ys, Xs) :- reverse(Xs, [], Ys).
+reverse(Xs, Ys) :- reverse(Xs, [], Ys).
 
 reverse([], Ys, Ys).
 reverse([H|T], Ps, Rs) :-