PROGRAMAO EM LGICA

MIEIC, 2015/2016

Docentes e Pgina da U.C.

Tericas
Rui Camacho (rcamacho@fe.up.pt)
Henrique Lopes Cardoso (hlc@fe.up.pt)

Terico-Prticas
Daniel Castro Silva
Henrique Lopes Cardoso
Rui Camacho

Pgina da Unidade Curricular no Moodle

https://moodle.up.pt/
Materiais (T e TP)
Trabalhos: enunciados, submisso
Recursos (SW e outros)
Fruns

Objectivos

Adquirir familiaridade com os paradigmas da Programao em Lgica e da

Programao com Restries.

Desenvolver as capacidades de raciocnio abstracto e de representao de

problemas de forma declarativa.

Reconhecer as categorias de problemas em que a Programao em Lgica (e com

Restries) particularmente adequada.

Experimentar e praticar as tcnicas de programao em Prolog e em programao

lgica com restries.

Construir aplicaes completas em Prolog com eventual ligao a outras

linguagens.

Desenvolver e aplicar as competncias de programao requeridas nos trabalhos

das unidades curriculares da rea da Inteligncia Artificial.

Programa

Fundaes da Programao em Lgica

Lgica proposicional. Lgica de predicados. Regras de inferncia. Clusulas de Horn.
Unificao. Resoluo. Forma normal conjuntiva.
Conceito de programao em lgica. Origens do Prolog.

Conceitos da Programao em Lgica

Clusulas. Predicados. Factos. Perguntas. Regras. Variveis lgicas. Instanciao.
Programao em lgica e bases de dados. Recursividade. Listas. rvores. Expresses
simblicas.
Execuo de um programa em lgica. Algoritmo da unificao. Interpretador abstracto.
Traados. rvores de pesquisa. Negao.

A Linguagem Prolog
Modelo de execuo. Backtracking. Ordem das regras e dos objectivos. Terminao.
Aritmtica. Iterao. Inspeco de estruturas. Predicados meta-lgicos. Controlo: cuts e
negao. Predicados extra-lgicos.

Tcnicas Avanadas de Programao em Prolog

Programao no determinstica. Estruturas de dados incompletas. Meta-interpretadores.
Tcnicas de pesquisa.

Programao em Lgica com Restries

Restries. Satisfao de restries. Restries em domnios finitos.
Programao em lgica com restries (PLR). Controlo da pesquisa. Ordenao de variveis e
valores. Modelizao de problemas em PLR. Programao com restries no SICStus Prolog.
4

Bibliografia
Principal
L. Sterling, E. Shapiro: The Art of Prolog, 2nd ed., MIT Press, 1994.

http://www-2.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/bookcode/aop/0.html

W. F. Clocksin, C. S. Mellish: Programming in Prolog, 4th ed., Springer, 1994.

K. Marriott, P. J. Stuckey: Programming with Constraints: An Introduction,
MIT Press, 1998.
http://ww2.cs.mu.oz.au/~pjs/book/book.html

Complementar
D. F. M. Torres: Introduo Programao em Lgica, Universidade de Aveiro,
2000.
I. Bratko: Prolog Programming for Artificial Intelligence, 3rd ed., Pearson
Education Limited, 2001.
R. A. OKeefe: The craft of Prolog, MIT Press, 1990.
S. Russel, P. Norvig: Artificial Intelligence: A Modern Approach, 3rd ed., Prentice
Hall, 2009.

Avaliao
Trabalhos

(50%)

Trabalho Prtico n 1 PL
Relatrio Intercalar
Avaliao Final

(25%)
(75%)

(65%, nota mnima 7/20)

(13/10)
(10/11)

Relatrio + Demonstrao

Trabalho Prtico n 2 PLR (35%, nota mnima 7/20)

Avaliao Final

(15/12)

Relatrio + Demonstrao

Exame

(50%, nota mnima 7/20)