PROLOG
A cabeça da regra deve então ser unificada como o nosso objetivo corrente, que é antepassado(josé, íris). A instanciação de X'e Y' fica: X'=josé e Y'=íris e o objetivo corrente é substituído por:
Esse objetivo é imediatamente satisfeito, porque aparece no programa como um fato. O sistema encontrou então um caminho que lhe permite provar, no contexto oferecido pelo programa dado, o objetivo originalmente formulado, e portanto responde "sim".