:- module(vasut,[el/2]).


/* Egy modul definiálásakor fel kell sorolni az átadandó predikátumokat. 
   Ezeket majd közvetlenül is el lehet érni, a többit csak a modul nevének megadásával.
*/



el(INNEN,IDE):- vonal(INNEN,IDE).
el(INNEN,IDE):- vonal(IDE,INNEN).


/*Adatok forrása: Kilián Imre*/


/*
Ha nagy kezdõbetûs neveket akar használni, akkor kötelezõ
aposztrofok közé írni a szót. Az aposztrof akkor sem hagyható el,
ha egynél több szóból áll a string. Egyébként elhagyható.
*/


vonal('Budapest','Székesfehérvár').
vonal('Budapest','Pusztaszabolcs').
vonal('Pusztaszabolcs','Börgönd').
vonal('Börgönd','Székesfehérvár').
vonal('Börgönd','Szabadbattyán').
vonal('Székesfehérvár','Szabadbattyán').
vonal('Szabadbattyán','Csajág').
vonal('Szabadbattyán','Lepsény').
vonal('Börgönd','Sárbogárd').
vonal('Pusztaszabolcs','Sárbogárd').
vonal('Pusztaszabolcs','Dunaújváros').
vonal('Sárbogárd','Rétszilas').
vonal('Rétszilas','Mezõfalva').
vonal('Mezõfalva','Dunaújváros').
vonal('Mezõfalva','Paks').
vonal('Rétszilas','Szekszárd').
vonal('Rétszilas','Pincehely').
vonal('Pincehely','Tamási').
vonal('Pincehely','Tamási').
vonal('Pincehely','Dombóvár').
vonal('Tamási','Dombóvár').
vonal('Dombóvár','Bonyhád').
vonal('Bonyhád','Bátaszék').
vonal('Bátaszék','Baja').
vonal('Bátaszék','Pécs').
vonal('Dombóvár','Godisa').
vonal('Godisa','Szentlõrinc').
vonal('Godisa','Komló').
vonal('Szentlõrinc','Sellye').
vonal('Szentlõrinc','Középrigóc').
vonal('Sellye','Középrigóc').
vonal('Pécs','Villány').
vonal('Villány','Mohács').
vonal('Villány','Sellye').
vonal('Középrigóc','Barcs').
vonal('Barcs','Gyékényes').
vonal('Gyékényes','Murakeresztúr').
vonal('Murakeresztúr','Nagykanizsa').
vonal('Gyékényes','Somogyszob').
vonal('Somogyszob','Nagyatád').
vonal('Somogyszob','Balatonszentgyörgy').
vonal('Fonyód','Balatonszentgyörgy').
vonal('Somogyszob','Kaposvár').
vonal('Kaposvár','Dombóvár').
vonal('Kaposvár','Fonyód').
vonal('Kaposvár','Siófok').
vonal('Siófok','Lepsény').
vonal('Fonyód','Siófok').
vonal('Nagykanizsa','Zalaszentiván').
vonal('Nagykanizsa','Balatonszentgyörgy').
vonal('Zalaszentiván','Zalaegerszeg').
vonal('Zalaegerszeg','Rédics').
vonal('Zalaegerszeg','Zalalövõ').
vonal('Zalalövõ','Hódos').
vonal('Zalalövõ','Körmend').
vonal('Körmend','Szentgotthárd').
vonal('Körmend','Szombathely').
vonal('Szombathely','Kõszeg').
vonal('Szombathely','Sopron').
vonal('Szombathely','Porpác').
vonal('Szombathely','Zalaszentiván').
vonal('Porpác','Csorna').
vonal('Sopron','Csorna').
vonal('Csorna','Hegyeshalom').
vonal('Csorna','Gyõr').
vonal('Gyõr','Hegyeshalom').
vonal('Pápa','Csorna').
vonal('Porpác','Celldömölk').
vonal('Pápa','Celldömölk').
vonal('Pápa','Gyõrszabadhegy').
vonal('Kisbér','Veszprémvarsány').
vonal('Gyõrszabadhegy','Gyõr').
vonal('Gyõr','Komárom').
vonal('Boba','Celldömölk').
vonal('Boba','Ukk').
vonal('Boba','Veszprém').
vonal('Ukk','Zalaszentiván').
vonal('Ukk','Tapolca').
vonal('Balatonszentgyörgy','Tapolca').
vonal('Balatonfûzfõ','Tapolca').
vonal('Balatonfûzfõ','Hajmáskér').
vonal('Hajmáskér','Szabadbattyán').
vonal('Hajmáskér','Veszprém').
vonal('Hajmáskér','Székesfehérvár').
vonal('Veszprémvarsány','Veszprém').
vonal('Komárom','Kisbér').
vonal('Székesfehérvár','Kisbér').
vonal('Kisbér','Tatabánya').
vonal('Budapest','Tatabánya').
vonal('Tatabánya','Almásfüzítõ').
vonal('Almásfüzítõ','Esztergom').
vonal('Esztergom','Budapest').

