Ano: 2003/2004 - Semestre: 1

Bibliografia

• Hogger C., Essentials of Logic Programming, Oxford University Press, 1990.
• Sterling L., Shapiro E., The Art of Prolog, MIT Press, 1986.
• Bratko I., Prolog Programming for Artificial Intelligence, Addison-Wesley, 1993
• Azevedo P., Paradigmas da Programação III - Notas Teóricas, 1998 - 2002.
  
  
  • Introdução
  • Resolução
  • Negação
  • Programação em Prolog
  • Estruturas de Dados Incompletas
  • Predicados de Sistema
  • Programação Não Deterministica
  • Transformação de Programas
  • Meta-Programação (só para consulta!)

• Folha 1
• Folha 2
• Folha 3
• Folha 4
• Folha 5

Página do SWI - Prolog