Entendiendo Prolog

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.

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

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.

tía (X,Y) :- hermana(X,Z), progenitor(Z,Y).

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.

La segunda definición si es apropiada.

¿puede usted dibujar un diagrama que corresponda con  esta definición?