Programação em Lógica - 98.2


 

Descrição geral desta (classe de) disciplina, incluindo ementa, avaliação e material bibliográfico encontram-se em: www.di.ufpe.br/~compint/prolog.html

 

Informações Gerais

Professor: Jacques Robin
Monitor:
Eloi Favero

(This) Homepage: www.di.ufpe.br/~compint/aulas-IAS/prolog-982/Welcome.html
Newsgroup:
depto.cursos.grad.if278

Horários:

Local: 2a sala M3, 5a sala M6

Turma:


Calendário:


Aula 1: Apresentação da disciplina (15/10)


Aula 2: Programação em lógica e lógica (19/10)


Aula 3: Prolog e lógica (22/10)


Aula 4: Prolog: predicados built-in 1 (26/10)


Aula 5: Prolog: predicados built-in 2 (29/10)


Aula 6: Prolog: uso pratico nas estações de trabalho (5/11)


Aula 7: Prolog x resto do mundo (9/11)


Aula 8: Apresentação dos assuntos de projetos (12/11)


Aula 9: Acompanhamento de projeto 1 (16/11)


Aula 10: Acompanhamento de projeto 2 (19/11)


Aula 11: Correção dos exercícios de engenharia do conhecimento em Prolog (23/11)


Aula 12: Prolog: Agente explorador do mundo do wumpus (26/11)


Aula 13: Programação multi-paradigma a base lógica e LIFE (30/11)


Aula 14: LIFE: integração de predicados, funções, classes e restrições (07/12)


Aula 15: LIFE: predicados e funções built-in (10/12)


Aula 16: LIFE: Uso pratico nas estações de trabalho (14/12)


Aula 17: LIFE: correção do exercícios de engenharia do conhecimento (17/12)


21/12-27/01: Acompanhamento de projetos


Aula 18: LIFE: Agente explorador do mundo do wumpus (28/01)


Aula 19: Banco de dados dedutivos, programação em lógica, DOOD e FLORID (01/02)


Aula 20: FLORID: caminhos, negação e estratificação (01/02)


Aula 21: FLORID: predicados built-in (04/02)


Aula 22: FLORID: uso pratico nas estações de trabalho (08/02)


Aula 23: LIFE: Interpretação de mensagens entre agentes exploradores (18/02)


Aula 24: Acompanhamento de projeto 3 (22/02)


Aula 25: LIFE: Tradução e Geração de mensagens entre agentes exploradores (25/02)


Aula 26: FLORID Correção dos exercícios de engenharia do conhecimento (03/03)


Aula 27: FLORID: Consultas ad-hoc de estatísticas disponíveis na Web (03/03)


Aula 28: Acompanhamento de projeto 4 (04/02)


Aula 29: FLORID: Construção de banco de dados a partir de estatísticas em páginas na Web (08/03)


Aula 30: Demonstração final de recuperação dos projetos (10/03)