From 0cc9388af0df14cbab248a29963cd7158571920d Mon Sep 17 00:00:00 2001 From: =?utf8?q?Adri=C3=A1n=20Arroyo=20Calle?= Date: Sun, 6 Dec 2020 17:31:42 +0100 Subject: [PATCH] Use foldl as PR feedback suggested --- src/lib/lists.pl | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/src/lib/lists.pl b/src/lib/lists.pl index 6638f137..1e35d40e 100644 --- a/src/lib/lists.pl +++ b/src/lib/lists.pl @@ -202,12 +202,15 @@ nth0_search(N0, N, [_|Es], E) :- nth0_search(N1, N, Es, E). -max_list([Max], Max). max_list([N|Ns], Max) :- - max_list(Ns, Maxs),!, - Max is max(N, Maxs). + foldl(max_list_, Ns, N, Max). + +max_list_(N, Max0, Max) :- + Max is max(N, Max0). -min_list([Min], Min). min_list([N|Ns], Min) :- - min_list(Ns, Mins),!, - Min is min(N, Mins). \ No newline at end of file + foldl(min_list_, Ns, N, Min). + +min_list_(N, Min0, Min) :- + Min is min(N, Min0). + -- 2.54.0