/*
Napisati prolog predikat koji za drvo u termovskoj notaciji proverava da li je
perfektno balansirano.
*/
perfekt([]).
perfekt(t(L,K,D)):-perfekt(L),perfekt(D),
			br_cvor(L,Sl),br_cvor(D,Sd),
			Z is Sl-Sd, Z=<1, Z>= -1.

br_cvor([],0).
br_cvor(t(L,K,D),S):-br_cvor(L,L1),br_cvor(D,D1),
			  S is L1+D1+1.

stampa([],_):-!.
stampa(t(L,S,D),X):- X1 is X+1,
							stampa(L,X1),pisi(X),write(S),nl,stampa(D,X1).

pisi(1):-tab(5),!.
pisi(N):-tab(5), S is N-1,pisi(S).

program1994013:- write('Unesite drvo u termovskoj reprezentaciji'),nl,
	  read(D),nl,nl,
	  ((perfekt(D),write('Perfektno balansirano'),nl,stampa(D,1));
			  write('Drvo nije perfektno balansirano')).