From 167d8a7590883be20b50d333b123897983a3af2f Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Wed, 18 Apr 2018 15:31:36 -0600 Subject: [PATCH] correct-ish definition of reverse. --- src/prolog/lib/lists.pl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/prolog/lib/lists.pl b/src/prolog/lib/lists.pl index ab3ae5dd..bd3ecd5d 100644 --- 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) :- -- 2.54.0