%se um elemento pertence a uma lista
pertence(X,[X|_]).
pertence(X,[_|T]):-pertence(X,T).
%?-pertence(0, [1,2,3,4,5]).

%Numero de ocorrencias de um elemento na lista
conta(_,[],0).
conta(X,[X|T], N):-conta(X,T,N1), N is 1 + N1.
conta(X,[_|T], N):-conta(X,T,N).

%?-conta(1,[1,2,3,1,5]).

% SE A ARESTA PERCENCE AO GRAFO
aresta(a(X,Y), [a(X,Y)|T]).
aresta(a(X,Y), [a(Y,X)|T]).
aresta(a(X,Y), [H|T]):- aresta(a(X,Y), T).

earesta(a(X,Y), grafo(Vs, As)):- aresta(a(X,Y), As).
%?-earesta(a(a,b), grafo([a,b,c], [a(b,a),a(c,b),a(c,a)])).
%?-earesta(a(1,2), grafo([1,2,3], [a(2,1), a(3,2), a(3,1)])).

%Verifica se a aresta pertence a lista de arestas
verify(X,[X|_]).
verify(X,[_|T]):-pertence(X,T).


%caminho
caresta([],[]).
caresta([b],[]).
caresta([X,Y|T],[(X,Y)|L]):-caresta([Y|T],L).