Notas de aula sobre o paradigma de programação lógico