blanco(nieve).
padre(juan, luis). padre(juan, padre(eva)). |
(Este último hecho puede interpretarse como que Juan es el padre del individuo que es padre de Eva. El símbolo «padre» , aunque se repite, representa cosas distintas en un caso y en otro: en su primera aparición por la izquierda es un nombre de un predicado con dos argumentos, y en la segunda es un nombre de función con un argumento).
DIT-ETSIT-UPM