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