Conteúdo Programático

Programa Detalhado:

1.

Introdução à disciplina: reflexão sobre os conceitos fundamentais relacionados com a resolução de problemas por computador e sobre os paradigmas de programação

2.

Introdução à Programação Lógica:

• 2.1 Caracterização do paradigma lógico
• 2.2 Definições básicas: predicados, termos e cláusulas
• 2.3 Unificação
• 2.4 Árvore de Prova e Árvore de Procura
• 2.5 Estratégias de pesquisa e ``Backtracking''
• 2.6 Explicação Operacional dos predicados de controlo

3.

Uso do Sistema Prolog:

• 3.1 Interacção com o exterior, leitura e escrita
• 3.2 Constatação das propriedades fundamentais dum Sistema de Prova (máquina de inferência)
• 3.3 Predicados pré-definidos

4.

Estruturas de Dados recursivas: listas, árvores e grafos

5.

Gramáticas e tratamento de linguagens

6.

Sistemas periciais