A prolog knowledge base with 89 dutch cities and their coordinates.

cities.pl

/*
    Author:
    Zino Hofmann, 11327650, zino@hofmann.amsterdam

    Description:
    A prolog knowledge base with 89 dutch cities and their coordinates.

    Usage:
    city( +Name, -Latitude, -Longitude).
 */

city( 'Aalsmeer', 52.262164, 4.761922).
city( 'Alkmaar', 52.632381, 4.753375).
city( 'Almere', 52.350785, 5.264702).
city( 'Alphen aan den Rijn', 52.127658, 4.668851).
city( 'Amersfoort', 52.156111, 5.387827).
city( 'Amsterdam', 52.370216, 4.895168).
city( 'Apeldoorn', 52.211157, 5.969923).
city( 'Arnhem', 51.985103, 5.898730).
city( 'Assen', 52.992753, 6.564228).
city( 'Bergen aan Zee', 52.661042, 4.631819).
city( 'Bergen op Zoom', 51.494576, 4.287162).
city( 'Bloemendaal', 52.404947, 4.620185).
city( 'Breda', 51.571915, 4.768323).
city( 'Breskens', 51.394526, 3.555878).
city( 'Cadzand', 51.369232, 3.407769).
city( 'Callantsoog', 52.835097, 4.694376).
city( 'Coevorden', 52.661357, 6.741062).
city( 'Delft', 52.011577, 4.357068).
city( 'Den Bosch', 51.697816, 5.303675).
city( 'Den Haag', 52.070498, 4.300700).
city( 'Deventer', 52.266075, 6.155217).
city( 'Doesburg', 52.014288, 6.139782).
city( 'Doetinchem', 51.964699, 6.293774).
city( 'Domburg', 51.563457, 3.499864).
city( 'Dordrecht', 51.813298, 4.690093).
city( 'Dwingeloo', 52.835356, 6.365817).
city( 'Edam', 52.512637, 5.049182).
city( 'Ede', 52.040168, 5.664859).
city( 'Eindhoven', 51.441642, 5.469722).
city( 'Elburg', 52.449263, 5.834519).
city( 'Emmen', 52.713237, 6.955777).
city( 'Enkhuizen', 52.707566, 5.274120).
city( 'Enschede', 52.221537, 6.893662).
city( 'Giethoorn', 52.740178, 6.077978).
city( 'Goes', 51.504646, 3.891130).
city( 'Gouda', 52.011521, 4.710463).
city( 'Groningen', 53.219383, 6.566502).
city( 'Haarlem', 52.387388, 4.646219).
city( 'Harderwijk', 52.342202, 5.636742).
city( 'Hasselt', 52.594506, 6.100493).
city( 'Hattem', 52.473931, 6.068176).
city( 'Heerenveen', 52.960561, 5.920522).
city( 'Thorn', 51.162613, 5.842721).
city( 'Heusden', 51.733004, 5.138279).
city( 'Hilversum', 51.733004, 5.138279).
city( 'Hindeloopen', 51.733004, 5.138279).
city( 'Hoorn', 52.642365, 5.060212).
city( 'Kampen', 52.557964, 5.914462).
city( 'Katwijk', 52.198020, 4.419943).
city( 'Kijkduin', 52.066571, 4.221243).
city( 'Landgraaf', 50.892765, 6.022408).
city( 'Leeuwarden', 53.201233, 5.799913).
city( 'Leiden', 52.160114, 4.497010).
city( 'Lelystad', 52.518537, 5.471422).
city( 'Maastricht', 50.851368, 5.690973).
city( 'Marken', 52.458993, 5.103206).
city( 'Medemblik', 52.767447, 5.106918).
city( 'Middelburg', 51.498796, 3.610998).
city( 'Monnickendam', 52.455569, 5.039232).
city( 'Naarden', 52.295255, 5.160424).
city( 'Nijmegen', 51.812563, 5.837226).
city( 'Noordwijk', 52.239989, 4.450009).
city( 'Oosterhout', 51.641020, 4.861690).
city( 'Oostkapelle', 51.567147, 3.552582).
city( 'Ouddorp', 51.809072, 3.935204).
city( 'Renesse', 51.731290, 3.771445).
city( 'Roermond', 51.191320, 5.987772).
city( 'Roosendaal', 51.535849, 4.465321).
city( 'Rotterdam', 51.924420, 4.477733).
city( 'Scheveningen', 52.102401, 4.302183).
city( 'Sneek', 53.033748, 5.655647).
city( 'Terneuzen', 51.332285, 3.832426).
city( 'Tilburg', 51.585253, 5.056375).
city( 'Utrecht', 52.090737, 5.121420).
city( 'Vaals', 50.773218, 6.011274).
city( 'Valkenburg aan de Geul', 50.868477, 5.826448).
city( 'Veenendaal', 52.026301, 5.554431).
city( 'Venlo', 51.370375, 6.172403).
city( 'Vlissingen', 51.453667, 3.570912).
city( 'Volendam', 52.496869, 5.072701).
city( 'Wageningen', 51.969187, 5.665395).
city( 'Workum', 52.980317, 5.449592).
city( 'Yerseke', 51.492929, 4.048662).
city( 'Zaandam', 52.442040, 4.829199).
city( 'Zandvoort', 52.371149, 4.533355).
city( 'Zierikzee', 51.650122, 3.918498).
city( 'Zoetermeer', 52.060669, 4.494025).
city( 'Zutphen', 52.142736, 6.196058).
city( 'Zwolle', 52.516775, 6.083022).