rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

correct-ish definition of reverse.

Browse Source
This commit is contained in:
Mark Thom
2018-04-18 15:31:36 -06:00
parent 54b17a6782
commit 167d8a7590
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/prolog/lib/lists.pl
View File

@@ -16,8 +16,7 @@ is_list([_|T]) :- is_list(T).
memberchk(X, Xs) :- member(X, Xs), !. memberchk(X, Xs) :- member(X, Xs), !.
reverse(Xs, Ys) :- var(Ys), !, reverse(Xs, [], Ys). reverse(Xs, Ys) :- reverse(Xs, [], Ys).
reverse(Ys, Xs) :- reverse(Xs, [], Ys).
reverse([], Ys, Ys). reverse([], Ys, Ys).
reverse([H|T], Ps, Rs) :- reverse([H|T], Ps, Rs) :-