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

condense reverse even further

Browse Source
This commit is contained in:
Mark Thom
2019-03-03 17:36:20 -07:00
parent 3fc0a230fa
commit f35008cbd6
2 changed files with 7 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -37,7 +37,8 @@ verify_attributes(Var, Value, Goals) :-
% suggestions for improvement. % suggestions for improvement.
dif(X, Y) :- X \== Y, dif(X, Y) :- X \== Y,
( term_variables(X, XVars), term_variables(Y, YVars), ( X \= Y -> true
; term_variables(X, XVars), term_variables(Y, YVars),
dif_set_variables(XVars, X, Y), dif_set_variables(XVars, X, Y),
dif_set_variables(YVars, X, Y) dif_set_variables(YVars, X, Y)
). ).

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

@@ -42,13 +42,13 @@ append([X|L], R, [X|S]) :- append(L, R, S).
memberchk(X, Xs) :- member(X, Xs), !. memberchk(X, Xs) :- member(X, Xs), !.
reverse(Xs, Ys) :- reverse(Xs, Ys) :-
( var(Ys) -> reverse(Xs, Ys, [], [], Xs) ( var(Ys) -> reverse(Xs, Ys, [], Xs)
; reverse(Ys, Xs, [], [], Ys) ; reverse(Ys, Xs, [], Ys)
). ).
reverse([], [], XsRev, YsRev, YsRev). reverse([], [], YsRev, YsRev).
reverse([X1|Xs], [Y1|Ys], XsPreludeRev, YsPreludeRev, Xss) :- reverse([X1|Xs], [Y1|Ys], YsPreludeRev, Xss) :-
reverse(Xs, Ys, [X1|XsPreludeRev], [Y1|YsPreludeRev], Xss). reverse(Xs, Ys, [Y1|YsPreludeRev], Xss).
maplist(_, []). maplist(_, []).
maplist(Cont1, [E1|E1s]) :- maplist(Cont1, [E1|E1s]) :-