prestup(puchovska, autobus).
prestup(zahumenice_drevona, autobus).
prestup(cachticka, autobus).
prestup(pekna_cesta, autobus).
prestup(zst_vinohrady, vlak).
prestup(zst_vinohrady, autobus).
prestup(mlada_garda, autobus).
prestup(riazanska, autobus).
prestup(pionierska, autobus).
prestup(racianske_myto, autobus).
prestup(racianske_myto, trolejbus).
prestup(blumental, autobus).
prestup(americke_nam, trolejbus).
prestup(farskeho, autobus).
spoj(komisarky, puchovska).
spoj(puchovska, komisarky).
spoj(puchovska, zahumenice_drevona).
spoj(zahumenice_drevona, puchovska).
spoj(zahumenice_drevona, cintorin_raca).
spoj(cintorin_raca, zahumenice_drevona).
spoj(cintorin_raca, hybesova).
spoj(hybesova, cintorin_raca).
spoj(hybesova, heckova).
spoj(heckova, hybesova).
spoj(heckova, cernockeho).
spoj(cernockeho, heckova).
spoj(cernockeho, pekna_cesta).
spoj(pekna_cesta, cernockeho).
spoj(pekna_cesta, male_krasnany).
spoj(male_krasnany, pekna_cesta).
spoj(male_krasnany, vozovna_krasnany).
spoj(vozovna_krasnany, male_krasnany).
spoj(vozovna_krasnany, zst_vinohrady).
spoj(zst_vinohrady, vozovna_krasnany).
spoj(zst_vinohrady, nam_biely_kriz).
spoj(nam_biely_kriz, zst_vinohrady).
spoj(nam_biely_kriz, mlada_garda).
spoj(mlada_garda, nam_biely_kriz).
spoj(mlada_garda, riazanska).
spoj(riazanska, mlada_garda).
spoj(riazanska, pionierska).
spoj(pionierska, riazanska).
spoj(pionierska, ursinyho).
spoj(ursinyho, pionierska).
spoj(ursinyho, racianske_myto).
spoj(racianske_myto, ursinyho).
spoj(racianske_myto, bluemntal).
spoj(bluemntal, racianske_myto).
spoj(bluemntal, americke_nam).
spoj(americke_nam, bluemntal).
spoj(americke_nam, marianska).
spoj(marianska, americke_nam).
spoj(marianska, kamenne_nam).
spoj(kamenne_nam, marianska).
spoj(kamenne_nam, safarikovo_nam).
spoj(safarikovo_nam, kamenne_nam).
spoj(safarikovo_nam, sad_j_krala).
spoj(sad_j_krala, safarikovo_nam).
spoj(sad_j_krala, farskeho).
spoj(farskeho, sad_j_krala).
spoj(farskeho, jungmannova).
spoj(jungmannova, farskeho).

prepojenie(X, Y) :- spoj(X, Y).
prepojenie(X, Z) :- prepojenie(X, Y), spoj(Y, Z).
autobus(X) :- prestup(X, autobus).
