Programação em Lógica
Ano lectivo 1999/00 (semestre ímpar)
Docentes: José
Júlio Alves Alferes
Luís Rato
Carga horária semanal:
-
Aulas teóricas: 2 horas
-
Aulas práticas: 2 horas
Objectivos
-
Confrontar os alunos com outro paradigma de programação,
levando-os a aprofundar os conceitos de programação declarativa
e a melhor compreenderem as suas vantagens e desvantagens face à
programação imperativa.
-
Familiarizar os alunos com o uso de relações, unificação,
de recursividade e não determinismo na resolução de
problemas.
-
Dotar os alunos de competência no desenvolvimento de programas na
linguagem Prolog.
Programa
Sumários
Bibliografia
-
Referência base
-
L. Sterling and E. Shapiro. "The Art of Prolog", 2nd edition, MIT Press,
1994.
-
Principais referências complementares
-
M. Covington, D. Nute and A. Vellino, "Prolog Programming in Depth". Prentice
Hall, 1997.
-
I. Bratko, "Prolog Programming for Artificial Intelligence", Addison Wesley,
1990.
-
Outro material de apoio
-
Fichas de exercícios para as aulas práticas (em RTF
e Word
7)
Software de apoio
XSB-Prolog para Linux e Windows. Implementação
livre copiável pelos alunos.
Avaliação:
A avaliação tem duas componentes:
-
Provas escritas
-
Trabalho prático
sendo a nota final a média pesada das duas componentes onde o trabalho
prático tem um peso de 20%.
A prova escrita tem uma 1ª chamada de exame no dia 14/02/00 e uma
2ª chamada no dia 22/02/00.
Os trabalhos devem ser entregues até ao dia 22/02/00, à
hora a que terminar a 2ª chamada de exame..
Horário de atendimento de alunos: 6ªs feiras às
10:00