https://www.glc.us.es/~jalonso/LCyTM2018/index.php?action=history&feed=atom&title=Relaci%C3%B3n_2_%282%29 2026-09-19T04:49:16Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.0 https://www.glc.us.es/~jalonso/LCyTM2018/index.php?title=Relaci%C3%B3n_2_(2)&diff=53&oldid=prev 2018-11-15T12:24:21Z

<p>Página creada con «&lt;source lang = &quot;prolog&quot;&gt; %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% &gt; Enunciado…»</p> <p><b>Página nueva</b></p><div>&lt;source lang = &quot;prolog&quot;&gt;<br /> <br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> %% &gt; Enunciado %%<br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> <br /> % Un grafo dirigido G es un conjunto de nodos, representados mediante el<br /> % predicado nodo, y un conjunto de arcos, representado mediante el<br /> % predicado arco. Entre los arcos puede haber algunos bloqueados para<br /> % pasar, lo que se representa por la relacón bloqueado. Redefinir la<br /> % relación conectados tal que conectados(X,Y) se verifica si existe un<br /> % camino en G que conecta dichos nodos, de forma que ningún arco del<br /> % camino esté bloqueado.<br /> <br /> % Usar la relación arco(X,Y) para representar un arco de X a Y, pero no<br /> % necesariamante al revés. Y la relación bloqueado(X,Y) para representar<br /> % que el arco que une X con Y está bloqueado. <br /> <br /> <br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> %% &gt; Programa %%<br /> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%<br /> <br /> <br /> <br /> &lt;/source&gt;</div>

Mjoseh