p>
<p>podríamos representar en Prolog que Jesús es hijo (o hija) de José. Una de las virtudes más interesantes de la lógica de predicados es la posibilidad de emplear cuantificadores sobre términos variables.</p>
<p>Por ejemplo, para decir que si un individuo es hijo de otro entonces el segundo es padre del primero y esto vale para todo padre y todo hijo, diríamos en Prolog:</p>
<p class="letra">padre(X, Y) :- hij_(Y,X).</p>
<p>En este ejemplo, la forma precisa de traducirlo a lógica de predicad