Players Showers

shower.pl

:-use_module(library(clpfd)).

shower(Times, End):-
    maplist(player_task, Times, Tasks, Es),
    Es ins 1..100,
    cumulative(Tasks, [limit(3)]),
    max_list2(Es, End),
    once(labeling([min(End)], Es)).

player_task(Time, task(S, Time, E, 1, _), E):- S #>= 0.

max_list2([H|T], Max):-
    max_list2(T, H, Max).

max_list2([], Max, Max).
max_list2([H|T], X, Y):-
    Z #= max(X, H),
    max_list2(T, Z, Y).