| 12mar | Apresentação da disciplina. Introdução ao paradigma lógico. |
| 19mar | Fundamentação e conceitos básicos. Lógica de predicados. |
| 26mar | Formas normais canônicas. Método da resolução e unificação. |
| 02abr | Prolog - Fatos, variáveis, conjunções, backtracking e regras. Termos, estruturas e aritmética. |
| 09abr | Prolog - Estruturas de dados, listas, recursão, concatenação e acumuladores. Backtracking e corte. |
| 16abr | Prolog - Finalização do desenvolvimento da parte A, e explicação da parte B do primeiro trabalho. |
| 23abr | Prolog - Leitura e escrita. Alguns predicados pré-definidos. |
| 30abr | Prolog - Finalização e entrega da parte B do primeiro trabalho, e explicação da parte A do segundo trabalho. |
| 07mai | Prolog - Depuração de programas. Gramáticas. |
| 14mai | Prolog - Árvores e grafos. Representações e algoritmos em grafos. |
| 21mai | Prolog - Finalização e entrega da parte A do segundo trabalho, e explicação da parte B do segundo trabalho. |
| 28mai | Prolog - Árvores e grafos. Representações e algoritmos em grafos. |
| 04jun | Feriado |
| 11jun | Prolog - Finalização e entrega da parte B do segundo trabalho, e explicação do terceiro trabalho. |
| 18jun | Prolog - Interface do SWI-Prolog com Java, C++ e Python. |
| 25jun | Desenvolvimento do terceiro trabalho. |
| jul | Finalização e entrega do terceiro trabalho. |