REGLAS RECURSIVAS 1.6 (Capitulo 1)

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?

Diagrama de 1

Diagrama de 2