miércoles, 27 de febrero de 2013

1.2. Conjunciones de cláusulas.


Ejercicios.

1. Asumiendo las relaciones definidas en el ejemplo, ¿qué contestará Prolog a las
 siguientes preguntas?

a). ?- progenitor( jaime, X).
falso

b). ?- progenitor( X, jaime).
X  = patricia

c). ?- progenitor( pamela, X), progenitor( X, patricia).
X  =  roberto

d). ?- progenitor( pamela, X), progenitor( X, Y), progenitor(Y,jaime).
X  =  roberto
Y =  patricia

2. Formule en Prolog las siguientes preguntas acerca de la relación progenitor:

a). ¿ cómo se llama el progenitor de patricia ?
X = roberto

b). ¿ tiene elizabeth algún hijo ?
falso

c). ¿ cómo se llama el abuelo de patricia ?
X = tomas
Y =  pamela

arbol genealogico