lists_with_max(Lists, Result) :-
    setof(Max, L^(member(L, Lists), max(L, Max)), Maxes),
    max(Maxes, Max),
    setof(L, (member(L, Lists), member(Max, L)), Result).

lists_with_max2(LL, LL1):-
  maplist(max_list, LL, ML),
  max_list(ML, M),
  include(memberchk(M), LL, LL1).