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. |