Programação em Lógica - 99.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

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

Horários:

Local: M3

Turma:


Calendário:


Aula 1: Apresentação da disciplina (26/08)


Aula 2: Programação em lógica e lógica (31/08)


Aulas 3: Prolog e lógica (02/09)


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


Aula 5: Prolog: predicados built-in 2 (14/09)


Aula 6: Prolog x resto do mundo (21/09)


Aula 7: ECLIPSE Prolog: uso pratico nas estações de trabalho (23/09)


Aula 8: Programação multi-paradigma a base lógica e LIFE (28/09)


Aula 9: LIFE: integração de predicados, funções, classes e restrições (30/09)


Aulas 10: LIFE: predicados e funções built-in (05/10)


Aula 11: Correção da 1a lista de exercícios de programação (07/10)


Aula 12: LIFE: Gramáticas de claúsulas definidas (14/10)


pp.Aula 13: LIFE: Uso pratico nas estações de trabalho (19/10)


Aula 14: Programação em lógica indutiva (21/10)


Aula 15: Apresentação dos assuntos de projetos (04/11)


Aula 16: Progol (18/11)


Aula 17: Progol: Uso pratico nas estações de trabalho (22/11)


Aula 18: Correção da 2a lista de exercícios (23/11)


Aula 19: Orientação de projetos I (25/11)


Aula 20: Programação em lógica para sistemas multi-agentes e robótica:  (29/11)


Aula 21: Estratégias e tecnologias dos melhores times da RoboCup (Seminário I, 30/11)


Aula 22: Orientação de projetos II (02/12)


Aula 23: Programação por restrições com ECLIPSE (Seminário II, 06/12)


Aula 24: Integrações Prolog/Java (Seminário III, 07/12)


Aula 25: Orientação de projetos III (09/12)


Aula 26: Banco de dados dedutivos e XSB (Seminário IV, 13/12)


Aula 27: Orientação de projetos IV (14/12)


Aula 28: Banco de dados dedutivos orientado a objetos e FLORA (Seminário V, 16/12)


Aula 29: Demonstração de projetos I (20/12)


Aula 30: Demonstração de projetos II (21/12)