Um dicionário é implementado como uma arvore de busca binaria na Chave

vazio
arv(Chave, Valor, ArvoreEsquerda, ArvoreDireita)

Dado um dicionário nesta forma, implemente o predicado

soma1(Dic, Chave, NovoDic)  modo(+ + -)

que soma 1 no valor associado a chave Chave no dicionário Dic, se a chave ja esta no dicionário, ou inclui a chave com o valor associado 1, se ela nao existe em Dic.