munte([_],2).
munte([H1,H2|T],F):-
    F =< 1,
    H1 < H2,
    munte([H2|T],1).
munte([H1,H2|T],F):-
    F >= 1,
    H1 > H2,
    munte([H2|T],2).

munte_p(L):-
    munte(L,0).


submultimi([],L,L):-
    munte_p(L).
submultimi([H|T],L,R):-
    submultimi(T,[H|L],R).
submultimi([_|T],L,R):-
    submultimi(T,L,R).