predicates
	mantiene_a(symbol,symbol)
	es_presidente_de(symbol,symbol)
	su_candidato_es(symbol,symbol)
	mantiene(symbol,symbol)
	financia(symbol,symbol)
	es_partido(symbol)
clauses
	mantiene_a(mexico,jose).
	mantiene_a(los_mexicanos,amalia).
	mantiene_a(los_impuestos,felipe).
	es_presidente_de(jose,pri).
	es_presidente_de(amalia,prd).
	es_presidente_de(felipe,pan).
	su_candidato_es(pri,francisco).
	su_candidato_es(pri,roberto).
	su_candidato_es(pri,manuel).
	su_candidato_es(pri,humberto).
	su_candidato_es(prd,cuahutemoc).
	su_candidato_es(prd,porfirio).
	su_candidato_es(pan,vicente).
	su_candidato_es(pan,diego).
	
	mantiene(X,Y):-
	mantiene_a(X,Z),
	es_presidente_de(Z,W),
	su_candidato_es(W,Y).
	
	financia(X,Z):-
	mantiene_a(X,Y),
	es_presidente_de(Y,Z).
	
	es_partido(R):-
	es_presidente_de(L,R),
	es_presidente_de(L,R).