| 13ago | Apresentação da disciplina. Introdução ao paradigma lógico. |
| 20ago | Fundamentação e conceitos básicos. Lógica de predicados. |
| 27ago | Formas normais canônicas. Método da resolução e unificação. |
| 03set | Fatos, variáveis, conjunções, backtracking e regras. Termos, estruturas e aritmética. |
| 10set | Estruturas de dados, listas, recursão, concatenação e acumuladores. Backtracking e corte. |
| 17set | Recomendações de estilo. Alguns predicados pré-definidos. Depuração de programas. |
| 24set | Leitura e escrita. |
| 01out | Leitura e escrita. |
| 08out | Gramáticas. |
| 15out | Gramáticas. |
| 22out | Árvores e grafos. Representações e algoritmos em grafos. |
| 29out | Árvores e grafos. Representações e algoritmos em grafos. |
| 05nov | Interface do SWI-Prolog com Java, C++ e Python. |
| 12nov | Desenvolvimento dos trabalhos. |
| 19nov | Desenvolvimento dos trabalhos. |
| 26nov | Apresentações/entrega dos trabalhos. |
| dez | Apresentações/entrega dos trabalhos. |