Entendiendo Prolog ejercicio 1.3, 1.4, 1.5, 1.6.

1.3. Traduzca las siguientes sentencias a reglas Prolog. 

a). Cualquiera que tiene un hijo es feliz (introduzca la relación unaria llamada 'feliz'). 

b). Para todo X, si X tiene un hijo que tiene una hermana, entonces X tiene dos hijos 

 (introduzca la relación tiene-dos-hijos). 

1.4. Defina la relación 'nieto' usando la relación 'progenitor'. 

 Recomendación: Será similar a la relación abuelo. 

1.5. Defina la relación tia( X, Y) en términos de las relaciones 

'progenitor' y 'hermana'. Dibuje primero un diagrama para 

ésta relación.

1.6. Considere la siguiente definición alternativa de predecesor: 

 predecesor( X, Z) :- progenitor( X, Z). 

 predecesor( X, Z) :- progenitor( Y, Z) , predecesor( X, Y). 

¿Es apropiada esta definición? 

La primera definición no es apropiada.

Mientras que la segunda si lo es.

¿Puede usted dibujar un diagrama que corresponda con 

esta definición?