es_varon(homer).

es_varon(abraham).
es_varon(bart).
es_varon(herb).
es_varon(clancy).
es_mujer(marge).
es_mujer(maggie).
es_mujer(jackeline).
es_mujer(lisa).
es_mujer(ling).
es_mujer(selma).
es_mujer(patty).
es_mujer(mona).
es_madre(marge,bart).
es_madre(marge,maggie).
es_madre(marge,lisa).
es_madre(mona,homer).
es_madre(mona,herb).
es_madre(jackeline,marge).
es_madre(jackeline,patty).
es_madre(jackeline,selma).
es_madre(selma,ling).

es_padre(homer,bart).
es_padre(homer,lisa).
es_padre(homer,maggie).
es_padre(abraham,homer).
es_padre(abraham,herb).
es_padre(clancy,marge).
es_padre(clancy,patty).
es_padre(clancy,selma).

son_hermanos(H1,H2):-es_varon(H1),es_varon(H2),es_padre(X1,H1),es_padre(X1,H2).
son_hermanos(H1,H2):-es_varon(H1),es_mujer(H2),es_padre(X1,H1),es_padre(X1,H2).
son_hermanos(H1,H2):-es_mujer(H1),es_varon(H2),es_padre(X1,H1),es_padre(X1,H2).
son_hermanos(H1,H2):-es_mujer(H1),es_mujer(H2),es_padre(X1,H1),es_padre(X1,H2).

es_hijo(Hi,X):-es_varon(Hi),es_padre(X,Hi).
es_hijo(Hi,X):-es_varon(Hi),es_madre(X,Hi).
es_hija(Hi,X):-es_mujer(Hi),es_padre(X,Hi).
es_hija(Hi,X):-es_mujer(Hi),es_madre(X,Hi).

son_esposos(H1,H2):-es_varon(H1),es_mujer(H2),es_padre(H1,L),es_madre(H2,L).
son_esposos(H1,H2):-es_mujer(H1),es_varon(H2),es_madre(H1,L),es_padre(H2,L).

es_abuelo(Ab,Mi):-es_varon(Ab),es_padre(Ab,Pa),es_padre(Pa,Mi).
es_abuelo(Ab,Mi):-es_varon(Ab),es_padre(Ab,Pa),es_madre(Pa,Mi).