Universidade Federal da Paraíba Departamento de Informática Introdução à Engenharia de Computação Lógica Aplicada.