Home
		Research and Publications
		Book
		Teaching (in portuguese)
		Conferences
		CV (CNPq/Lattes)
		Photos

Lucília Camarão de Figueiredo lucilia@dcc.ufmg.br

Associate Professor (1993-...)

Computer Science Department

Federal University of Ouro Preto

CIC121 – PROGRAMAÇÃO EM LÓGICA (graduação)

Introdução

Bibliografia

Programa

Práticas

Avaliação

Notas

Introdução: A idéia da programação em lógica é usar o computador para obter conclusões a partir de descrições declarativas. Tais descrições – ou programas – consistem de um conjunto finito de fórmulas lógicas. Essa idéia tem suas origens em pesquisas sobre prova automática de teoremas. Neste curso, vamos aprender os principais conceitos e fundamentos da programação em lógica e aprender a programar em PROLOG, a linguagem de programação lógica mais utilizada.

Bibliografia:

▪ Ivan Bratko, Programming for Artificial Inteligence, third edition, Addison Wesley, 1993

▪ The Art of Prolog. L. Sterling & E. Shaphiro, MIT Press, 1986

▪ Ulf Nilsson and Jan Maluszynski, Logic, Programming and Prolog (2ed) (disponível na Internet)

▪ Cloksin & Mellish, Programming in Prolog, Springer-Verlag, NY, 1984.

Software e outras referências:

▪ Prolog na Wikipedia: http://pt.wikipedia.org/wiki/Prolog

▪ Download do interpretador SWI da linguagem Prolog: http://www.swi-prolog.org/

▪ Manual do interpretador SWI-Prolog: aqui

▪ Tutoriais de Prolog:

1. http://invaders.mars-attacks.org/~boklm/prolog/

2. http://ktiml.mff.cuni.cz/~bartak/prolog/learning.html

3. http://www.ifcomputer.co.jp/jp/manuals5.2/uguide/node1.html

Transparências:

00-prolog

01-prolog

02-prolog

Aulas Práticas: índice: .pdf

Assunto	Prática	Solução
Ambiente de programação e noções básicas	pratica01.pdf	pratica01
Bases de conhecimento, queries, predicados	pratica02.pdf	pratica02
Mais predicados	pratica03.pdf	pratica03
Unificação e expressões aritméticas	pratica04.pdf	pratica04
Predicados sobre listas	pratica05.pdf	pratica05
Mais predicados sobre listas	pratica06.pdf	pratica06
Árvores de prova	pratica07.pdf	exemplo
Predicados bagof, setof, findall	pratica08.pdf	pratica08
Cut e Fail	pratica09.pdf	pratica09
Predicados assert e retract	pratica10.pdf	pratica10
Entrada e saída em arquivos	pratica11.pdf	pratica11
Programas interativos	pratica12.pdf	pratica12

Avaliação:

Exame Especial

100%

15/12/2008

			Prova
Prova1	30%	20/10/2008
Prova2	30%	01/12/2008	P2008-2-sol.txt
Trabalhos: trabalho2 20% 17/11/2008
trabalho1 20% 01/12/2008

Exemplos de provas

prova1 prova2 prova3

Computer Science Department

Federal University of Ouro Preto