“Árbol familiar elaborado en Prolog”

progenitor(pamela,roberto).
progenitor(tomas,roberto).
progenitor(tomas,elizabeth).
progenitor(roberto,ana).
progenitor(roberto,patricia).
progenitor(patricia,jaime).


Resultado:


1 ?- progenitor(roberto,patricia).
true.

2 ?- progenitor(elizabeth,patricia).
false.

3 ?- progenitor(tomas,benjamin).
false.


4 ?- progenitor(X,elizabeth).
X = tomas .

5 ?- progenitor(roberto,X).
X = ana ;
X = patricia.

6 ?- progenitor(X,Y).
X = pamela,
Y = roberto ;
X = tomas,
Y = roberto ;
X = tomas,
Y = elizabeth ;
X = roberto,
Y = ana ;
X = roberto,
Y = patricia ;
X = patricia,
Y = jaime.