PROLOG
Backtracking
Exemplo 2
6. Encontra que joão gosta de renata
7. Instancia X com "renata”
8. Tenta satisfazer o segundo objetivo determinando se "renata gosta de renata”
9. Falha porque não consegue demonstrar que renata gosta de renata
10. Realiza um backtracking, mais uma vez tentando satisfazer gosta(joão, X), esquecendo o valor "renata”
11. Encontra que joão gosta de lasanha
12. Instancia X com "lasanha”
13. Encontra que "renata gosta de lasanha”
14. É bem-sucedido, com X instanciado com "lasanha”