PROLOG
Ao invés de iniciar a inferência a partir dos fatos, o Prolog começa com os objetivos e , usando as regras, substitui os objetivos correntes por novos objetivos até que estes se tornem fatos.
Assim,para saber se joão é antepassado de íris, o sistema tenta encontrar uma cláusula no programa a partir da qual o objetivo seja conseqüência imediata. Obviamente, as únicas cláusulas relevantes para essa finalidade são [pr1] e [pr2], que são sobre a relação antepassado, porque são as únicas cujas cabeças podem ser unificadas com o objetivo formulado.
Tais cláusulas representam dois caminhos alternativos que o sistema pode seguir. Inicialmente o Prolog irá tentar a que aparece em primeiro lugar no programa: