Limpeza de codigo e correção da chamada recursiva do predicado resolvido