Use foldl as PR feedback suggested

This commit is contained in:
Adrián Arroyo Calle
2020-12-06 17:31:42 +01:00
parent a73529969a
commit 0cc9388af0

View File

@@ -202,12 +202,15 @@ nth0_search(N0, N, [_|Es], E) :-
nth0_search(N1, N, Es, E). nth0_search(N1, N, Es, E).
max_list([Max], Max).
max_list([N|Ns], Max) :- max_list([N|Ns], Max) :-
max_list(Ns, Maxs),!, foldl(max_list_, Ns, N, Max).
Max is max(N, Maxs).
max_list_(N, Max0, Max) :-
Max is max(N, Max0).
min_list([Min], Min).
min_list([N|Ns], Min) :- min_list([N|Ns], Min) :-
min_list(Ns, Mins),!, foldl(min_list_, Ns, N, Min).
Min is min(N, Mins).
min_list_(N, Min0, Min) :-
Min is min(N, Min0).