fonte(X) :- arco(X,_),\+ arco(_,X).

fontes(L) :- findall(X,fonte(X),L).

%%-----------------------

separa([],[],[]).
separa([A|X],I,P) :-
	separa(X,II,PP),
	(par(A) -> II = I, P = [A|PP]
	        ;  PP = P, I = [A|II]).