predicates
	es_padre(symbol,symbol)
	es_madre(symbol,symbol)
	es_abuela(symbol,symbol)
	es_nieto(symbol,symbol)
clauses
	es_padre(marcos,marco).	
	es_padre(marcos,araceli).	
	es_madre(juventina,marcos).
	
	es_abuela(X,Y):-
	es_madre(X,Z),
	es_padre(Z,Y).
	
	es_nieto(Z,X):-
	es_madre(X,Y),
	es_padre(Y,Z).