Material de apoio principal:

  • Livro do Prof Pavão Martins: link
  • Exercícios Resolvidos pela Prof Ana Cardoso: link
  • Exercícios Resolvidos pela Prof Maria dos Remédios: link
  • Exames anteriores: link
==========================
Exercícios Aulas Práticas: link

==========================
Slides e material das teóricas:

Semana 1: 
  • Apresentação e Conceitos Básicos: link
  • Dedução Natural (Cálculo Proposicional - CP): link
  • Resolução (CP): link
Semana 2: 
  • Restinho Dedução Natural (CP): link
  • Dedução Natural (Lógica de Primeira Ordem - LPO): link
  • Resolução (LP0): link 
Semana 3:
  • Programação em Lógica: link
  • Exercícios em Prolog (listas): link <- MUITO IMPORTANTE (exemplos versão recursiva e iterativa)
  • Prolog base: link
  • Prolog meta predicados parte 1: link
Semana 4:
  • Prolog corte: link
  • Prolog negação: link
  • Prolog meta predicados parte 2: link
  • Exercício em Prolog (listas/findall/etc.): link <-- IMPORTANTE (iterações e findall)
  • Prolog como linguagem de programação: link
  • Apresentação do projecto: link

Semana 5:
  • zebra_1 (Prolog): link
  • Prolog estruturas: link
  • Prolog functores: link
  • functores (Prolog): link

Semana 6:
  • Semântica CP, tabelas de verdade: link
  • Semântica CP, OBDDs: link
  • Semântica CP, algoritmo marcas: link
  • Semântica CP, algoritmo DP: link