MardoqueoFranciscaEvaAdolfoFranciscaJosHerlaEdgarSandraAmapolaReneEDRARodrigoBernabeMaraNataliaAdolfoEslieLourdesEdgarMarvinSoanyCristianDanielWilmarElizabethDiegoValentina

hombre('Mardoqueo').hombre('Adolfo').hombre('Adolfo').hombre('Jose').hombre('Edgar').hombre('Edgar').hombre('Rene').hombre('Rodrigo').hombre('Marvin').hombre('Diego').hombre('Cristian').hombre('Daniel').hombre('Wilmar').hombre('Bernabe').mujer('Francisca').mujer('Eva').mujer('Francisca').mujer('Edra').mujer('Maria').mujer('Natali').mujer('Eslie').mujer('Lourdes').mujer('Soany').mujer('Valentina').mujer('Elizabeth').mujer('Sandra').mujer('Amapola').

padre('Carlos','Juan').padre('Carlos','Carla').padre('Maria','Juan').padre('Maria','Carla').padre('Juan','Pablo').padre('Juan','Mateo').padre('Paula','Pablo').padre('Paula','Mateo').padre('Pedro','Andres').padre('Carla','Andres').padre('Andres','Edwin').padre('Lorena','Edwin').

esposos('Maria','Carlos').esposos('Juan','Paula').esposos('Pedro','Carla').esposos('Andres','Lorena').

esposos('Carlos','Maria').esposos('Paula','Juan').esposos('Carla','Pedro').esposos('Lorena','Andres').

diferente(X,Y):- X \== Y.hijo(A,B):-padre(B,A),hombre(A).hija(A,B):-padre(B,A),mujer(A).nieto(A,B):-padre(B,C),padre(C,A),hombre(A).%solo es nieto hombrehermano(A,B):-padre(C,A),padre(C,B),diferente(A,B).primo(A,B):-padre(C,A),padre(D,B),hermano(C,D),diferente(D,C).tio(A,B):-padre(C,B),hermano(C,A),hombre(A).abuelo(A,B):-nieto(B,A).cuado(A,B):-esposos(B,C),hermano(A,C).tia(A,B):-padre(C,B),hermano(C,A),mujer(A).sobrino(A,B):-hijo(A,C),hermano(C,B),hombre(A).sobrina(A,B):-hija(A,C),hermano(C,B),mujer(A).suegro(A,B):-hijo(C,A);hija(C,A),esposos(C,B).

ARBOL GENEALOGICO EN PROLOGLEONORCESARGLORIA

hombre(`Julio`). %/Julio es hombrehombre(`Jacky`).hombre(`Hernan`).hombre(`David`).hombre(`Johan`).hombre(`Adrian`).hombre(`Felipe`).hombre(`Cesar`).mujer(`Mariela`).mujer(`Angela`).mujer(`Laura`).mujer(`Gloria`).mujer(`Leonor`).

padre_de(`Julio`,`Jacky`). %/Julio es padre de Jackypadre_de(`Julio`,`Laura`).padre_de(`Julio`,`David`).padre_de(`Mariela`,`Jacky`).padre_de(`Mariela`,`Laura`).padre_de(`Mariela`,`David`).padre_de(`Jacky`,`Johan`).padre_de(`Jacky`,`Adrian`).padre_de(`Angela`,`Adrian`).padre_de(`Angela`,`Adrian`).padre_de(`Laura`,`Felipe`).padre_de(`Hernan`,`Felipe`).padre_de (`Cesar`,`Julio`).padre_de(`Cesar`,`Gloria`).padre_de(`Leonor`,`Julio`).padre_de(`Leonor`,`Gloria`).esposo_de(`Julio`,`Mariela`). %Julio es esposo de Marielaesposo_de(`Jacky`,`Angela`).esposo_de(`Laura`,`Hernan`).

diferente(X,Y):- X \== Y.hijo(A,B):-padre_de(B,A),hombre(A).

hija(A,B):-padre_de(B,A),mujer(A).

nieto(A,B):-padre_de(B,C),padre_de(C,A),hombre(A).

hermano(A,B):-padre_de(C,A),padre_de(C,B),diferente(A,B).

primo(A,B):-padre_de(C,A),padre_de(D,B),hermano(C,D),diferente(D,C).

tio(A,B):-padre_de(C,B),hermano(C,A),hombre(A).

abuelo(A,B):-nieto(B,A).

cuado(A,B):-esposo_de(B,C),hermano(A,C).

tia(A,B):-padre_de(C,B),hermano(C,A),mujer(A).

sobrino(A,B):-hijo(A,C),hermano(C,B),hombre(A).

sobrina(A,B):-hija(A,C),hermano(C,B),mujer(A).

suegro(A,B):-hijo(C,A),hija(C,A),esposo_de(C,B).

abuelo(A,C):- %/antecesor : A es abuelo de Cpadre_de(A,B),padre_de(B,C),

hombre('Carlos').hombre('Juan').hombre('Pedro').hombre('Pablo').hombre('Mateo').hombre('Andres').hombre('Edwin').mujer('Maria').mujer('Paula').mujer('Carla').mujer('Lorena').

padre('Carlos','Juan').padre('Carlos','Carla').padre('Maria','Juan').padre('Maria','Carla').padre('Juan','Pablo').padre('Juan','Mateo').padre('Paula','Pablo').padre('Paula','Mateo').padre('Pedro','Andres').padre('Carla','Andres').padre('Andres','Edwin').padre('Lorena','Edwin').

esposos('Maria','Carlos').esposos('Juan','Paula').esposos('Pedro','Carla').esposos('Andres','Lorena').

esposos('Carlos','Maria').esposos('Paula','Juan').esposos('Carla','Pedro').esposos('Lorena','Andres').

diferente(X,Y):- X \== Y.hijo(A,B):-padre(B,A),hombre(A).hija(A,B):-padre(B,A),mujer(A).nieto(A,B):-padre(B,C),padre(C,A),hombre(A).%solo es nieto hombrehermano(A,B):-padre(C,A),padre(C,B),diferente(A,B).primo(A,B):-padre(C,A),padre(D,B),hermano(C,D),diferente(D,C).tio(A,B):-padre(C,B),hermano(C,A),hombre(A).abuelo(A,B):-nieto(B,A).cuado(A,B):-esposos(B,C),hermano(A,C).tia(A,B):-padre(C,B),hermano(C,A),mujer(A).sobrino(A,B):-hijo(A,C),hermano(C,B),hombre(A).sobrina(A,B):-hija(A,C),hermano(C,B),mujer(A).suegro(A,B):-hijo(C,A);hija(C,A),esposos(C,B).