PROLOG
O objetivo remanescente é então:
Para satisfazer tal objetivo, a regra [pr1] é mais uma vez empregada.
Essa segunda aplicação de [pr1], entretanto, nada tem a ver com a sua utilização anterior, isto é, o sistema Prolog usa um novo conjunto de variáveis na regra cada vez que esta é aplicada.