From: Adrián Arroyo Calle <adrian.arroyocalle@gmail.com>
Date: Sun, 6 Dec 2020 16:31:42 +0000 (+0100)
Subject: Use foldl as PR feedback suggested
X-Git-Tag: v0.9.0~169^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0cc9388af0df14cbab248a29963cd7158571920d;p=scryer-prolog.git

Use foldl as PR feedback suggested
---

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).
+