|
|
|
|
|||
|
|
Plano de
Ensino 2004.1 |
Programação Declarativa |
|
||
|
|
Novidades: |
|
|
||
|
|
Disciplina |
Programação Declarativa |
|
||
|
|
Turma |
123 |
|
||
|
|
Código |
053264 |
|
||
|
|
Pré-requisito |
053206 Lógica Formal para
Ciência da Computação |
|
||
|
|
Carga Horária |
68 horas-aula (04-00-00) |
|
||
|
|
Objetivos |
Apresentar c+++onceitos,
métodos e técnicas para programação em lógica aplicada (linguagem Prolog).
Estudar a representação e operações sobre estruturas de dados complexas. Projetar
e desenvolver aplicações práticas não-convencionais com o uso de Prolog. Ao
final da disciplina o aluno deverá ser capaz de aplicar métodos e técnicas da
linguagem Prolog na solução de problemas simples do mundo real. |
|
||
|
|
Ementa |
Estudo de uma linguagem de programação
declarativa. |
|
||
|
|
Programa |
• Linguagem Prolog. |
|
||
|
|
Livro Texto
|
PALAZZO, L.A.M.: Introdução
à Programação Prolog. Pelotas: Educat,
1997. |
|
||
|
|
SWI-Prolog
|
Todos os trabalhos
práticos da disciplina serão feitos com o SWI
Prolog, desenvolvido e mantido em regime de open-source
por Jan Wielemaker e equipe na Universidade de Amsterdam . Acesse
o site e baixe a última versão para Windows ou Linux. A distribuição traz integrado o XPCE (graphic user interface).
Documentação, programas fonte e diversos outros packges
estão disponíveis para download. |
|
||
|
|
Bibliografia Complementar |
AMBLE, T.: Logic
Programming and Knowledge Engineering. Cornwall:
Addison-Wesley, 1987. |
|
||
|
|
Lista de Discussão |
Inscreva-se na lista de discussão
053264, para trocar idéias, solucionar dúvidas e manter-se informado
sobre programação em lógica, suas técnicas e aplicações. |
|
||
|
|
Links |
Diversos links para informações,
ferramentas, software e outros recursos sobre Programação em Lógica e a
Linguagem Prolog podem ser atingidos a partir da página de Programação
Prolog |
|
||
|
|
Recursos |
Apresentações
|
01 Prolog em Aplicações Avançadas 02 03 04 05 06
07 08 09 10 03 04 05 06 07
08 09 10 |
|
|
|
|
Avaliações
|
Prova
1 Trabalho 2 |
Terça-feira, 27 de abril Terça-feira, 04 de maio Terça-feira, 22 de junho Terça-feira, 29 de junho A definir |
|
|
|
|
Notas |
Acesse futuramente aqui as notas do semestre |
|
||
|
|
Novidades Antigas |
Biblioteca de Estruturas de Controle Biblioteca para o Processamento de Listas |
|
||
|
|
|
|
|||
