Pre-requisito: 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)