Melhorando a Introdução à Lógica de Programação