13ago | Apresentação da disciplina. Introdução ao paradigma lógico. |
20ago | Fundamentação e conceitos básicos. Lógica de predicados. |
27ago | Formas normais canônicas. Método da resolução e unificação. |
03set | Fatos, variáveis, conjunções, backtracking e regras. Termos, estruturas e aritmética. |
10set | Estruturas de dados, listas, recursão, concatenação e acumuladores. Backtracking e corte. |
17set | Recomendações de estilo. Alguns predicados pré-definidos. Depuração de programas. |
24set | Leitura e escrita. |
01out | Leitura e escrita. |
08out | Gramáticas. |
15out | Gramáticas. |
22out | Árvores e grafos. Representações e algoritmos em grafos. |
29out | Árvores e grafos. Representações e algoritmos em grafos. |
05nov | Interface do SWI-Prolog com Java, C++ e Python. |
12nov | Desenvolvimento dos trabalhos. |
19nov | Desenvolvimento dos trabalhos. |
26nov | Apresentações/entrega dos trabalhos. |
dez | Apresentações/entrega dos trabalhos. |