ej-08.pl

Dado un grafo dirigido se le solicita que defina un predicado 
generaGrafo que genere a partir de éste otro grafo, en el cual cada arco 
entre dos nodos representa la existencia de un camino de longitud n (la 
que se especifique) en el grafo original.  En el siguiente ejemplo se 
muestra un grafo, y el resultado de analizar los caminos de longitud 2.  
Por ejemplo, en el segundo grafo hay un arco del nodo 1 al 2, ya que 
existe un camino 1-2-2 en el grafo original.

             _
           /  \
           v  /
   1 -----> 2 -----> 5 --> 6
   |        |        ^               Grafo original
   |        |        |
   v        v        |
   3 -----> 4 -------+  

     _______________
    /        __     \
   |       /  \      |
   |       v  /      V
   1 -----> 2 -----> 5 <--- 3
   |        | \           
   |        |  \                    Grafo que vincula nodos
   |        |   \--------> 6        unidos por caminos de
   |        |              ^        longitud 2 en el grafo
   |        v              |        original
   +------> 4 -------------+

El predicado generaGrafo será de tres argumentos: grafo original, grafo 
resultante, longitud del camino.  Seleccione e indique que tipo de 
representación utiliza para los grafos.