REGLAS RECURSIVAS

REGLAS RE CURSIVAS

1.6.Considere las siguiente definición alternativa de predecesor:

1).predecesor(X,Z):-progenitor(X,Z).

2).predecesor(X,Z):-progenitor(Y,Z),predecesor(X,Y).

¿Es apropiada esta definición?

Si

¿Puede usted  dibujar una diagrama que corresponda con estas definiciones?

Diagrama de 1)

Diagrama del 2)

?

1.3 Reglas (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').

feliz(X).

feliz(Y).

feliz(Z).

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).

tiene_dos_hijos(X,Y):-hermana(Y,Z),progenitor(X,Y),progenitor(X,Z),mujer(Z).

1.4.Defina la relación 'nieto' usando la relación 'progenitor'.

Recomendación: Sera similar ala relación abuelo.

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

1.5. Defina la relación tía(X,Y) en términos de las relaciones 'progenitor' y 'hermana'.Dibuje primero una diagrama para esta relación.

tia(X,Y):-hermana(X,Y),progenitor(Y,Z),mujer(X),diferente(X,Y).