PRACTICO “MI FAMILIA”

Programación lógica Prolog es un lenguaje lógico, utilizado para programar en el campo

de la inteligencia artificial. Sus características son bastante peculiares ya que no sigue la
filosofía estructurada ni la orientada a objetos. Algunas de las cosas llamativas que
podemos encontrar en el mismo es que no hay bucles.
El lenguaje se basa principalmente en:
 Hechos algo que siempre es verdadero.
 Reglas algo que para que sea verdadero se tienen que cumplir aquellas condiciones del
cuerpo de la regla.

Árbol Genealógico

Mario Marquez Mendoza

Maria Mendoza Velasquez

Rolando Marquez Mendoza

Ramon Marquez mendoza Roger Marquez Mendoza Juan de Dios Marquez Mendoza
Ana Beatriz Ipamo Guasace
Carmen Hiraori Ozinaga Maria Asunta Oquendaqui Rosa Lineth Ipamo Guasace

Juan Carlos Cardona Juan de Dios Marquez Ipamo Mateo Marquez Ipamo
Mario marquez Moremonchi
Carmen Marquez HIraori Alicia Rocío Marquez Ipamo Estefania Marquez Ipamo
Roger Marquez Moremonchi
Andres Kelnvin Marquez Ipamo

Noelia Cardona Marquez

%mujeres

mujer(MariaMendozaVelasquez).
mujer(CarmenHiraoriUrañaré).
mujer(CarmenMarquezHiraori).
mujer(NoeliaCardonaMarquez).
mujer(MariaOzinagaCanaviri).
mujer(CieloMarquezOzinaga).
mujer(SilviaContreras).
mujer(RosaLinethIpamoGuasace).
mujer(AliciaRocioMarquezIpamo).
mujer(AnaBeatrizIpamoGuasace).
mujer(EstefanyMarquezIpamo).
mujer(AndreaMonteroMendiri).
mujer(DoloresMercedesGuasaceMontero).
mujer(AndreaIpamoGuasace).
mujer(MariaMendozaVelasquez).
mujer(MariaAsuntaOquendaqui).
mujer(AndreaMonteroMendiri).
mujer(MariaFlores).
mujer(MalenaCarrizo).

%hombres

hombre(RamonMarquezMendoza).
hombre(RubenMarquezMendoza).
hombre(RogerMarquezMendoza).
hombre(RolandoMarquezMendoza).
hombre(JuandeDiosMarquezMendoza).
hombre(HernandoMarquezContreras).
hombre(JuandeDiosMarquezIpamo).
hombre(AndresKelvinMarquezIpamo).
hombre(MateoMarquezIpamo).
hombre(JuanCarlosIpamoGuasace).
hombre(AbelIpamoGuasace).
hombre(MarioMarquezMendoza).
hombre(RamonMarquezMendoza).
hombre(JuanCarlosCardona).
hombre(RogerMarquezMendoza).

%madres

madre(CarmenMarquezHiraori,NoeliaCardonaMarquez).
madre(MariaOsinagaCanaviri,CieloMarquezOsinaga).
madre(SilviaContreras,HernandoMarquezContreras).
madre(RosaLinethIpamoGuasace,JuandeDiosMarquezIpamo).
madre(RosaLinethIpamoGuasace,AndresKelvinMarquezIpamo).
madre(RosaLinethIpamoGuasace,AliciaRocioMarquezIpamo).
madre(AnaBeatrizIpamoGuasace,MateoMarquezIpamo).
madre(AnaBeatrizIpamoGuasace,EstefanyMarquezIpamo).
madre(AndreaMonteroMendiri,DoloresMercedesGuasaceMontero).
madre(DoloresMercedesGuasaceMontero.AndreaIpamoGuasace).
madre(DoloresMercedesGuasaceMontero.RosaLinethIpamoGuasace).
madre(DoloresMercedesGuasaceMontero.JuanCarlosIpamoGuasace).
madre(DoloresMercedesGuasaceMontero.AbelIpamoGuasace).

