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?