/*
  carretera(Origen,Destino)

  Predicado que indica si existe una carretera desde Origen a Destino

  Argumentos
  + Origen: 
     - Significado: nombre de una localidad
     - Tipo: entrada y salida
  + Destino: 
     - Significado: nombre de una localidad
     - Tipo: entrada y salida
*/

carretera(cordoba,granada).
carretera(cordoba,jaen).
carretera(cordoba,malaga).
carretera(cordoba,sevilla).
carretera(sevilla,cadiz).
carretera(sevilla,huelva).
carretera(sevilla,malaga).


/*
  conectado(Origen,Destino)

  Predicado que indica si Origen está conectado con Destino por medio de una o más carreteras

  Argumentos
   + Origen: 
     - Significado: nombre de una localidad
     - Tipo: entrada y salida
  + Destino: 
     - Significado: nombre de una localidad
     - Tipo: entrada y salida

 Variable local
  + Intermedio:
    - Significado: nombre de una localidad

  Predicado relacionado
  + carretera
*/


conectado(Origen,Destino):- carretera(Origen, Destino).

conectado(Origen,Destino):- 
		carretera(Origen, Intermedio),
		conectado(Intermedio,Destino).
