sortowanie( [H|Lista] , Posortowana ) :-
	sortowanie(Lista , Temp ),
	wstaw( H , Temp, Posortowana ).
sortowanie([],[]).

wstaw(X, [H|Lista], [H|Wynik]) :-
	H>X, !,
	wstaw(X, Lista, Wynik).
wstaw(X,Lista,[X|Lista]).

czy_graficzny([0],_):- !.
czy_graficzny([H|Lista], Odp) :-
	sortowanie([H|Lista],[HSort|TSort]),
	odejmij(TSort,HSort,Temp),
	sortowanie(Temp,Temp2),
	czy_graficzny(Temp2,Odp).

odejmij(H,0,H):- !.
odejmij([H|Tail], HowMany, [HResult|TResult]) :-
	HowMany>0,
	HM is HowMany-1,
	HResult is H-1,
	odejmij(Tail,HM,TResult).


czy_zerowe([0]) :- !.
czy_zerowe([H|T]) :-
	H=0;
	czy_zerowe(T).

suma([],0).
suma([H|Lista],Odp) :-
	suma(Lista,Temp),
	Odp is Temp + H.

dlugosc([],0).
dlugosc([_|Lista],Odp) :-
	dlugosc(Lista,Temp),
	Odp is Temp + 1.

warunek([H|Lista]) :-
	dlugosc([H|Lista],Dlugosc1),
	Dlugosc2 is 2*(Dlugosc1-1),
	suma([H|Lista],Sum),
	Sum >= Dlugosc2.

czy_spojny( Lista, Odp):-
	not(czy_zerowe(Lista)),
	czy_graficzny(Lista,Odp),
	warunek(Lista).