PROLOG
Backtracking
Exemplo 2
- gosta(joćo, jazz).
- gosta(joćo, renata).
- gosta(joćo, lasanha).
- gosta(renata, joćo).
- gosta(renata, lasanha).
- queremos saber do que ambos, joćo e renata, gostam. Isto pode ser formulado pelos objetivos:
- gosta(joćo, X), gosta(renata, X).
1. Encontra que joćo gosta de jazz
2. Instancia X com "jazz
3. Tenta satisfazer o segundo objetivo, determinando se "renata gosta de jazz
4. Falha, porque nćo consegue determinar se renata gosta de jazz
5. Realiza um backtracking na repetiēćo da tentativa de satisfazer gosta(joćo, X), esquecendo o valor "jazz