DOMAINS

persona = string
PREDICATES
nondeterm hombre(persona)
nondeterm mujer(persona)
nondeterm padre(persona,persona)
nondeterm madre(persona, persona)
nondeterm hermano(persona,persona)
nondeterm hermana(persona, persona)
CLAUSES
hombre("rudy").
hombre("paulet").
hombre("carlin").
hombre("juan").
hombre("michael").
hombre("gari").
hombre("saul").
mujer("cesia").
mujer("diana").
mujer("maria").
mujer("elsa").
mujer("leticia").
mujer("linet").
padre("rudy","paulet").
padre("rudy","michael").
padre("rudy","elza").
madre("cecia","paulet").
madre("cecia","michel").
madre("cecia","elsa").

%Funcion para Hermanos

hermano(H1,H2):-padre(P,H1),padre(P,H2),hombre(H1),hombre(H2).

% Funcion para Hermanas

hermana(He1,He2):padre(P,He1), padre(P,He2), mujer(He1), mujer(He2).

GOAL
% listar todas las mujeres

mujer(Y).

%listar todos los varones

hombre(Y).

%padre
padre(padre, "michael").
padre(padre, "paulet").
padre(padre, "elsa").

%madre
madre(madre, "diana").
madre(madre,"maria").
madre(madre, "saul").

%listar hermanos

hermano(H1,H2),H1<>H2.

%listar hermanas

hermana(He1;He2), He1<>He2.