| 09mar | Apresentação da disciplina. Introdução ao paradigma lógico. |  |
| 16mar | Fundamentação e conceitos básicos. Lógica de predicados. | | t1A |
| 23mar | Dia não letivo (emancipação de Florianópolis). Desenvolvimento do primeiro trabalho. |
| 30mar | Formas normais canônicas. Método da resolução e unificação. | | t1B |
| 06abr | Fatos, regras, variáveis, conjunções e backtracking. Átomo, números, variáveis, operadores, estruturas de dados, listas, recursão, concatenação e acumuladores. | | t1C |
| 13abr | Acumuladores, backtracking e corte. Coleção de soluções. | |
| 20abr | Recomendações de estilo. Depuração de programas. Alguns predicados pré-definidos. | | t2A |
| 27abr | Complementação de alguns predicados pré-definidos. Leitura e escrita. | |
| 04mai | Exercícios sobre bases dinâmicas. Gramáticas. | |
| 11mai | Exercícios sobre gramáticas. Desenvolvimento do segundo trabalho. | | t2B |
| 18mai | Árvores e grafos. Representações. Algoritmos em grafos. | |
| 25mai | Árvores e grafos. Representações. Algoritmos em grafos. | | t3 |
| 01jun | Resolução de problemas. | |
| 08jun | Interface do SWI-Prolog com Java, C++ e Python. | |
| 15jun | Dia não letivo (Corpus Christi). Desenvolvimento do terceiro trabalho. |
| 22jun | Apresentação da linguagem Picat. | |
| 29jun | Exercícios em Picat. |
| jul | Desenvolvimento e entrega dos trabalhos. |