Ano: 2003/2004 - Semestre: 1

Bibliografia

• The Art of Prolog, MIT Press.
  
  
• Essentials of Logic Programming, C. Hogger, OUP 1991.
  
  
• Apontamentos da Disciplina:
  
  • Introdução à Lógica de 1º Ordem
    
  • Teoria das Provas, Resolução e Programação em Lógica
  • Introdução à Programação em Prolog
  • Predicados de Sistema
  
  
  

Página do SWI - Prolog