Ejercicio 1.6 - Reglas recursivas

1.6.Considere las siguiente definicion alternativa de predecesor:

1).predecesor(X,Z):-progenitor(X,Z).
2).predecesor(X,Z):-progenitor(Y,Z),predecesor(X,Y).
¿Es apropiada esta definicion?
Si
¿Puede usted dibujar una diagrama que corresponda con estas definiciones?

si

diagrama 1

diagrama 2