Ano: 2006/2007 - Semestre: 1

Bibliografia

• The Art 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

Fichas Práticas:

• Ficha01
• Ficha02
• Ficha03
• Ficha04
• Ficha05
• Ficha06
• Ficha07 - para praticar a escrita de árvores de prova (Exemplo de uma árvore de prova))
• Ficha08
• Ficha09
• Ficha10
• Ficha11 (Exercício 11.3.2 | interface com o utilizador | figs.dat)
• Ficha12 (12-3-3.pl)

• Apontamentos Teóricos: doc
• Estruturas em Prolog 2003/04 (FMM): doc
• Apontamentos sobre Grafos: pdf
• Apontamentos TP (FMM): doc