[Novo] Declaração e Atribuição de Variáveis em Lógica de Programação