Ano: 2004/2005 - Semestre: 1

Bibliografia

• TheArt of Prolog. L. Sterling & E. Shaphiro, MIT Press, 1986
• Prolog Programming for Artificial Intelligence - 2nd Edition. Ivan Bratko, Addison-Wesley, 1993.
• Paradigmas da Programação III: Programação em Lógica. F. Mário Martins, Notas Pedagógicas, 1995.
• Programming in Prolog. Cloksin & Mellish, Spring-Verlag, 1984.
• How to Solve it with Prolog. H. Coelho et al., LNEC, 1982.

Páginas Úteis

• SWI Prolog

• JFC

• Ficha 1 (actualizada em 07/10/2004)
• Ficha 2
• Ficha 3
• Ficha 4
• Ficha 5
• Ficha 6
• Ficha 7 (árvore de prova)
• Ficha 8
• Ficha 9
• Ficha 10
• Ficha 11 (Exercício 11.3.2 | interface com o utilizador | figs.dat)
• Ficha 12 (12-3-3.pl)
• Capa

• Enunciado do trabalho prático 02/03: pdf | html (Proposta de solução)
• Trabalhos prá�[56;1Hticos 2003/04: Parte A; Parte B.

• Apontamentos Teóri href="disciplinas/ppiii/0405/PTT_PPIII_v2.doc">doc
• Estruturas em Prolog 2003/04 (FMM): doc
• Apontamentos sobre Grafos: pdf
• Apontamentos TP (FMM): doc

• 18/01/2001
• 24/01/2002 - Parte I
• 06/12/2003 - Parte II
• 1a. chamada 0304
• 2a. chamada 0304
• Recurso chamada 0304