Introdução a Lógica de Programação e Algoritmos