Árbol Genealógico Prolog

hombre(josé_Arcadio_Buendía_primero).

hombre(josé_Arcadio_Buendía_segundo).

hombre(josé_Arcadio_Buendía_tercero).

hombre(nicanor_Ulloa).

hombre(aureliano_Segundo).

hombre(jose_Arcadio_Segundo).

hombre(don_Fernando_del_Carpio).

hombre(fernanda_del_Carpio).

hombre(jose_Arcadio).

hombre(mauricio_Babilonia).

hombre(aureliano_Babilonia).

hombre(se_lo_comieron_las_hormigas).

hombre(gaston).

hombre(aureliano_Buendia).

hombre(don_Apolinar_Moscote).

hombre(aureliano_Jose).

hombre(aureliano_Amado).

hombre(aureliano_Triste).

hombre(aureliano_Centeno).

hombre(aureliano_Serrador).

hombre(aureliano_Arcayo).

hombre(otros_12).

mujer(rebeca_Montiel).

mujer(rebeca_Buendía).

mujer(pilar_Temera).

mujer(santa_Sofia_de_la_Piedad).
mujer(semedios).

mujer(renata_Argote).

mujer(fernanda_del_Carpio).

mujer(renata_Remedios).

mujer(amarante_Ursula).

mujer(ursula_Iguaran_Buendia).

mujer(no_se_sabe).

mujer(remedios_Moscote).

mujer(amparo_Moscote).

mujer(otras_5_hijas).

mujer(desconocida1).

mujer(desconocida2).

mujer(desconocida3).

mujer(desconocida4).

mujer(desconocida5).

mujer(desconocida6).

padre(josé_Arcadio_Buendía_primero,jose_Arcadio_Buendía_segundo).

padre(nicanor_Ulloa,rebeca_Buendía).

madre(rebeca_Montiel,rebeca_Buendía).

padre(jose_Arcadio_Buendía_segundo,jose_Arcadio_Buendia_tercero).

madre(pilar_Temera,jose_Arcadio_Buendia_tercero).

padre(jose_Arcadio_Buendia_tercero,aureliano_Segundo).

padre(jose_Arcadio_Buendia_tercero,jose_Arcadio_Segundo).

padre(jose_Arcadio_Buendia_tercero,remedios).

madre(santa_Sofia_de_la_Piedad,aureliano_segundo).
madre(santa_Sofia_de_la_Piedad,jose_Arcadio_Segundo).

madre(santa_Sofia_de_la_Piedad,remedios).

padre(don_Fernando_del_Carpio,fernanda_del_Carpio).

madre(renata_Argote,fernanda_del_Carpio).

padre(aureliano_segundo,renata_Remedios).

padre(aureliano_segundo,amarante_Ursula).

padre(aureliano_segundo,jose_Arcadio).

madre(fernanda_del_Carpio,renata_Remedios).

madre(fernanda_del_Carpio,amarante_Ursula).

madre(fernanda_del_Carpio,jose_Arcadio).

padre(mauricio_Babilonia,aureliano_Babilonia).

madre(renata_Remedios,aureliano_Babilonia).

padre(aureliano_Babilonia,se_lo_comieron_las_hormigas).

madre(amarante_Ursula,se_lo_comieron_las_hormigas).

madre(amarante_Ursula,gaston).

madre(ursula_Iguaran_Buendia,amarante_Buendia).

madre(ursula_Iguaran_Buendia,aureliano_Buendia).

padre(don_Apolinar_Moscote,remedios_Moscote).

madre(no_se_sabe,remedios_Moscote).

padre(don_Apolinar_Moscote,amparo_Moscote).

madre(no_se_sabe,amparo_Moscote).

padre(don_Apolinar_Moscote,otras_5_hijas).
madre(no_se_sabe,otras_cinco_hijas).

padre(aureliano_Buendia,aureliano_Jose).

madre(remedio_Moscote,aureliano_Jose).

padre(aureliano_Buendia,aureliano_Amado).

madre(desconocida1,aureliano_Amado).

padre(aureliano_Buendia,aureliano_Triste).

madre(desconocida2,aureliano_Triste).

padre(aureliano_Buendia,aureliano_Centeno).

madre(desconocida3,aureliano_Centeno).

padre(aureliano_Buendia,aureliano_Serrador).

madre(desconocida4,aureliano_Serrador).

padre(aureliano_Buendia,aureliano_Arcayo).

madre(desconocida5,aureliano_Arcayo).

padre(aureliano_Buendia,otros_12).

madre(desconocida6,otros_12).

hijo(X,Y):-(padre(Y,X);madre(Y,X)),hombre(X).

hija(X,Y):-(padre(Y,X);madre(Y,X)),mujer(X).

hermano(X,Y):-(padre(Z,X);madre(Z,X)),(padre(Z,Y);madre(Z,Y)),hombre(X).

hermana(X,Y):-(padre(Z,X);madre(Z,X)),(padre(Z,Y);madre(Z,Y)),mujer(X).
abuelo(X,Y):-padre(X,Z),(hijo(Y,Z);hija(Y,Z)),hombre(X).

abuela(X,Y):-padre(X,Z),(hijo(Y,Z);hija(Y,Z)),mujer(Y).

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

tia(X,Y):-hermana(X,Z),padre(Z,Y).

primo(X,Y):-(tio(Z,Y);tia(Z,Y)),(padre(Z,X);madre(Z,Y)),hombre(Z).

prima(X,Y):-(tio(Z,Y);tia(Z,Y)),(padre(Z,X);madre(Z,Y)),mujer(X).