Ejercicio Prolog

Dada la base de datos familiar del ejemplo 1, se pide la respuesta de PROLOG y el enunciado verbal de las siguientes preguntas:

?-progenitor(jaime,X).

?-progenitor(X,jaime).

?-progenitor(clara,X), progenitor(X,patricia).

?-progenitor(tomas,X), progenitor(X,Y), progenitor(Y,Z).

Dada la base de datos familiar del ejemplo 1, formula en PROLOG las siguientes preguntas:

¿Quién es el progenitor de Patricia?

¿Tiene Isabel un hijo o una hija?

¿Quién es el abuelo de Isabel?

¿Cuáles son los tíos de Patricia? (no excluir al padre)

Solución y Resultados

% library(win_menu) compiled into win_menu 0.00 sec, 29 clauses

% c:/users/rodrom/appdata/roaming/swi-prolog/pl.ini compiled 0.00 sec, 1 clauses

Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 6.2.1)

Copyright (c) 1990-2012 University of Amsterdam, VU Amsterdam

SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,

and you are welcome to redistribute it under certain conditions.

Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

1 ?-

% c:/users/rodrom/documents/prolog/ej_1 compiled 0.00 sec, 9 clauses

1 ?- progenitor(jaime,X). %Ejercicio 1 parte 1

false.

2 ?- progenitor(X,jaime).

X = patricia.

3 ?- progenitor(clara,X), progenitor(X,patricia).

X = jose.

4 ?- progenitor(tomas,X), progenitor(X,Y), progenitor(Y,Z).

X = jose,

Y = patricia,

Z = jaime ;

false.

5 ?- progenitor(PADRE,patricia). %¿Quién es el padre de patricia? Segunda parte del ejercicio 1

PADRE = jose.

6 ?- progenitor(isabel,MADRE). %¿Tiene Isabel una hija o un hijo?

false.

...