mujer(ana).
mujer(marta).
mujer(alicia).
mujer(carmen).
mujer(laura).
mujer(isabel).
mujer(silvia).

hombre(juan).
hombre(luis).
hombre(miguel).
hombre(alberto).
hombre(rodrigo).
hombre(pedro).

/* padres(Persona,Padre,Madre) */

padres(juan,luis,ana).
padres(alberto,luis,ana).
padres(marta,luis,ana).
padres(alicia,luis,ana).

padres(rodrigo,juan,laura).
padres(carmen,juan,laura).
padres(isabel,juan,laura).
padres(miguel,juan,laura).

padres(laura,pedro,silvia). 

/* X es hermana de Y */

hermana(X,Y):-
	mujer(X),
	padres(X,P,M),
	padres(Y,P,M).



/* X es hermana de Y */

hermana_verdadera(X,Y):-
	mujer(X),
	padres(X,P,M),
	padres(Y,P,M),
	X \= Y.

/* X es un ancestro de Y */
ancestro(X,Y):-
	padres(Y,X,_).

ancestro(X,Y):-
	padres(Y,_,X).

ancestro(X,Y):-
	padres(Y,Z,_),
	ancestro(X,Z).

ancestro(X,Y):-
	padres(Y,_,Z),
	ancestro(X,Z).


