Change name to list_max, list_min as PR feedback

diff --git a/src/lib/lists.pl b/src/lib/lists.pl
index 1e35d40e5f82d17689a7af6c3af36a259e688dac..a1acdb6d17e9ee8a8183923f42406b935f779966 100644 (file)
--- a/src/lib/lists.pl
+++ b/src/lib/lists.pl
@@ -2,7 +2,7 @@
                  memberchk/2, reverse/2, length/2, maplist/2,
                  maplist/3, maplist/4, maplist/5, maplist/6,
                  maplist/7, maplist/8, maplist/9, same_length/2, nth0/3,
-                 sum_list/2, transpose/2, list_to_set/2, max_list/2, min_list/2]).
+                 sum_list/2, transpose/2, list_to_set/2, list_max/2, list_min/2]).
 
 
 :- use_module(library(error)).
@@ -202,15 +202,14 @@ nth0_search(N0, N, [_|Es], E) :-
         nth0_search(N1, N, Es, E).
 
 
-max_list([N|Ns], Max) :-
-    foldl(max_list_, Ns, N, Max).
+list_max([N|Ns], Max) :-
+    foldl(list_max_, Ns, N, Max).
 
-max_list_(N, Max0, Max) :-
+list_max_(N, Max0, Max) :-
     Max is max(N, Max0).
 
-min_list([N|Ns], Min) :-
-    foldl(min_list_, Ns, N, Min).
+list_min([N|Ns], Min) :-
+    foldl(list_min_, Ns, N, Min).
 
-min_list_(N, Min0, Min) :-
+list_min_(N, Min0, Min) :-
     Min is min(N, Min0).
-