Créditos: 4
Horas semanais de atividades teóricas: 3
Horas semanais de atividades práticas: 1
Oferecimento: Ambos os períodos letivos
Pré-Requisitos
MC302
Ementa
Visão comparativa de paradigmas de programação. Programação funcional e lógica.
Programa
Programação Lógica:
- Fatos
- Regras
- Modelo de Execução
- Inferência
- Unificação e Retrocesso
- Listas
- Corte
- Estruturas de Controle
Programação Funcional:
- Cálculo Lâmbda
- Modo de Avaliação de Expressões e Argumentos
- Funções
- Ausência de Atribuições
- Efeitos Colaterais e Controle de Fluxo
- Operações Primitivas
- Estruturas de Dados
- Currying
- Funções de Funções
Bibliografia
Practical Common Lisp, Peter Seibel; Apress, 1st edition (2005)
ANSI Common LISP, Paul Graham; Prentice Hall (1995)
Prolog Programming for Artificial Intelligence, Ivan Bratko; Addison-Wesley, 2nd edition (1990)
The Craft of Prolog, Richard O'Keef; The MIT Press (1990)