| 11ago | Apresentação da disciplina. Introdução ao paradigma lógico. |  |
| 18ago | Fundamentação e conceitos básicos. Lógica de predicados. | | t1A |
| 25ago | Formas normais canônicas. Método da resolução e unificação. | | t1B |
| 01set | Fatos, regras, variáveis, conjunções e backtracking. Átomo, números, variáveis, operadores, estruturas de dados, listas, recursão, concatenação e acumuladores. | |
| 08set | Acumuladores, backtracking e corte. | | t1C |
| 15set | Recomendações de estilo. Depuração de programas. Alguns predicados pré-definidos. | |
| 22set | Complementação de alguns predicados pré-definidos. Leitura e escrita. | |
| 29set | Leitura e escrita. Exercícios. | | t2A |
| 06out | Gramáticas. | |
| 13out | Gramáticas. Exercícios sobre gramáticas. | | t2B |
| 20out | Sem aula (participação em congresso). |
| 27out | Árvores e grafos. Representações. Algoritmos em grafos. | |
| 03nov | Árvores e grafos. Representações. Algoritmos em grafos. | | t3 |
| 10nov | Resolução de problemas. | |
| 17nov | Interface do SWI-Prolog com Java, C++ e Python. | |
| 24nov | Desenvolvimento e entrega dos trabalhos. |
| 30nov | Desenvolvimento e entrega dos trabalhos. |
| dez | Desenvolvimento e entrega dos trabalhos. |