Genealogia

2. Observemos que Genealogia.pl contiene un conjunto de hechos (predicados atómicos). Identifique 3 muéstrelos a continuación.

Padre(Abraham,isaac).

padre(haran,lot).

padre(haran,milca).

3. En la consola de SWI- Prolog podemos hacer consultas, usando los hechos y predicados contenidos en el archivo. La consulta “mujer(X)” , devolverá todos los valores de X para los cuales el hecho es verdadero, es decir, se encuentra en la base de hechos. Para ver todos los valores de X, teclee “;” después de cada respuesta.

mujer(X).

X = sara ;

X = milca ;

true.

4. Realice las consultas siguientes y registre el resultado:

padre(abraham,X).

X = isaac.

madre(X,Y).

X = sara,

Y = isaac.

abuelo(X,isaac).

X = tera

5. Traduzca la expresión a una consulta en prolog, realícela y registre los resultados obtenidos:

Todos los hombres.

varon(X).

X = tera ;

X = abraham ;

X = nacor ;

X = haran ;

X = isaac ;

X = lot.

Todos los abuelos.

abuelo(X,_).

X = tera ;

Los nietos de “tera”

abuelo(tera,Y).

Y = isaac ;

Y = lot ;

Y = milca.

Las hijas de “haran”

hija(X,haran).

X = milca ;

El padre de “lot”

padre(X,lot).

X = haran.

6. Observe cómo se construye el predicado “hijo(X,Y)”. Este predicado significa lo siguiente:

X es hijo de Y si Y es padre de X y X es varón.

hijo(X,Y):- padre(Y,X) , varon(X).

Escriba el predicado “hermano(X,Y)” que refleje la relación X es hermano de Y. (el género

...