src/facts.pl

eta(charing_cross,embankment,1).
eta(embankment,charing_cross,1).
eta(charing_cross,picadilly_circus,2).
eta(picadilly_circus,charing_cross,2).
eta(elephant_and_castle,lambeth_north,3).
eta(lambeth_north,elephant_and_castle,3).
eta(embankment,waterloo,2).
eta(waterloo,embankment,2).
eta(lambeth_north,waterloo,1).
eta(waterloo,lambeth_north,1).
eta(oxford_circus,picadilly_circus,2).
eta(picadilly_circus,oxford_circus,2).
eta(oxford_circus,regents_park,2).
eta(regents_park,oxford_circus,2).
eta(bank,liverpool_street,2).
eta(liverpool_street,bank,2).
eta(bank,st_pauls,2).
eta(st_pauls,bank,2).
eta(bond_street,oxford_circus,1).
eta(oxford_circus,bond_street,1).
eta(chancery_lane,holborn,1).
eta(holborn,chancery_lane,1).
eta(chancery_lane,st_pauls,2).
eta(st_pauls,chancery_lane,2).
eta(holborn,tottenham_court_road,2).
eta(tottenham_court_road,holborn,2).
eta(oxford_circus,tottenham_court_road,2).
eta(tottenham_court_road,oxford_circus,2).
eta(aldgate,liverpool_street,2).
eta(liverpool_street,aldgate,2).
eta(aldgate,tower_hill,4).
eta(tower_hill,aldgate,4).
eta(barbican,farringdon,1).
eta(farringdon,barbican,1).
eta(barbican,moorgate,2).
eta(moorgate,barbican,2).
eta(blackfriars,mansion_house,1).
eta(mansion_house,blackfriars,1).
eta(blackfriars,temple,2).
eta(temple,blackfriars,2).
eta(cannon_street,mansion_house,1).
eta(mansion_house,cannon_street,1).
eta(cannon_street,monument,2).
eta(monument,cannon_street,2).
eta(embankment,temple,2).
eta(temple,embankment,2).
eta(embankment,westminster,2).
eta(westminster,embankment,2).
eta(euston_square,great_portland_street,2).
eta(great_portland_street,euston_square,2).
eta(euston_square,kings_cross_st_pancras,2).
eta(kings_cross_st_pancras,euston_square,2).
eta(farringdon,kings_cross_st_pancras,4).
eta(kings_cross_st_pancras,farringdon,4).
eta(liverpool_street,moorgate,2).
eta(moorgate,liverpool_street,2).
eta(monument,tower_hill,2).
eta(tower_hill,monument,2).
eta(st_jamess_park,victoria,2).
eta(victoria,st_jamess_park,2).
eta(st_jamess_park,westminster,2).
eta(westminster,st_jamess_park,2).
eta(aldgate_east,tower_hill,2).
eta(tower_hill,aldgate_east,2).
eta(aldgate_east,liverpool_street,4).
eta(liverpool_street,aldgate_east,4).
eta(bond_street,green_park,2).
eta(green_park,bond_street,2).
eta(green_park,westminster,3).
eta(westminster,green_park,3).
eta(london_bridge,southwark,2).
eta(southwark,london_bridge,2).
eta(southwark,waterloo,1).
eta(waterloo,southwark,1).
eta(waterloo,westminster,2).
eta(westminster,waterloo,2).
eta(angel,kings_cross_st_pancras,2).
eta(kings_cross_st_pancras,angel,2).
eta(angel,old_street,3).
eta(old_street,angel,3).
eta(bank,london_bridge,2).
eta(london_bridge,bank,2).
eta(bank,moorgate,3).
eta(moorgate,bank,3).
eta(borough,elephant_and_castle,1).
eta(elephant_and_castle,borough,1).
eta(borough,london_bridge,2).
eta(london_bridge,borough,2).
eta(charing_cross,leicester_square,2).
eta(leicester_square,charing_cross,2).
eta(elephant_and_castle,kennington,2).
eta(kennington,elephant_and_castle,2).
eta(euston,kings_cross_st_pancras,2).
eta(kings_cross_st_pancras,euston,2).
eta(euston,mornington_crescent,2).
eta(mornington_crescent,euston,2).
eta(euston,warren_street,1).
eta(warren_street,euston,1).
eta(goodge_street,tottenham_court_road,1).
eta(tottenham_court_road,goodge_street,1).
eta(goodge_street,warren_street,2).
eta(warren_street,goodge_street,2).
eta(kennington,waterloo,3).
eta(waterloo,kennington,3).
eta(leicester_square,tottenham_court_road,1).
eta(tottenham_court_road,leicester_square,1).
eta(moorgate,old_street,1).
eta(old_street,moorgate,1).
eta(covent_garden,holborn,1).
eta(holborn,covent_garden,1).
eta(covent_garden,leicester_square,1).
eta(leicester_square,covent_garden,1).
eta(green_park,hyde_park_corner,2).
eta(hyde_park_corner,green_park,2).
eta(green_park,picadilly_circus,1).
eta(picadilly_circus,green_park,1).
eta(holborn,russell_square,2).
eta(russell_square,holborn,2).
eta(kings_cross_st_pancras,russell_square,2).
eta(russell_square,kings_cross_st_pancras,2).
eta(leicester_square,picadilly_circus,2).
eta(picadilly_circus,leicester_square,2).
eta(green_park,oxford_circus,2).
eta(oxford_circus,green_park,2).
eta(green_park,victoria,2).
eta(victoria,green_park,2).
eta(oxford_circus,warren_street,2).
eta(warren_street,oxford_circus,2).
eta(pimlico,vauxhall,1).
eta(vauxhall,pimlico,1).
eta(pimlico,victoria,3).
eta(victoria,pimlico,3).
eta(bank,waterloo,4).
eta(waterloo,bank,4).
location(aldgate,51.5143,-0.0755).
location(aldgate_east,51.5154,-0.0726).
location(angel,51.5322,-0.1058).
location(bank,51.5133,-0.0886).
location(barbican,51.5204,-0.0979).
location(blackfriars,51.512,-0.1031).
location(bond_street,51.5142,-0.1494).
location(borough,51.5011,-0.0943).
location(cannon_street,51.5113,-0.0904).
location(chancery_lane,51.5185,-0.1111).
location(charing_cross,51.508,-0.1247).
location(covent_garden,51.5129,-0.1243).
location(elephant_and_castle,51.4943,-0.1001).
location(embankment,51.5074,-0.1223).
location(euston,51.5282,-0.1337).
location(euston_square,51.526,-0.1359).
location(farringdon,51.5203,-0.1053).
location(goodge_street,51.5205,-0.1347).
location(great_portland_street,51.5238,-0.1439).
location(green_park,51.5067,-0.1428).
location(holborn,51.5174,-0.12).
location(hyde_park_corner,51.5027,-0.1527).
location(kennington,51.4884,-0.1053).
location(kings_cross_st_pancras,51.5308,-0.1238).
location(lambeth_north,51.4991,-0.1115).
location(leicester_square,51.5113,-0.1281).
location(liverpool_street,51.5178,-0.0823).
location(london_bridge,51.5052,-0.0864).
location(mansion_house,51.5122,-0.094).
location(monument,51.5108,-0.0863).
location(moorgate,51.5186,-0.0886).
location(mornington_crescent,51.5342,-0.1387).
location(old_street,51.5263,-0.0873).
location(oxford_circus,51.515,-0.1415).
location(picadilly_circus,51.5098,-0.1342).
location(pimlico,51.4893,-0.1334).
location(regents_park,51.5234,-0.1466).
location(russell_square,51.523,-0.1244).
location(st_jamess_park,51.4994,-0.1335).
location(st_pauls,51.5146,-0.0973).
location(temple,51.5111,-0.1141).
location(tottenham_court_road,51.5165,-0.131).
location(tower_gateway,51.5106,-0.0743).
location(tower_hill,51.5098,-0.0766).
location(vauxhall,51.4861,-0.1253).
location(victoria,51.4965,-0.1447).
location(warren_street,51.5247,-0.1384).
location(waterloo,51.5036,-0.1143).
location(westminster,51.501,-0.1254).
location(southwark,51.501,-0.1052).