Estado da prova
Meta atual-
Cláusula-
Substituição-
Submetas-
Rastro de execução
Conexão com busca
Cada cláusula compatível abre uma alternativa. O Prolog aprofunda uma alternativa e, se ela falhar, retorna ao ponto de escolha mais recente para tentar outra.