Universidade Federal do Espírito Santo

Portal do Ementário

Informações Gerais
Disciplina:
Programação IV ( COM11073 )
Unidade:
Departamento de Computação
Tipo:
Optativa
Período Ideal no Curso:
Sem período ideal
Nota Mínima para Aprovação:
5.00
Carga Horária:
60
Número de Créditos:
3

Objetivos
Capacitar os alunos a compreenderem os principais conceitos do paradigma de programação lógica. Levar ao conhecimento dos alunos as principais linguagens de programação lógica. Capacitar os alunos a desenvolverem software utilizando uma linguagem de programação lógica e a reconhecerem as principais aplicações dessa abordagem de programação.

Ementa
Fundamentos teóricos da programação lógica: unificação e resolução. Conceitos de linguagens de programação lógica. Estudo de uma linguagem de programação em lógica. Aplicações.

Bibliografia
-   Andrews, J. H.; Logic Programming: Operational Semantics and Proof Theory. Ed. Cambridge University, 2004. ISBN: 9780521607544. -  Bramer, M.; Logic Programming with Prolog. 1ed, Ed. Springer, 2005. ISBN: 9781852339388. -  Clocksin, W. F.; Clause and Effect: Prolog Programming for the Working Programmer. 1ed, Ed. Springer, 2003. ISBN: 9783540629719.

Bibliografia Complementar
-   Doets, K.; From Logic to Logic Programming. Ed. MIT, 1994. ISBN: 9780262041423. -    Deransart, P.; Maluszynski, J.; A Grammatical View of Logic Programming. Ed. MIT, 1993. ISBN: 9780262041409.
Carregando...