EJEMPLO GUIADO

1. Se tiene la siguiente relacin de parentesco:

2. Representacin de las relaciones mediante hechos.

hombre(javier).

hombre(pedro).

hombre(jorge).

hombre(alfonso).

hombre(juan).

mujer(maria).

mujer(carmen).

mujer(teresa).

mujer(alicia).

progenitor(javier,pedro).

progenitor(javier,teresa).

progenitor(maria,pedro).
progenitor(maria,teresa).

progenitor(pedro,alfonso).

progenitor(pedro,juan).

progenitor(carmen,juan).

progenitor(carmen,alfonso).

progenitor(jorge,alicia).

progenitor(teresa,alicia).

3.- Representacin de algunos Predicados.

padre(X,Y):- progenitor(X,Y), hombre(X).

madre(X,Y):- progenitor(X,Y), mujer(X).

4.- Representacin de otras relaciones de parentesco.

hijo(X,Y), abuelo(X,Y), hermano(X,Y), tio(X,Y),

descendiente(X,Y).

5. Otros predicados:

hijo(X,Y):- progenitor(Y,X), hombre(X).

abuelo(X,Y):- progenitor(Z,Y), padre(X,Z).

hermano(X,Y):- progenitor(Z,X), progenitor(Z,Y).

tio(X,Y):- progenitor(Z,Y), hermano(Z,X).

descendiente(X,Y) :- progenitor(Y,X).

descendiente(X,Y) :- progenitor(Y,Z), descendiente(X,Z).

6. Probando el primer predicado padre(X,Y).

?-

% d:/aprolog/190617/ejemplo01 compiled 0.00 sec, 28 clauses

1 ?- padre(X,Y).

X = javier,
Y = pedro ;

X = javier,

Y = teresa ;

X = pedro,

Y = alfonso ;

X = pedro,

Y = juan ;

X = jorge,

Y = alicia ;

false.

7. Probando el segundo predicado madre(X,Y).

?- madre(X,Y).

X = maria,

Y = pedro ;

X = maria,

Y = teresa ;

X = carmen,

Y = juan ;

X = carmen,

Y = alfonso ;

X = teresa,

Y = alicia.

8. Probando el Otro predicado hijo(X,Y).

?- hijo(X,Y).

X = pedro,

Y = javier ;
X = pedro,

Y = maria ;

X = alfonso,

Y = pedro ;

X = juan,

Y = pedro ;

X = juan,

Y = carmen ;

X = alfonso,

Y = carmen ;

false.

9. Probando el Otro predicado abuelo(X,Y).

?- abuelo(X,Y).

X = javier,

Y = alfonso ;

X = javier,

Y = juan ;

X = javier,

Y = alicia ;

false.

10. Probando el Otro predicado hermano(X,Y).

?- hermano(X,Y).

X = Y, Y = pedro ;

X = pedro,

Y = teresa ;

X = teresa,
Y = pedro ;

X = Y, Y = teresa ;

X = Y, Y = pedro ;

X = pedro,

Y = teresa ;

X = teresa,

Y = pedro ;

X = Y, Y = teresa ;

X = Y, Y = alfonso ;

X = alfonso,

Y = juan ;

X = juan,

Y = alfonso ;

X = Y, Y = juan ;

X = Y, Y = juan ;

X = juan,

Y = alfonso ;

X = alfonso,

Y = juan ;

X = Y, Y = alfonso ;

X = Y, Y = alicia ;

X = Y, Y = alicia.

11. Probando el Otro predicado tio(X,Y).

?- tio(X,Y).

X = pedro,

Y = alfonso ;
X = teresa,

Y = alfonso ;

X = pedro,

Y = alfonso ;

X = teresa,

Y = alfonso ;

X = pedro,

Y = juan ;

X = teresa,

Y = juan ;

X = pedro,

Y = juan ;

X = teresa,

Y = juan ;

X = pedro,

Y = alicia ;

X = teresa,

Y = alicia ;

X = pedro,

Y = alicia ;

X = teresa,

Y = alicia.

12. Probando el Otro predicado descendiente(X,Y).

?- descendiente(X,Y).

X = pedro,

Y = javier ;
X = teresa,

Y = javier ;

X = pedro,

Y = maria ;

X = teresa,

Y = maria ;

X = alfonso,

Y = pedro ;

X = juan,

Y = pedro ;

X = juan,

Y = carmen ;

X = alfonso,

Y = carmen ;

X = alicia,

Y = jorge ;

X = alicia,

Y = teresa ;

X = alfonso,

Y = javier ;

X = juan,

Y = javier ;

X = alicia,

Y = javier ;

X = alfonso,

Y = maria ;
X = juan,

Y = maria ;

X = alicia,

Y = maria ;

false.