jueves, 7 de marzo de 2013

ejercicio 1.6

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? Si
 ¿puede usted dibujar un diagrama que corresponda con
esta definición? 
 
 
 
   
Diagrama.-
 

No hay comentarios:

Publicar un comentario