Ejercicios

1. Demuestre que la relación ANCESTRO definida, es equivalente a la siguiente:

                   ANCESTRO(X,Y) <- PADRE(X,Y).
                   ANCESTRO(X,Y) <- MADRE(X,Y).
   
                   ANCESTRO(X,Y) <- PADRE(X,Z), ANCESTRO(Z,Y).
                   ANCESTRO(X,Y) <- MADRE(X,Z), ANCESTRO(Z,Y).
   

2. ¿De qué manera cree usted que se manifiestan las diferencias entre la definición original de ANCESTRO, y la que aparece en 1.?

En los capítulos siguientes se presentan dos formas de interpretar el significado de los programas en lógica. Una primera visión proviene de la lógica matemática, y tiene un carácter más denotacional. La segunda introduce los aspectos operacionales que son la base de las implementaciones de programación en lógica. Una fuente de referencia para la escritura de estos capítulos la constituyó el excelente libro de Christopher John Hogger [Hog84].

Hosted by www.Geocities.ws