%matrimonios
matrimonio(MarioMarquezMendoza,MariaMendozaVelasquez).
matrimonio(RamonMarquezMendoza,CarmenHiraoriUrañare).
matrimonio(JuanCarlosCardona,CarmenMarquezHiraori).
matrimonio(RogerMarquezMendoza,MariaAsuntaOquendaqui).
matrimonio(RogerMarquezMoremonchi,MariaOsinagaCanaviri).
matrimonio(MarioMarquezMoremonchi,SilviaContreras).
matrimonio(JuandeDiosMarquezMendoza,RosaLinethIpamoGuasace).
matrimonio(RolandoMarquezMendoza,AnaBeatrizIpamoGuasace).
matrimonio(ValerianoHuasace,AndreaMonteroMendiri).
matrimonio(JuanIpamoGuasace,DoloresMercedesGuasaceMontero).
matrimonio(RodrigoPeinado,AndreaIpamoGuasace).
matrimonio(JuanCarlosIpamoGuasace,MalenaCarrizo).
matrimonio(AbelIpamoGuasace,MariaFlores).

%metodos

padre(X,Y):- madre(Z,Y),matrimonio(X,Z).
abuela(X,Y):- madre(Z,Y),madre(V,Z);padre(Z,Y),madre(V,Z).
abuelo(X,Y):- abuela(Z,Y),matrimonio(V,Z).
hijo(X,Y):-madre(Z,X);padre(Z,X).
hermanos(X,Y):- madre(Z,X),madre(Z,Y).
hermano(X,Y):-hombre(X),hermanos(X,Y).
hermana(X,Y):-mujer(X),hermanos(X,Y).
esposo(X,Y):-matrimonio(X,Y),hombre(X).
esposa(X,Y):-matrimonio(X,Y),mujer(X).
suegro(X,Y):-padre(X,Z),matrimonio(Y,Z).
suegra(X,Y):-madre(X,Z),esposos(Y,Z).
yerno(X,Y):-suegro(Y,X);suegra(Y,X),hombre(X).
nuera(X,Y):-suegro(Y,X);suegra(Y,X),mujer(X).
cuñados(X,Y):-
((matrimonio(X,Z),hermanos(Z,Y));(matrimonio(Y,Z),hermanos(Z,X))).
cuñado(X,Y):-cuñados(X,Y),hombre(X).

%REGLAS ADICIONALES

cuñada(A,B):-hermano(C,B),matrimonio(C,A).
tio(A,B):-hermano(C,A),madre(C,B),hombre(A).
tia(A,B):-hermano(C,A),madre(C,B),mujer(A).
suegra(A,B):-madre(A,C),matrimonio(C,B);madre(A,C),matrimonio(B,C).
desc(A,B):-madre(B,A);padre(B,A).
sobrino(A,B):-hermanos(B,C).
sobrina(A,B):-hermanos(B,C).
primos(A,B):-sobrino(A,C),sobrino(A,C);sobrino(A,C),sobrina(A,C);sobrina(A,C),
sobrina(A,C).
bisabuela(A,B):-madre(C,B),abuela(A,C);padre(C,B),abuela(A,C).
bisabuelo(A,B):-bisabuela(C,B),matr(A,C).
hijo(A,B):-madre(B,A);padre(B,A).
hija(A,B):-madre(B,A);padre(B,A).
nieta(A,B):-hija(A,C),madre(B,C);hija(A,C),padre(B,C).
nieto(A,B):-hija(A,C),madre(B,C);hija(A,C),padre(B,C).
bisnieto(A,B):-hijo(A,C),nieto(C,B).
bisnieta(A,B):-hija(A,C),nieta(C,B)
%REGLA RECURSIVA
desc(X,Y):-madre(Y,X);padre(Y.X).
desc(X,Y):-madre(Z,X),desc(Z,Y);padre(Z,X),desc(Z,Y);

%REGLAS ADICIONALES II
yerno(X,Y):- (suegro(Y,X); suegra(Y,X)), hombre(X).

nuera(X,Y):- (suegro(Y,X); suegra(Y,X)), mujer(X).

soltero(X):-hombre(X),not(matr(X,_)).
soltera(Y):-mujer(Y),not(matr(_,Y)).
Sobrino2(X,Y):-hijo(X,P),(hermano(P,Y);hermana(P,Y)).
Sobrina2(X,Y):-hija(X,P),(hermano(P,Y);hermana(P,Y)).
Tio2(X,Y):-hombre(X),(sobrina(Y,X);sobrino(Y,X)).
Tia2(X,Y):-mujer(X),(sobrina(Y,X);sobrino(Y,X)).
Marido2(X,Y):-hombre(X),matr(X,Y).
Esposa2(X,Y):-mujer(Y),matr(X,Y).
Suegro2(X,Y):-padre(X,Z),matr(Y,Z).