ATE meia noite de 22/9
==========
suponha que nos temos um predicado v(v1)
que indica que v1
é um vertice num grafo e a(v1,v2)
que indica que há uma aresta direcionada de v1
para v2
Define o predicado conectado(v1,v2)
se existe uma aresta entre v1 e v2 ou se existe uma sequencia de arestas a(v1,v3)
, a(v3,v4)
, etc a(vn,v2)
.
Assuma que o grafo não tem LOOPS (se houver nao da para fazer a solução simples!!)