Nota:

Consideramos únicamente «hechos particulares» , que es lo normal, pero también es posible expresar «hechos generales» mediante un predicado con variables. Por ejemplo: «padre(juan,X).» indicaría que Juan es padre de todos los individuos.


Volver