Minicurso: “Introdução à Lógica de Programação”