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