PROLOG
Como anteriormente, as variáveis X e Z são instanciadas para joão e íris, respectivamente. A variável Y, entretanto, não está instanciada ainda. O objetivo original, antepassado(joão, íris) é então substituído por dois novos objetivos derivados por meio da regra [pr2]:
progenitor(joão, Y), antepassado(Y, íris).
Encontrando-se agora face a dois objetivos, o sistema tenta satisfazê-los na ordem em que estão formulados. O primeiro deles é fácil: progenitor(joão, Y) pode ser unificado com dois fatos do programa: progenitor(joão, josé) e progenitor(joão, ana). Mais uma vez, o caminho a ser tentado deve corresponder à ordem em que os fatos estão escritos no programa. A variável Y é então instanciada com josé nos dois objetivos acima, ficando o primeiro deles imediatamente satisfeito.