predicates
	es_padre(symbol,symbol)
	es_esposo(symbol,symbol)
	es_tio(symbol,symbol)
	es_hermano(symbol,symbol)
clauses
	es_padre(xavier,yuri).
	es_padre(xavier,zaira).
	es_padre(zaira,wendy).	
	es_esposo(quelite,yuri).
	
	es_hermano(Y,Z):-
	es_padre(X,Y),
	es_padre(X,Z),
	Y<>Z.
	
	es_tio(Y,W):-
	es_hermano(Y,Z),
	es_padre(Z,W);
	es_esposo(Y,Z),
	es_hermano(Z,R),
	es_padre(R,W).