predicates
	es_padre(symbol,symbol)
	es_hermano(symbol,symbol)
	es_tio(symbol,symbol)
	es_esposa(symbol,symbol)
	es_tia(symbol,symbol)

clauses
	es_padre(ximeno,zenon).	
	es_padre(ximeno,yuri).	
	es_padre(zenon,wenceslao).	
	es_esposa(quelite,yuri).
	
	es_hermano(X,Y):-
	es_padre(J,X),
	es_padre(J,Y).

	es_tio(R,S):-
	es_hermano(T,R),
	es_padre(T,S).

	es_tia(X,Y):-
	es_esposa(X,Z),
	es_tio(Z,Y).