Fundamentos da Engenharia de Software: Introdução a Lógica de Programação