Independientemente

del procedimiento de la demostracion que se utilice, cuando se encuentre con un predicado de este tipo, en lugar de buscarlo explicitamente en la base de datos o intentar deducirlo mediante algun tipo de razonamiento, bastara con invocar un procedimiento, que devolverla un valor de verdadero o falso.

 1)

evaluar el valor de la funcin suma con los argumentos 2 y 3. 2) evaluar el predicado mayor con los argumentos 5 y 1. 3) concepto de igualdad, permite sustituir un objeto por otro que sea igual a el.