Backtracking, corte (
Diferente das linguagens imperativas, o Prolog não possui laços !) e falhas estratégicasfor ou while — sua execução é guiada por busca e backtracking. O mecanismo de inferência do Prolog explora todas as possibilidades para satisfazer uma consulta, voltando atrás (backtracking) quando um caminho falha. Isso torna a linguagem extremamente poderosa para problemas de busca, mas também exige que o programador entenda e controle esse fluxo para evitar ineficiências ou loops infinitos.
O Backtracking em Ação
O backtracking é o coração do Prolog. Quando uma meta falha, o sistema volta ao ponto de escolha mais recente (um predicado com múltiplas cláusulas ou soluções) e tenta a próxima alternativa. Por exemplo, ao consultar?- pai(X, Y)., o Prolog tenta a primeira cláusula de pai/2; se ela falha, ele volta e testa a próxima, e assim por diante, até encontrar todas as soluções ou esgotar as possibilidades. Esse comportamento é o que permite respostas como X = joao, Y = maria ; X = joao, Y = jose ; ....
O backtracking é automático e transparente, mas pode ser custoso em bases grandes. É aí que entram os mecanismos de otimização.
O Operador de Corte (!)
O operador de corte, escrito como !, é uma ferramenta de controle de fluxo que descarta pontos de escolha anteriores à sua posição na regra. Quando o Prolog encontra um !, ele se compromete com as escolhas feitas até aquele momento — ou seja, não faz mais backtracking para as metas anteriores ao corte.
|
1 2 3 |
% Exemplo: regra com corte classico(T) :- filme(T, _, A, _), A =< 1980, !. |
filme/4. O uso correto do corte otimiza a execução e evita buscas desnecessárias. No entanto, ele deve ser usado com cuidado, pois pode alterar a semântica do programa, eliminando soluções que seriam encontradas sem ele.
⚠️ Atenção: O corte é uma “válvula de escape” do paradigma declarativo. Use-o quando tiver certeza de que as alternativas são irrelevantes ou indesejadas.
Falhas (fail) para Iteração
O predicado fail/0 força a falha imediata da meta atual, provocando backtracking. Combinado com efeitos colaterais (como write/1), ele permite iterar sobre todas as soluções de uma consulta, algo que em linguagens imperativas seria um laço.
|
1 2 3 4 5 6 7 |
% Imprime todos os filmes listar_filmes :- filme(T, _, _, _), write(T), nl, fail. listar_filmes. |
fail força o backtracking para a próxima solução de filme/4, imprimindo cada título. Quando não há mais soluções, a primeira cláusula falha e a segunda cláusula (vazia) é executada, encerrando o processo. Esse padrão é conhecido como “falha para iterar” e é uma técnica clássica em Prolog para processar todos os resultados de uma consulta.
O uso de fail com ! e not pode criar construções extremamente poderosas, como filtragem com negação e geração de todas as combinações possíveis. Dominar esses três elementos — backtracking, corte e falha — é essencial para escrever programas Prolog eficientes e expressivos.
💡 Em resumo: O controle de fluxo em Prolog é guiado por backtracking. O corte (!) otimiza e limita a busca, enquanto fail permite iterar sobre soluções. Juntos, esses recursos dão ao programador o poder de controlar a execução sem abrir mão da natureza declarativa da linguagem.