Significado operacional não determinístico - árvore de prova

• Substituição e instância
• Árvore de prova
• Unificação
• Construção de uma árvore de prova
• Exercícios
  • Problema
  • Problema
  • Problema
  • Problema
  • Problema
  • Problema
  • Problema
  • Problema
  • Problema