%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% > Enunciado %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Un grafo dirigido G es un conjunto de nodos, representados mediante el
% predicado nodo, y un conjunto de arcos, representado mediante el
% predicado arco. Entre los arcos puede haber algunos bloqueados para
% pasar, lo que se representa por la relacón bloqueado. Redefinir la
% relación conectados tal que conectados(X,Y) se verifica si existe un
% camino en G que conecta dichos nodos, de forma que ningún arco del
% camino esté bloqueado.
% Usar la relación arco(X,Y) para representar un arco de X a Y, pero no
% necesariamante al revés. Y la relación bloqueado(X,Y) para representar
% que el arco que une X con Y está bloqueado.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% > Programa %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%