% Arbol_Genealogico.

pl
% Autor: luis procel castelo
%Fecha:04/02/2017
Hombre( JUAN) . %abuelo_p
Hombre(LUIS) . %abuelo_m
Hombre(LUIS) . %padre
Hombre(JHONNY) . %tio_m
Hombre(LUIS) %yo_: 3

Mujer(ZOILA). %abuela_p
Mujer(MARGARITA) . %abuela_m
Mujer( CELIA). %madre
Mujer(ALEXANDRA). %tia_p
Mujer(GINGER). %hermana

Progenitor(LUIS, LUIS).
Progenitor(CELIA, LUIS).
Progenitor(LUIS, GINGER).
Progenitor(CELIA, GINGER).

Progenitor(JUAN, LUIS).
Progenitor(ZOILA, LUIS).
Progenitor(JUAN, ALEXANDRA).
Progenitor(ZOILA, ALEXANDRA).

Progenitor(LUIS , CELIA).
Progenitor(MARGARITA, CELIA).
Progenitor(LUIS, JHONNY).
Progenitor(MARGARITA, JHONNY).
Pareja (LUIS, CELIA).
Pareja(CELIA, LUIS).
Pareja(LUIS, MARGARITA).
Pareja(MARGARITA, LUIS).
Pareja(JUAN, ZOILA).
Pareja(ZOILA ,JUAN).

Marido(x,y) : -pareja(x,y), hombre(x).

Esposa(x,y) :- pareja(x,y), mujer(x).
Padre(x,y) :- progenitor(x,y), hombre(x).
Madre(x,y):- progenitor(x,y), mujer(x).
hijo(y,x) :- progenitor(x,y), hombre(y).
hija(y,x) :- progenitor(x,y), mujer(y).
abuelo(x,y):-progenitor(m,y), progenitor(x,m), mujer(x).
abuela(x,y):-progenitor(m,y), progenitor(x,m), mujer(x).
hermana( x , y ):-progenitor( z , x) , progenitor (z , y ), x\==y,
hermano( x , y) :-progenitor( z, x ), progenitor ( z , y ), x\==y,
tio( x, y):-hermano( x, z) , progenitor (z,y).
tia (x, y) :- hermana ( x, z ), progenitor(z, y).
nieta(x, y):- progenitor (y,z ), progenitor(z,x) , mujer (x).
nieta (x,y):-progenitor (y,z), progenitor(z,x), mujer(x).