| 17mar | Apresentação da disciplina. Introdução ao paradigma lógico. |  |
| 24mar | Feriado. |
| 31mar | Fundamentação e conceitos básicos. Lógica de predicados. | | t1A |
| 07abr | Formas normais canônicas. Resolução e unificação. Fatos, regras, variáveis, conjunções e backtracking. | | t1B |
| 14abr | Átomo, números, variáveis, operadores, estruturas de dados, listas, recursão, concatenação e acumuladores. | | a.pl |
| 21abr | Feriado. |
| 28abr | Acumuladores, backtracking e corte. | | t1C |
| 05mai | Recomendações de estilo. Alguns predicados pré-definidos. Depuração de programas. | |
| 12mai | Leitura e escrita. | | t2A |
| 19mai | Leitura e escrita. | |
| 26mai | Feriado. |
| 02jun | Gramáticas. | | t2B |
| 09jun | Exercícios sobre gramáticas. Introdução a grafos | | b.zip |
| 16jun | Árvores e grafos. Representações e algoritmos em grafos. | |
| 23jun | Interface do SWI-Prolog com Java, C++ e Python. | | t3 |
| 30jun | Desenvolvimento e entrega dos trabalhos. |
| jul | Desenvolvimento e entrega dos trabalhos. |