Programação em Lógica

Programa

Objectivos: Aprendizagem dos conceitos fundamentais da Programação em Lógica e introdução às correspondentes metodologias de desenvolvimento de programas. Capacidade de escrever programas em Prolog para problemas não triviais.

Resumo do Programa: Lógica predicativa de primeira ordem. Princípio da resolução. Programação em lógica. Extensões à programação em lógica.

Programa detalhado

Fundamentos Matemáticos: Lógica predicativa de primeira ordem; Princípio da resolução

Programação em Prolog: Representação de conhecimento; Mecanismos de inferência; Predicados pré-definidos; Técnicas de programação; Depuração de programas

Avaliação

Aprendizagem: Três provas escritas com a duração de 90 minutos; Cotadas, respectivamente, para 5, 7 e 8 valores; Datas: 13 de Abril (Sala 6.26, 14:00), 18 de Maio (Sala 6.05, 14:00) e 15 de Junho (Sala 6.26, 14:00)

Exames: Classificação mínima de 6 valores na aprendizagem para admissão a exame; Provas escritas com a duração de 2 horas; Cotados para 20 valores; Datas: 26 de Junho às 14:30 (1ª Chamada), 3 de Julho às 14:30 (2ª Chamada) e 4 de Setembro às 14:30 (Exame Especial, Sala 6.18)

Classificação final: Melhor classificação entre aprendizagem e exame.

Bibliografia

Prolog: Introdução à Programação em Lógica; Delfim F. M. Torres; Ed. Universidade de Aveiro, 2000; Programming in Prolog; W. F. Clocksin, C. S. Mellish; Springer-Verlag; ISBN 3-540-17539-3 (I-3.3-162/3); Prolog Programming: A Tutorial Introduction; C. McDonald; Blackwell Scientific Publications Ltd; ISBN 0-632-01246-3 (I-3.3-179); Prolog: The Standard - Reference Manual; P. Deransart, A. Ed-Dbali, L. Cervoni; Springer; ISBN 3-540-59304-7 (I-3.3-268); The Craft of Prolog; Richard A. O'Keefe; MIT Press, Series in Logic Programming; ISBN 0-262-15039-5; Art of Prolog: Advanced Programming Techniques; L. Sterling, E. Shapiro; MIT Press, Series in Logic Programming; ISBN 0-262-19338-8 (I-3.3-1)

Internet

Lógica: First-order logic - Wikipedia; First-Order Logic; Resolution Theorem Proving; Resolution (logic) - Wikipedia; Normal Forms; Conjunctive normal form - Wikipedia; Skolem normal form - Wikipedia; Prenex normal form - Wikipedia

Prolog: Prolog tutorials; Prolog Programming: a do-it-yourself course for beginners; Logtalk links to Prolog resources

Objectos: http://www.cetus-links.org/oo_prolog.html; http://www.ci.uc.pt/oolpr/oolpr.html

Definite Clause Grammars: http://www.amzi.com/manuals/amzi6/pro/ref_dcg.htm; http://wwwcgi.rdg.ac.uk:8081/cgi-bin/cgiwrap/wsi14/poplog/prolog/ploghelp/grammar_rule

Restrições: http://kti.ms.mff.cuni.cz/~bartak/constraints/; http://www.icparc.ic.ac.uk/eclipse/; http://www.icparc.ic.ac.uk/eclipse/reports/handbook/handbook.html; http://gprolog.inria.fr/manual/index.html

Software

Horários

Aulas teórico-práticas: (TP1) Sexta-feira: 11h-12h, Sala 618; (TP2) Quinta-feira: 08h-09h, Sala 619

Aulas práticas: (P1) Terça-feira: 16h-18h, Sala 619; (P2) Quinta-feira: 09h-11h, Sala 619