PROLOG
Pode-se formular questões ainda mais complicadas ao programa, como "Quem são os avós de Jorge?". Como nosso programa não possui diretamente a relação avô, esta consulta precisa ser dividida em duas etapas. A saber:
(1) Quem é progenitor de Jorge? (Por exemplo, Y) e
(2) Quem é progenitor de Y? (Por exemplo, X)
Esta consulta em Prolog é escrita como uma seqüência de duas consultas simples, cuja leitura pode ser: "Encontre X e Y tais que X é progenitor de Y e Y é progenitor de Jorge".
?-progenitor(X, Y), progenitor(Y, jorge).