% Autor: % Fecha: 17/05/2011 %abuelos de parte de papa progenitor(pablo,vidal). progenitor(pablo,benito). progenitor(pablo,nelsy). progenitor(maria,benito). progenitor(maria,nelsy). progenitor(maria,vidal).

%abuelos de parte de mama progenitor(pedro,laura). progenitor(pedro,rene). progenitor(pedro,norma). progenitor(bertha,laura). progenitor(bertha,rene). progenitor(bertha,norma). %hijos progenitor(vidal,joel). progenitor(vidal,febe). progenitor(vidal,david). progenitor(laura,joel). progenitor(laura,febe). progenitor(laura,david). %hombres hombre(pablo). hombre(pedro). hombre(benito). hombre(vidal). hombre(rene). hombre(joel). hombre(david). %mujeres mujer(maria). mujer(bertha). mujer(nelsy). mujer(laura). mujer(norma). mujer(febe). %esposos esposos(pablo,maria). esposos(pedro,bertha). esposos(vidal,laura). %padres es_madre(X):-progenitor(X,_),mujer(X). es_padre(X):-progenitor(X,_),hombre(X). %hermanos hermano(X,Y):-progenitor(Z,X),hombre(Z),hombre(X). hermana(X,Y):-progenitor(Z,X),hombre(Z),mujer(X). %tioas tio(Tio,Sobri):-progenitor(X,Sobri),progenitor(Y,X),progenitor(Y,Tio),hombre(Tio ).

tia(Tia,Sobri):-progenitor(X,Sobri),progenitor(Y,X),progenitor(Y,Tia),mujer(Tia) . %cuniadoas cuniado(Cuniado,Esposo):-hermano(Cuniado,vidal),hombre(Cuniado). cuniada(Cuniada,Esposa):-hermana(Cuniada,laura),mujer(Cuniada). %hermanos de la persona que indique hermano_de(X,Y):-progenitor(Z,X),progenitor(Z,Y),dif(X,Y),hombre(X). hermana_de(X,Y):-progenitor(Z,X),progenitor(Z,Y),dif(X,Y),mujer(X). %suegroas suegro(Suegro,Esposo):-esposos(Esposo,Hija),progenitor(Suegro,Hija),hombre(Suegr o). suegra(Suegra,Esposa):-esposos(Esposa,Hijo),progenitor(Suegra,Hijo),mujer(Suegra ). %consuegroas consuegros(Papa_Novia,Papa_Novio):-progenitor(Papa_Novio,vidal)progenitor(Papa_N ovia,laura),hombre(Papa_Novia). consuegras(Papa_Novio,Papa_Novia):-progenitor(Papa_Novio,vidal)progenitor(Papa_N ovia,laura),hombre(Papa_ovio).