Os predicados a seguir referem-se a operações com árvores binárias de
busca representadas como listas da seguinte forma: cada nó é
representado por [Info, Esq, Dir], onde Info é a informação
(ordenável) guardada no nó, e Esq e Dir são as sub-árvores esquerda e
direita, respectivamente.

(1)
Verifique se uma árvore é vazia.

(2)
Construa uma folha com informção dada.

(3)
Retorne a informação de um nó dado.

(4)
Retorna e sub-árvore esquerda de um nó dado.

(5)
Retorna e sub-árvore direita de um nó dado.

(6)
Busque um nó dada a sua informação.

(7)
Insira um novo elemento (se já não estiver).

(8)
Liste as informações em pré-ordem.

(9)
Liste as informações em in-ordem.

(10)
Liste as informações em pós-ordem.

(11)
Retorne a altura da árvore.

(12)
verifique se a árvore está balanceada.