PROLOG
Um exemplo mais complexo:
?-antepassado(joão, íris).
Sabe-se que progenitor(josé, íris) é um fato. Usando esse fato e a regra [pr1], podemos concluir antepassado(josé, íris). Este é um fato derivado. Não pode ser encontrado explícito no programa, mas pode ser derivado a partir dos fatos e regras ali presentes. Ou seja:
"de progenitor(josé, íris) segue, pela regra [pr1] que antepassado(josé, íris)".
Além disso sabemos que progenitor(joão, josé) é fato. Usando este fato e o fato derivado, antepassado(josé, íris), podemos concluir, pela regra [pr2], que o objetivo proposto, antepassado(joão, íris) é verdadeiro.