From e61116d35affb92f69b7935c87e967988b1fc82a Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Tue, 28 Apr 2020 17:51:37 +0200 Subject: [PATCH] use singleton variable, correct a mistake in maplist/8 --- src/prolog/lib/lists.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/prolog/lib/lists.pl b/src/prolog/lib/lists.pl index 693ccc10..e3033495 100644 --- a/src/prolog/lib/lists.pl +++ b/src/prolog/lib/lists.pl @@ -63,7 +63,7 @@ reverse(Xs, Ys) :- ). reverse([], [], YsRev, YsRev). -reverse([X1|Xs], [Y1|Ys], YsPreludeRev, Xss) :- +reverse([_|Xs], [Y1|Ys], YsPreludeRev, Xss) :- reverse(Xs, Ys, [Y1|YsPreludeRev], Xss). @@ -104,7 +104,7 @@ maplist(Cont, [E1|E1s], [E2|E2s], [E3|E3s], [E4|E4s], [E5|E5s], [E6|E6s], [E7|E7 maplist(_, [], [], [], [], [], [], [], []). maplist(Cont, [E1|E1s], [E2|E2s], [E3|E3s], [E4|E4s], [E5|E5s], [E6|E6s], [E7|E7s], [E8|E8s]) :- - call(Cont, E1, E2, E3, E4, E5, E6, E7), + call(Cont, E1, E2, E3, E4, E5, E6, E7, E8), maplist(Cont, E1s, E2s, E3s, E4s, E5s, E6s, E7s, E8s). -- 2.54.0