Introdução ao controlo

• O corte
• Aplicações do corte
• Para além do formalismo lógico
  • Condicional
  • Negação como falha
  • Repete
• Exercícios
  • Exercício do Exame de Recorrência de 1998: Problema