INTRODUÇÃO À PROGRAMAÇÃO EM LÓGICA
IPL'99

Departamento de Matemática
Universidade de Aveiro

Ano Lectivo: 1998/99 (2^o semestre)

Escolaridade por semana
Cursos a que é leccionada
Responsável
Equipe Docente
Estrutura de Funcionamento
Objectivos
Sistema de Avaliação
Conteúdo Programático
Material bibliográfico proposto para apoio ao curso
Atendimento aos alunos

Escolaridade por semana

3 horas de aulas Teóricas (T)
2 horas de aulas Teórico-Práticas (TP)
0 horas de aulas Práticas (P)

Cursos a que é leccionada

Responsável

Prof. Doutor Domingos Moreira Cardoso

Equipe Docente:

Obs: é indicado o número de turmas de cada tipo de aula que cada docente lecciona.

Estrutura de Funcionamento

Exposição da matéria fundamental -motivação, conceitos, definições, métodos e justificações-, a nível das aulas téoricas.
Resolução de exercícios de consolidação (enunciados na altura, ou propostos antecipadamente nas aulas teóricas, ou teórico-práticas), no quadro e no computador, a nível das aulas teórico-práticas.
Realização, no computador, de trabalhos concretos de aplicação, em ambiente MS-DOS, Windows ou Unix, recorrendo à linguagem Prolog. Os trabalhos serão desenvolvidos extra aulas.

Objectivos

É objectivo deste curso levar os alunos a:

• Aprofundar e interiorizar os conceitos de programação declarativa, mais concretamente segundo o paradigma lógico;
• Dominar o uso de predicados (cláusulas de Horn), unificação e recursividade na resolução de problemas;
• Estudar a implementação de estruturas de dados lineares e não-lineares e respectivos algoritmos de manuseamento em Programação Lógica

e, ainda, tornar os alunos aptos a desenvolver correcta e eficientemente programas na linguagem Prolog.

Sistema de Avaliação

A avaliação tem uma componente teórica e uma componente prática, ambas obrigatórias, sendo a nota final determinada de acordo com a seguinte fórmula:

Exige-se 5 valores como nota mínima em cada uma dessas partes.

A nota teórica será obtida através da realização de 1 prova individual escrita.

A nota prática será obtida através da realização (em grupos de dois alunos e extra aulas) de 2 trabalhos práticos, e de 1 ficha individual escrita, respondida aquando das provas teóricas.

O exame escrito será assim constituído por duas partes (a teórica e a prática) com as instâncias habituais:

• Exame Final;
• Exame de Recorrência;
• Exame de Recurso.

Os 2 trabalhos terão de ser apresentados pelos grupos durante o semestre e em datas a combinar, a funcionar e acompanhados dum pequeno relatório de desenvolvimento. Serão classificados nos seguintes escalões:

A estes escalões podem ainda ser justapostos um sinal de + ou - os quais fazem variar a nota respectivamente de mais ou menos 1 valor.

A NotaPratica que aparece na fórmula (1) será a média aritmética das 3 classificações referidas (2 trabalhos e a parte prática do exame). Contudo exige-se, também, a nota mínima de 5 valores na parte prática do exame.

Conteúdo Programático

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;

Material bibliográfico proposto para apoio ao curso

1. Bratko, I., "Prolog: programming for Artificial Intelligence", Addison Wesley, 1990
2. Burnham, W. D. & Hall, A.R., ''Programação e Aplicações em Prolog'', Editorial Presença, 1987
3. Cardoso, D. M., ''Programação em Lógica e Demonstração Automática de Teoremas'', Cadernos de Matemática, CM/D-03, Dep. de Matemática da U.A., 1995
4. Clocksin, W.F. & Mellish, C.S. "Programming in Prolog", Springer-Verlag, 1981
5. Deransart, P. Ïnitiation à Prolog", Univ. Orleans, 1986
6. Sterling, L. & Shapiro, E. "The Art of Prolog", MIT-Press, 1986
7. Manuais do SWI Prolog
8. Manuais do Arity Prolog
9. Manuais do SICSTUS Prolog

Atendimento aos alunos

Delfim F. Marado Torres
delfim@mat.ua.pt