% Answer to query : ?- country(Name,Code,Cap,Prov,Area,Pop).

country("Albania","AL","Tirane","Albania",28750,3249136).
country("Greece","GR","Athens","Greece",131940,10538594).
country("Macedonia","MK","Skopje","Macedonia",25333,2104035).
country("Serbia and Montenegro","YU","Belgrade","Serbia and Montenegro",102350,10614558).
country("Andorra","AND","Andorra la Vella","Andorra",450,72766).
country("France","F","Paris","Ile de France",547030,58317450).
country("Spain","E","Madrid","Madrid",504750,39181114).
country("Austria","A","Vienna","Vienna",83850,8023244).
country("Czech Republic","CZ","Prague","Praha",78703,10321120).
country("Germany","D","Berlin","Berlin",356910,83536115).
country("Hungary","H","Budapest","Budapest (munic.)",93030,10002541).
country("Italy","I","Rome","Lazio",301230,57460274).
country("Liechtenstein","FL","Vaduz","Liechtenstein",160,31122).
country("Slovakia","SK","Bratislava","Slovakia",48845,5374362).
country("Slovenia","SLO","Ljubljana","Slovenia",20256,1951443).
country("Switzerland","CH","Bern","BE",41290,7207060).
country("Belarus","BY","Minsk","Belarus",207600,10415973).
country("Latvia","LV","Riga","Latvia",64100,2468982).
country("Lithuania","LT","Vilnius","Lithuania",65200,3646041).
country("Poland","PL","Warsaw","Warszwaskie",312683,38642565).
country("Ukraine","UA","Kiev","Kyyivska",603700,50864009).
country("Russia","R","Moscow","Moskva",17075200,148178487).
country("Belgium","B","Brussels","Brabant",30510,10170241).
country("Luxembourg","L","Luxembourg","Luxembourg",2586,415870).
country("Netherlands","NL","Amsterdam","Noord Holland",37330,15568034).
country("Bosnia and Herzegovina","BIH","Sarajevo","Bosnia and Herzegovina",51233,2656240).
country("Croatia","HR","Zagreb","Croatia",56538,5004112).
country("Bulgaria","BG","Sofia","Bulgaria",110910,8612757).
country("Romania","RO","Bucharest","Bucuresti",237500,21657162).
country("Turkey","TR","Ankara","Ankara",780580,62484478).
country("Denmark","DK","Copenhagen","Denmark",43070,5249632).
country("Estonia","EW","Tallinn","Estonia",45100,1459428).
country("Finland","SF","Helsinki","Uusimaa",337030,5105230).
country("Norway","N","Oslo","Oslo",324220,4383807).
country("Sweden","S","Stockholm","Stockholm",449964,8900954).
country("Monaco","MC","Monaco","Monaco",#1.9,31719).
country("Holy See","V","Vatican City","Holy See",#0.44,840).
country("Iceland","IS","Reykjavik","Iceland",103000,270292).
country("Ireland","IRL","Dublin","Ireland",70280,3566833).
country("San Marino","RSM","San Marino","San Marino",60,24521).
country("Malta","M","Valletta","Malta",320,375576).
country("Moldova","MD","Chisinau","Moldova",33700,4463847).
country("Portugal","P","Lisbon","Lisbon",92080,9865114).
country("United Kingdom","GB","London","Greater London",244820,58489975).
country("Afghanistan","AFG","Kabul","Afghanistan",647500,22664136).
country("China","TJ","Beijing","Beijing (munic.)",9596960,1210004956).
country("Iran","IR","Tehran","Tehran",1648000,66094264).
country("Pakistan","PK","Islamabad","Pakistan",803940,129275660).
country("Tajikistan","TAD","Dushanbe","Dushanbe (munic.)",143100,5916373).
country("Turkmenistan","TM","Ashgabat","Ahal",488100,4149283).
country("Uzbekistan","UZB","Tashkent","Toshkent",447400,23418381).
country("Armenia","ARM","Yerevan","Armenia",29800,3463574).
country("Georgia","GE","Tbilisi","Georgia",69700,5219810).
country("Azerbaijan","AZ","Baku","Azerbaijan",86600,7676953).
country("Bahrain","BRN","Manama","Bahrain",620,590042).
country("Bangladesh","BD","Dhaka","Bangladesh",144000,123062800).
country("Burma","MYA","Rangoon","Yangon",678500,45975625).
country("India","IND","New Delhi","Delhi",3287590,952107694).
country("Bhutan","BHT","Thimphu","Bhutan",47000,1822625).
country("Brunei","BRU","Bandar Seri Begawan","Brunei",5770,299939).
country("Malaysia","MAL","Kuala Lumpur","Fed. Terr. of Kuala Lumpur",329750,19962893).
country("Laos","LAO","Vientiane","Laos",236800,4975772).
country("Thailand","THA","Bangkok","Thailand",514000,58851357).
country("Cambodia","K","Phnom Penh","Cambodia",181040,10861218).
country("Vietnam","VN","Hanoi","Vietnam",329560,73976973).
country("Kazakstan","KAZ","Almaty","Almaty (munic.)",2717300,16916463).
country("North Korea","NOK","Pyongyang","North Korea",120540,23904124).
country("Kyrgyzstan","KGZ","Bishkek","Kyrgyzstan",198500,4529648).
country("Mongolia","MNG","Ulaanbaatar","Mongolia",1565000,2496617).
country("Nepal","NEP","Kathmandu","Nepal",140800,22094033).
country("Cyprus","CY","Nicosia","Cyprus",9250,744609).
country("Israel","IL","Jerusalem","Central",20770,5421995).
country("Egypt","ET","Cairo","El Qahira (munic.)",1001450,63575107).
country("Indonesia","RI","Jakarta","Indonesia",1919440,206611600).
country("Papua New Guinea","PNG","Port Moresby","Papua New Guinea",461690,4394537).
country("Iraq","IRQ","Baghdad","Baghdad",437072,21422292).
country("Jordan","JOR","Amman","Jordan",89213,4212152).
country("Kuwait","KWT","Kuwait","Kuwait",17820,1950047).
country("Saudi Arabia","SA","Riyadh","Saudi Arabia",1960582,19409058).
country("Syria","SYR","Damascus","Syria",185180,15608648).
country("Lebanon","RL","Beirut","Lebanon",10400,3776317).
country("Japan","J","Tokyo","Tokyo",377835,125449703).
country("South Korea","ROK","Seoul","South Korea",98480,45482291).
country("Maldives","MV","Male","Maldives",300,270758).
country("Oman","OM","Muscat","Oman",212460,2186548).
country("United Arab Emirates","UAE","Abu Dhabi","United Arab Emirates",75581,3057337).
country("Yemen","YE","Sanaa","Yemen",527970,13483178).
country("Philippines","RP","Manila","Philippines",300000,74480848).
country("Qatar","Q","Doha","Qatar",11000,547761).
country("Singapore","SGP","Singapore","Singapore",#632.6,3396924).
country("Sri Lanka","CL","Colombo","Sri Lanka",65610,18553074).
country("Taiwan","RC","Taipei","Taiwan",35980,21465881).
country("Antigua and Barbuda","AG","Saint Johns","Antigua and Barbuda",440,65647).
country("Bahamas","BS","Nassau","Bahamas",13940,259367).
country("Barbados","BDS","Bridgetown","Barbados",430,257030).
country("Belize","BZ","Belmopan","Belize",22960,219296).
country("Guatemala","GCA","Guatemala City","Guatemala",108890,11277614).
country("Mexico","MEX","Mexico City","Distrito Federal",1972550,95772462).
country("Canada","CDN","Ottawa","Ontario",9976140,28820671).
country("United States","USA","Washington","Distr. Columbia",9372610,266476278).
country("Costa Rica","CR","San Jose","San Jose",51100,3463083).
country("Nicaragua","NIC","Managua","Nicaragua",129494,4272352).
country("Panama","PA","Panama City","Panama",78200,2655094).
country("Cuba","C","Havana","Ciudad de la Habana",110860,10951334).
country("Dominica","WD","Roseau","Dominica",750,82926).
country("Dominican Republic","DOM","Santo Domingo","Dominican Republic",48730,8088881).
country("Haiti","RH","Port-au-Prince","Haiti",27750,6731539).
country("El Salvador","ES","San Salvador","El Salvador",21040,5828987).
country("Honduras","HCA","Tegucigalpa","Francisco Morazan",112090,5605193).
country("Grenada","WG","Saint Georges","Grenada",340,94961).
country("Jamaica","JA","Kingston","Jamaica",10990,2595275).
country("Colombia","CO","Bogota","Santa Fe de Bogota, DC",1138910,36813161).
country("Saint Kitts and Nevis","KN","Basseterre","Saint Kitts and Nevis",269,41369).
country("Saint Lucia","WL","Castries","Saint Lucia",620,157862).
country("Saint Vincent and the Grenadines","WV","Kingstown","Saint Vincent and the Grenadines",340,118344).
country("Trinidad and Tobago","TT","Port-of-Spain","Trinidad and Tobago",5130,1272385).
country("Australia","AUS","Canberra","Australia Capital Territory",7686850,18260863).
country("Fiji","FJI","Suva","Fiji",18270,782381).
country("Kiribati","KIR","Tarawa","Kiribati",717,80919).
country("Marshall Islands","MH","Majuro","Marshall Islands",#181.3,58363).
country("Micronesia","FSM","Kolonia","Micronesia",702,125377).
country("Nauru","NAU","Yaren","Nauru",21,10273).
country("New Caledonia","NCA","Noumea","New Caledonia",19060,187784).
country("New Zealand","NZ","Wellington","New Zealand",268680,3547983).
country("Palau","PAL","Koror","Palau",458,16952).
country("Solomon Islands","SLB","Honiara","Solomon Islands",28450,412902).
country("Tonga","TO","Nukualofa","Tonga",748,106466).
country("Tuvalu","TUV","Funafuti","Tuvalu",26,10146).
country("Vanuatu","VU","Port-Vila","Vanuatu",14760,177504).
country("Western Samoa","WS","Apia","Western Samoa",2860,214384).
country("Argentina","RA","Buenos Aires","Distrito Federal",2766890,34672997).
country("Bolivia","BOL","La Paz","Bolivia",1098580,7165257).
country("Brazil","BR","Brasilia","Distrito Federal",8511965,162661214).
country("Chile","RCH","Santiago","Chile",756950,14333258).
country("Paraguay","PY","Asuncion","Paraguay",406750,5504146).
country("Uruguay","ROU","Montevideo","Uruguay",176220,3238952).
country("Peru","PE","Lima","Lima",1285220,24523408).
country("French Guiana","FGU","Cayenne","French Guiana",91000,151187).
country("Guyana","GUY","Georgetown","Guyana",214970,712091).
country("Suriname","SME","Paramaribo","Suriname",163270,436418).
country("Venezuela","YV","Caracas","Distrito Federal",912050,21983188).
country("Ecuador","EC","Quito","Ecuador",283560,11466291).
country("Algeria","DZ","Algiers","Algeria",2381740,29183032).
country("Libya","LAR","Tripoli","Libya",1759540,5445436).
country("Mali","RMM","Bamako","Mali",1240000,9653261).
country("Mauritania","RIM","Nouakchott","Mauritania",1030700,2336048).
country("Morocco","MA","Rabat","Morocco",446550,29779156).
country("Niger","RN","Niamey","Niger",1267000,9113001).
country("Tunisia","TN","Tunis","Tunisia",163610,9019687).
country("Western Sahara","WSA","El Alaiun","Western Sahara",266000,222631).
country("Angola","ANG","Luanda","Luanda",1246700,10342899).
country("Congo","RCB","Brazzaville","Congo",342000,2527841).
country("Namibia","NAM","Windhoek","Namibia",825418,1677243).
country("Zaire","ZRE","Kinshasa","Kinshasa",2345410,46498539).
country("Zambia","Z","Lusaka","Lusaka",752610,9159072).
country("Benin","BEN","Porto-Novo","Benin",112620,5709529).
country("Burkina Faso","BF","Ouagadougou","Burkina Faso",274200,10623323).
country("Nigeria","WAN","Abuja","Nigeria",923770,103912489).
country("Togo","RT","Lome","Togo",56790,4570530).
country("Botswana","RB","Gaborone","Botswana",600370,1477630).
country("South Africa","RSA","Pretoria","South Africa",1219912,41743459).
country("Zimbabwe","ZW","Harare","Zimbabwe",390580,11271314).
country("Cote dIvoire","CI","Yamoussoukro","Cote dIvoire",322460,14762445).
country("Ghana","GH","Accra","Ghana",238540,17698271).
country("Burundi","BI","Bujumbura","Burundi",27830,5943057).
country("Rwanda","RWA","Kigali","Rwanda",26340,6853359).
country("Tanzania","EAT","Dar es Salaam","Daressalam",945090,29058470).
country("Cameroon","CAM","Yaounde","Centre",475440,14261557).
country("Central African Republic","RCA","Bangui","Central African Republic",622980,3274426).
country("Chad","TCH","NDjamena","Chad",1284000,6976845).
country("Equatorial Guinea","GQ","Malabo","Equatorial Guinea",28050,431282).
country("Gabon","G","Libreville","Gabon",267670,1172798).
country("Cape Verde","CV","Praia","Cape Verde",4030,449066).
country("Sudan","SUD","Khartoum","al Khartum",2505810,31547543).
country("Comoros","COM","Moroni","Comoros",2170,569237).
country("Guinea","RG","Conakry","Guinea",245860,7411981).
country("Liberia","LB","Monrovia","Liberia",111370,2109789).
country("Djibouti","DJI","Djibouti","Djibouti",22000,427642).
country("Eritrea","ER","Asmara","Eritrea",121320,3427883).
country("Ethiopia","ETH","Addis Ababa","Ethiopia",1127127,57171662).
country("Somalia","SP","Mogadishu","Somalia",637660,9639151).
country("Kenya","EAK","Nairobi","Nairobi",582650,28176686).
country("Gambia","WAG","Banjul","Gambia",11300,1204984).
country("Senegal","SN","Dakar","Dakar",196190,9092749).
country("Guinea-Bissau","GNB","Bissau","Guinea-Bissau",36120,1151330).
country("Sierra Leone","WAL","Freetown","Sierra Leone",71740,4793121).
country("Uganda","EAU","Kampala","Uganda",236040,20158176).
country("Lesotho","LS","Maseru","Lesotho",30350,1970781).
country("Madagascar","RM","Antananarivo","Antananarivo",587040,13670507).
country("Malawi","MW","Lilongwe","Malawi",118480,9452844).
country("Mozambique","MOC","Maputo","Maputo (munic.)",801590,17877927).
country("Mauritius","MS","Port Louis","Mauritius",1860,1140256).
country("Swaziland","SD","Mbabane","Swaziland",17360,998730).
country("Sao Tome and Principe","STP","Sao Tome","Sao Tome and Principe",960,144128).
country("Seychelles","SY","Victoria","Seychelles",455,77575).

% 195 output(s) printed 

% Answer to query : ?- population(Code,PopGrowth,InfMort).

population("AL",#1.34,#49.2).
population("GR",#0.42,#7.4).
population("MK",#0.46,#29.7).
population("YU",null,null).
population("AND",#2.96,#2.2).
population("F",#0.34,#5.3).
population("E",#0.16,#6.3).
population("A",#0.41,#6.2).
population("CZ",#-0.03,#8.4).
population("D",#0.67,6).
population("H",#-0.68,#12.3).
population("I",#0.13,#6.9).
population("FL",#1.08,#5.3).
population("SK",#0.34,#10.7).
population("SLO",#-0.27,#7.3).
population("CH",#0.59,#5.4).
population("BY",#0.2,#13.4).
population("LV",#-1.39,#21.2).
population("LT",#-0.35,17).
population("PL",#0.14,#12.4).
population("UA",#-0.4,#22.5).
population("R",#-0.07,#24.7).
population("B",#0.33,#6.4).
population("L",#1.57,#4.7).
population("NL",#0.56,#4.9).
population("BIH",#-2.84,#43.2).
population("HR",#0.58,#10.2).
population("BG",#0.46,#15.7).
population("RO",#-1.21,#23.2).
population("TR",#1.67,#43.2).
population("DK",#0.38,#4.8).
population("EW",#-1.13,#17.4).
population("SF",#0.1,#4.9).
population("N",#0.48,#4.9).
population("S",#0.56,#4.5).
population("MC",#0.59,#6.9).
population("V",null,null).
population("IS",#0.83,#4.3).
population("IRL",#-0.22,#6.4).
population("RSM",#0.82,#5.5).
population("M",#1.01,#6.9).
population("MD",#0.18,#47.6).
population("P",#0.02,#7.6).
population("GB",#0.22,#6.4).
population("AFG",#4.78,#149.7).
population("TJ",#0.98,#39.6).
population("IR",#2.21,#52.7).
population("PK",#2.24,#96.8).
population("TAD",#1.54,#113.1).
population("TM",#1.82,#81.6).
population("UZB",#1.87,#79.6).
population("ARM",#0.02,#38.9).
population("GE",#-1.02,#22.5).
population("AZ",#0.78,#74.5).
population("BRN",#2.27,#17.1).
population("BD",#1.85,#102.3).
population("MYA",#1.84,#80.7).
population("IND",#1.64,#71.1).
population("BHT",#2.32,#116.3).
population("BRU",#2.56,#24.2).
population("MAL",#2.07,24).
population("LAO",#2.81,#96.8).
population("THA",#1.03,#33.4).
population("K",#2.77,#107.8).
population("VN",#1.57,#38.4).
population("KAZ",#-0.15,#63.2).
population("NOK",#1.74,#25.9).
population("KGZ",#0.07,#77.8).
population("MNG",#1.69,#69.7).
population("NEP",#2.45,79).
population("CY",#1.11,#8.4).
population("IL",#2.11,#8.5).
population("ET",#1.91,#72.8).
population("RI",#1.53,#63.1).
population("PNG",#2.29,#60.1).
population("IRQ",#3.69,60).
population("JOR",#2.65,#31.5).
population("KWT",#6.65,#11.1).
population("SA",#3.45,#46.4).
population("SYR",#3.37,40).
population("RL",#2.16,#36.7).
population("J",#0.21,#4.4).
population("ROK",#1.02,#8.2).
population("MV",#3.52,47).
population("OM",#3.53,#27.3).
population("UAE",#4.33,#20.4).
population("YE",#3.56,#71.5).
population("RP",#2.18,#35.9).
population("Q",#2.39,#19.6).
population("SGP",#1.9,#4.7).
population("CL",#1.13,#20.8).
population("RC",#0.89,7).
population("AG",#0.76,#17.2).
population("BS",#1.05,#23.3).
population("BDS",#0.26,#18.7).
population("BZ",#2.42,#33.9).
population("GCA",#2.48,#50.7).
population("MEX",#1.87,25).
population("CDN",#1.06,#6.1).
population("USA",#0.91,#6.7).
population("CR",#2.06,#13.5).
population("NIC",#2.67,#45.8).
population("PA",#1.64,#29.7).
population("C",#0.44,9).
population("WD",#0.38,#9.6).
population("DOM",#1.73,#47.7).
population("RH",#1.77,#103.8).
population("ES",#1.81,#31.9).
population("HCA",#2.6,#41.8).
population("WG",#0.55,#11.9).
population("JA",#0.8,#15.6).
population("CO",#1.66,#25.8).
population("KN",#0.98,#18.9).
population("WL",#1.14,20).
population("WV",#0.64,#16.8).
population("TT",#0.08,#18.2).
population("AUS",#0.99,#5.5).
population("FJI",#1.28,#17.4).
population("KIR",#1.89,#52.9).
population("MH",#3.85,#46.9).
population("FSM",#3.34,#35.8).
population("NAU",#1.33,#40.6).
population("NCA",#1.72,#13.8).
population("NZ",#1.12,#6.7).
population("PAL",#1.71,#25.07).
population("SLB",#3.35,#25.8).
population("TO",#0.82,#40.26).
population("TUV",#1.51,#27.6).
population("VU",#2.17,#64.6).
population("WS",#2.37,#34.3).
population("RA",#1.1,#28.3).
population("BOL",#1.82,#67.5).
population("BR",#1.16,#55.3).
population("RCH",#1.24,#13.6).
population("PY",#2.67,#23.2).
population("ROU",#0.7,#15.4).
population("PE",#1.74,#52.2).
population("FGU",#3.86,#14.6).
population("GUY",#-0.9,#51.4).
population("SME",#1.6,#29.3).
population("YV",#1.89,#29.5).
population("EC",#1.96,#34.8).
population("DZ",#2.21,#48.7).
population("LAR",#3.67,#59.5).
population("RMM",#2.95,#102.7).
population("RIM",#3.17,#81.7).
population("MA",#2.05,#43.2).
population("RN",#2.99,#117.6).
population("TN",#1.81,#35.1).
population("WSA",#2.46,#145.82).
population("ANG",#2.68,#138.9).
population("RCB",#2.19,#108.1).
population("NAM",#2.93,#47.2).
population("ZRE",#1.67,108).
population("Z",#2.11,#96.1).
population("BEN",#3.32,#105.1).
population("BF",#2.53,#117.8).
population("WAN",#3.05,#72.4).
population("RT",#3.56,#84.3).
population("RB",#1.63,#54.2).
population("RSA",#1.76,#48.8).
population("ZW",#1.41,#72.8).
population("CI",#2.92,#82.4).
population("GH",#2.29,#80.3).
population("BI",#1.54,#102.2).
population("RWA",#16.49,#118.8).
population("EAT",#1.15,#105.9).
population("CAM",#2.89,#78.7).
population("RCA",#2.08,#111.7).
population("TCH",#2.68,#120.4).
population("GQ",#2.58,98).
population("G",#1.47,#90.1).
population("CV",#2.93,#54.3).
population("SUD",#3.48,76).
population("COM",#3.55,#75.3).
population("RG",#1.85,#134.1).
population("LB",#2.13,#108.1).
population("DJI",#1.5,#106.7).
population("ER",#2.79,#118.9).
population("ETH",#2.72,#122.8).
population("SP",#3.1,#121.1).
population("EAK",#2.27,#55.3).
population("WAG",#3.55,#80.5).
population("SN",#3.37,64).
population("GNB",#2.35,#115.8).
population("WAL",#4.14,#135.6).
population("EAU",#2.24,#99.4).
population("LS",#1.9,#81.6).
population("RM",#2.83,#93.5).
population("MW",#1.71,#139.9).
population("MOC",#2.65,#125.6).
population("MS",#1.23,#17.2).
population("SD",#3.24,#88.4).
population("STP",#2.58,#61.1).
population("SY",#0.76,#12.5).

% 195 output(s) printed 

% Answer to query : ?- politics(Code,Indep,Gov).

politics("AL","28 11 1912","emerging democracy").
politics("GR","01 01 1829","parliamentary republic").
politics("MK","17 09 1991","emerging democracy").
politics("YU","11 04 1992","republic").
politics("AND",null,"parliamentary democracy that retains as its heads of state a coprincipality").
politics("F",null,"republic").
politics("E","01 01 1492","parliamentary monarchy").
politics("A","12 11 1918","federal republic").
politics("CZ","01 01 1993","parliamentary democracy").
politics("D","18 01 1871","federal republic").
politics("H","01 01 1001","republic").
politics("I","17 03 1861","republic").
politics("FL","23 01 1719","hereditary constitutional monarchy").
politics("SK","01 01 1993","parliamentary democracy").
politics("SLO","25 06 1991","emerging democracy").
politics("CH",null,"federal republic").
politics("BY","25 08 1991","republic").
politics("LV","06 09 1991","republic").
politics("LT","06 09 1991","republic").
politics("PL","11 11 1918","democratic state").
politics("UA","01 12 1991","republic").
politics("R","24 08 1991","federation").
politics("B","04 10 1830","constitutional monarchy").
politics("L",null,"constitutional monarchy").
politics("NL","01 01 1579","constitutional monarchy").
politics("BIH","01 04 1992","emerging democracy").
politics("HR","25 06 1991","parliamentary democracy").
politics("BG","22 09 1908","emerging democracy").
politics("RO","01 01 1881","republic").
politics("TR","29 10 1923","republican parliamentary democracy").
politics("DK",null,"constitutional monarchy").
politics("EW","06 09 1991","republic").
politics("SF","06 12 1917","republic").
politics("N","26 10 1905","constitutional monarchy").
politics("S",null,"constitutional monarchy").
politics("MC","01 01 1419","constitutional monarchy").
politics("V","11 02 1929","monarchical sacerdotal state").
politics("IS","17 06 1944","republic").
politics("IRL","06 12 1921","republic").
politics("RSM","01 01 0301","republic").
politics("M","21 09 1964","parliamentary democracy").
politics("MD","27 08 1991","republic").
politics("P","01 01 1140","republic").
politics("GB","01 01 1801","constitutional monarchy").
politics("AFG","19 08 1919","transitional government").
politics("TJ",null,"Communist state").
politics("IR","01 04 1979","theocratic republic").
politics("PK","14 08 1947","republic").
politics("TAD","09 09 1991","republic").
politics("TM","27 10 1991","republic").
politics("UZB","31 08 1991","republic").
politics("ARM","28 05 1918","republic").
politics("GE","09 04 1991","republic").
politics("AZ","30 08 1991","republic").
politics("BRN","15 08 1971","traditional monarchy").
politics("BD","16 12 1971","republic").
politics("MYA","04 01 1948","military regime").
politics("IND","15 08 1947","federal republic").
politics("BHT","08 08 1949","monarchy").
politics("BRU","01 01 1984","constitutional sultanate").
politics("MAL","31 08 1957","constitutional monarchy").
politics("LAO","19 07 1949","Communist state").
politics("THA","01 01 1238","constitutional monarchy").
politics("K","09 11 1949","multiparty liberal democracy under a constitutional monarchy established in September 1993").
politics("VN","02 09 1945","Communist state").
politics("KAZ","16 12 1991","republic").
politics("NOK",null,"Communist state").
politics("KGZ","31 08 1991","republic").
politics("MNG","13 03 1921","republic").
politics("NEP","01 01 1768","parliamentary democracy as of 12 May 1991").
politics("CY","16 08 1960","republic").
politics("IL","14 05 1948","republic").
politics("ET","28 02 1922","republic").
politics("RI","17 08 1945","republic").
politics("PNG","16 09 1975","parliamentary democracy").
politics("IRQ","03 10 1932","republic").
politics("JOR","25 05 1946","constitutional monarchy").
politics("KWT","19 06 1961","nominal constitutional monarchy").
politics("SA","23 09 1932","monarchy").
politics("SYR","17 04 1946","republic under military regime since March 1963").
politics("RL","22 11 1943","republic").
politics("J",null,"constitutional monarchy").
politics("ROK",null,"republic").
politics("MV","26 07 1965","republic").
politics("OM","01 01 1650","monarchy").
politics("UAE","02 12 1971","federation with specified powers delegated to the UAE central government and other powers reserved to member emirates").
politics("YE","22 05 1990","republic").
politics("RP","04 07 1946","republic").
politics("Q","03 09 1971","traditional monarchy").
politics("SGP","09 08 1965","republic within Commonwealth").
politics("CL","04 02 1948","republic").
politics("RC",null,"multiparty democratic regime").
politics("AG","01 11 1981","parliamentary democracy").
politics("BS","10 07 1973","commonwealth").
politics("BDS","30 11 1966","parliamentary democracy").
politics("BZ","21 09 1981","parliamentary democracy").
politics("GCA","15 09 1821","republic").
politics("MEX","16 09 1810","federal republic operating under a centralized government").
politics("CDN","01 07 1867","confederation with parliamentary democracy").
politics("USA","04 07 1776","federal republic").
politics("CR","15 09 1821","democratic republic").
politics("NIC","15 09 1821","republic").
politics("PA","03 11 1903","constitutional republic").
politics("C","20 05 1902","Communist state").
politics("WD","03 11 1978","parliamentary democracy").
politics("DOM","27 02 1844","republic").
politics("RH","01 01 1804","republic").
politics("ES","15 09 1821","republic").
politics("HCA","15 09 1821","republic").
politics("WG","07 02 1974","parliamentary democracy").
politics("JA","06 08 1962","parliamentary democracy").
politics("CO","20 07 1810","republic").
politics("KN","19 09 1983","constitutional monarchy").
politics("WL","22 02 1979","parliamentary democracy").
politics("WV","27 10 1979","constitutional monarchy").
politics("TT","31 08 1962","parliamentary democracy").
politics("AUS","01 01 1901","federal parliamentary state").
politics("FJI","10 10 1970","republic").
politics("KIR","12 07 1979","republic").
politics("MH","21 10 1986","constitutional government in free association with the US").
politics("FSM","03 11 1986","constitutional government in free association with the US").
politics("NAU","31 01 1968","republic").
politics("NCA",null,"overseas territory of France since 1956").
politics("NZ","26 09 1907","parliamentary democracy").
politics("PAL","01 10 1994","constitutional government in free association with the US").
politics("SLB","07 07 1978","parliamentary democracy").
politics("TO","04 06 1970","hereditary constitutional monarchy").
politics("TUV","01 10 1978","democracy").
politics("VU","30 07 1980","republic").
politics("WS","01 01 1962","constitutional monarchy under native chief").
politics("RA","09 07 1816","republic").
politics("BOL","06 08 1825","republic").
politics("BR","07 09 1822","federal republic").
politics("RCH","18 09 1810","republic").
politics("PY","14 05 1811","republic").
politics("ROU","25 08 1828","republic").
politics("PE","28 07 1821","republic").
politics("FGU",null,"overseas department of France").
politics("GUY","26 05 1966","republic").
politics("SME","25 11 1975","republic").
politics("YV","05 07 1811","republic").
politics("EC","24 05 1822","republic").
politics("DZ","05 07 1962","republic").
politics("LAR","24 12 1951","Jamahiriya in theory").
politics("RMM","22 09 1960","republic").
politics("RIM","28 11 1960","republic").
politics("MA","02 03 1956","constitutional monarchy").
politics("RN","03 08 1960","republic").
politics("TN","20 03 1956","republic").
politics("WSA",null,"legal status of territory and question of sovereignty unresolved").
politics("ANG","11 11 1975","transitional government nominally a multiparty democracy with a strong presidential system").
politics("RCB","15 08 1960","republic").
politics("NAM","21 03 1990","republic").
politics("ZRE","30 06 1960","republic with a strong presidential system").
politics("Z","24 10 1964","republic").
politics("BEN","01 08 1960","republic under multiparty democratic rule dropped Marxism Leninism December 1989").
politics("BF","05 08 1960","parliamentary").
politics("WAN","01 10 1960","military government").
politics("RT","27 04 1960","republic under transition to multiparty democratic rule").
politics("RB","30 09 1966","parliamentary republic").
politics("RSA","31 05 1910","republic").
politics("ZW","18 04 1980","parliamentary democracy").
politics("CI","07 08 1960","republic").
politics("GH","06 03 1957","constitutional democracy").
politics("BI","01 07 1962","republic").
politics("RWA","01 07 1962","republic").
politics("EAT","26 04 1964","republic").
politics("CAM","01 01 1960","unitary republic").
politics("RCA","13 08 1960","republic").
politics("TCH","11 08 1960","republic").
politics("GQ","12 10 1968","republic in transition to multiparty democracy").
politics("G","17 08 1960","republic").
politics("CV","05 07 1975","republic").
politics("SUD","01 01 1956","transitional previously ruling military junta").
politics("COM","06 07 1975","independent republic").
politics("RG","02 10 1958","republic").
politics("LB",null,"republic").
politics("DJI","27 06 1977","republic").
politics("ER","27 05 1993","transitional government").
politics("ETH",null,"federal republic").
politics("SP","01 07 1960","none").
politics("EAK","12 12 1963","republic").
politics("WAG","18 02 1965","republic under multiparty democratic rule").
politics("SN","20 08 1960","republic under multiparty democratic rule").
politics("GNB","10 09 1974","republic").
politics("WAL","27 04 1961","constitutional democracy").
politics("EAU","09 10 1962","republic").
politics("LS","04 10 1966","modified constitutional monarchy").
politics("RM","26 06 1960","republic").
politics("MW","06 07 1964","multiparty democracy").
politics("MOC","25 06 1975","republic").
politics("MS","12 03 1968","parliamentary democracy").
politics("SD","06 09 1968","monarchy").
politics("STP","12 07 1975","republic").
politics("SY","29 06 1976","republic").

% 195 output(s) printed 

% Answer to query : ?- economy(Code,GDP,Agri,Ind,Serv,Infl).

economy("AL",4100,55,null,null,16).
economy("GR",101700,#11.8,#22.2,66,#8.1).
economy("MK",1900,24,44,32,#14.8).
economy("YU",20600,null,null,null,20).
economy("AND",1000,null,null,null,null).
economy("F",1173000,#2.4,#26.5,#71.1,#1.7).
economy("E",565000,#3.6,#33.6,#62.8,#4.3).
economy("A",152000,2,34,64,#2.3).
economy("CZ",106200,#5.8,#40.7,#53.5,#9.1).
economy("D",1452200,1,#34.2,#64.8,null).
economy("H",72500,#7.3,#37.5,#55.2,#28.3).
economy("I",1088600,#2.9,#31.6,#65.5,#5.4).
economy("FL",630,null,null,null,#5.4).
economy("SK",39000,#6.7,#47.6,#45.7,#7.5).
economy("SLO",22600,#5.3,#39.9,#54.8,8).
economy("CH",158500,3,#33.5,#63.5,#1.8).
economy("BY",49200,21,49,30,244).
economy("LV",14700,9,31,60,20).
economy("LT",13300,20,42,38,35).
economy("PL",226700,7,38,55,#21.6).
economy("UA",174600,31,43,26,9).
economy("R",796000,6,41,53,7).
economy("B",197000,2,28,70,#1.6).
economy("L",10000,#1.4,#33.7,#64.9,#3.6).
economy("NL",301900,#3.4,#26.9,#69.7,#2.25).
economy("BIH",1000,null,null,null,null).
economy("HR",20100,#12.7,#30.6,#56.7,#3.7).
economy("BG",43200,12,36,52,35).
economy("RO",105700,#19.6,#36.3,#44.1,25).
economy("TR",345700,#15.5,#33.2,#51.3,94).
economy("DK",112800,3,#23.5,#73.5,#2.4).
economy("EW",12300,10,37,53,29).
economy("SF",92400,#4.6,28,#67.4,2).
economy("N",106200,#2.9,#34.7,#62.4,#2.5).
economy("S",177300,2,27,71,#2.6).
economy("MC",788,null,null,null,null).
economy("V",null,null,null,null,null).
economy("IS",5000,#9.6,#22.1,#68.3,#2.5).
economy("IRL",54600,#6.8,#35.3,#57.9,#2.8).
economy("RSM",380,null,null,null,#5.5).
economy("M",4400,null,null,null,5).
economy("MD",10400,33,36,31,24).
economy("P",116200,6,#35.8,#58.2,#4.6).
economy("GB",1138400,#1.7,#27.7,#70.6,#3.1).
economy("AFG",12800,65,15,20,null).
economy("TJ",3500000,19,48,33,#10.1).
economy("IR",323500,21,37,42,60).
economy("PK",274200,24,27,49,13).
economy("TAD",6400,null,null,null,28).
economy("TM",11500,#32.5,#33.4,#34.1,25).
economy("UZB",54700,null,null,null,#7.7).
economy("ARM",9100,57,36,7,#32.2).
economy("GE",6200,#70.4,#10.2,#19.4,#2.2).
economy("AZ",11500,null,null,null,85).
economy("BRN",7300,null,null,null,3).
economy("BD",144500,null,null,null,#4.5).
economy("MYA",47000,60,10,30,38).
economy("IND",1408700,null,null,null,9).
economy("BHT",1300,null,null,null,#8.6).
economy("BRU",4600,3,42,55,#2.4).
economy("MAL",193600,8,25,67,#5.3).
economy("LAO",5200,50,17,33,20).
economy("THA",416700,#10.2,#30.6,#59.2,#5.8).
economy("K",7000,52,#13.5,#34.5,6).
economy("VN",97000,28,28,44,14).
economy("KAZ",46900,#28.5,#41.5,30,#60.3).
economy("NOK",21500,25,60,15,null).
economy("KGZ",5400,null,null,null,32).
economy("MNG",4900,28,35,37,53).
economy("NEP",25200,#49.3,#18.4,#32.3,#6.7).
economy("CY",7800,#5.6,#24.9,#69.5,null).
economy("IL",80100,#3.5,22,#74.5,#10.1).
economy("ET",171000,null,null,null,#9.4).
economy("RI",710900,17,#32.6,#50.4,#8.6).
economy("PNG",10200,null,null,null,15).
economy("IRQ",41100,null,null,null,null).
economy("JOR",19300,11,25,64,3).
economy("KWT",30800,0,55,45,5).
economy("SA",189300,9,50,41,5).
economy("SYR",91200,30,25,45,#15.1).
economy("RL",18300,13,28,59,9).
economy("J",2679200,#2.1,#40.2,#57.7,#-0.1).
economy("ROK",590700,8,45,47,#4.3).
economy("MV",390,#21.5,#15.3,#63.2,#16.5).
economy("OM",19100,3,60,37,#-0.7).
economy("UAE",70100,2,55,43,#4.6).
economy("YE",37100,21,24,55,#71.3).
economy("RP",179700,22,30,48,#8.1).
economy("Q",10700,1,50,49,3).
economy("SGP",66100,null,28,72,#1.7).
economy("CL",65600,24,24,52,#8.4).
economy("RC",290500,#3.6,#37.3,#59.1,4).
economy("AG",425,#3.5,#19.3,#77.2,#3.5).
economy("BS",4800,3,35,62,#1.5).
economy("BDS",2500,#6.4,#39.3,#54.3,#1.7).
economy("BZ",575,30,null,null,#2.3).
economy("GCA",36700,25,20,55,9).
economy("MEX",721400,#8.5,#28.4,#63.1,52).
economy("CDN",694000,2,26,72,#2.4).
economy("USA",7247700,2,23,75,#2.5).
economy("CR",18400,null,null,null,#22.5).
economy("NIC",7100,null,null,null,#11.4).
economy("PA",13600,10,16,74,#1.1).
economy("C",14700,7,30,63,null).
economy("WD",200,26,null,null,#0.4).
economy("DOM",26800,13,32,55,#9.5).
economy("RH",6500,#34.8,23,#42.2,#14.5).
economy("ES",11400,null,null,null,#11.4).
economy("HCA",10800,30,20,50,30).
economy("WG",284,#10.2,#40.3,#49.5,3).
economy("JA",8200,#7.9,#28.1,64,#25.5).
economy("CO",192500,#21.5,29,#49.5,#19.5).
economy("KN",220,#6.2,#35.7,#58.1,#-0.9).
economy("WL",640,#13.8,#17.4,#68.8,#0.8).
economy("WV",240,24,#33.1,#42.9,#-0.2).
economy("TT",#16200,#4.8,#44.5,#50.7,#5.4).
economy("AUS",405400,#3.1,#27.7,#69.2,#4.75).
economy("FJI",4700,22,17,61,2).
economy("KIR",68,null,null,null,#5.5).
economy("MH",94,null,null,null,4).
economy("FSM",205,null,null,null,4).
economy("NAU",100,null,null,null,#-3.6).
economy("NCA",1500,5,35,60,#1.4).
economy("NZ",62300,#7.3,#25.9,#66.8,2).
economy("PAL",#81.8,null,null,null,null).
economy("SLB",1000,null,null,null,13).
economy("TO",228,40,null,null,3).
economy("TUV",#7.8,null,null,null,#2.9).
economy("VU",210,null,null,null,7).
economy("WS",415,50,null,null,18).
economy("RA",278500,6,31,63,#1.7).
economy("BOL",20000,null,null,null,12).
economy("BR",976800,16,25,59,23).
economy("RCH",113200,#7.4,#36.4,#56.2,#8.1).
economy("PY",17000,#25.7,#25.8,#48.5,#10.5).
economy("ROU",24400,#10.5,#27.5,62,#35.4).
economy("PE",87000,null,null,null,#10.2).
economy("FGU",800,null,null,null,#2.5).
economy("GUY",1600,#26.5,#27.8,#45.7,#8.1).
economy("SME",1300,#21.6,#23.7,#54.7,62).
economy("YV",195500,5,41,54,57).
economy("EC",44600,13,39,48,25).
economy("DZ",108700,12,50,38,28).
economy("LAR",32900,null,null,null,25).
economy("RMM",5400,#42.4,#15.4,#42.2,8).
economy("RIM",2800,#27.1,#29.5,#43.4,#3.5).
economy("MA",87400,#14.3,#32.2,#53.5,#5.4).
economy("RN",5500,#38.5,#17.9,#43.6,#35.6).
economy("TN",37100,15,30,55,#5.5).
economy("WSA",null,null,null,null,null).
economy("ANG",7400,12,56,32,20).
economy("RCB",7700,#11.4,#35.2,#53.4,61).
economy("NAM",5800,null,null,null,11).
economy("ZRE",16500,null,null,null,12).
economy("Z",8900,32,22,46,55).
economy("BEN",7600,#36.8,#12.6,#50.6,55).
economy("BF",7400,32,24,44,5).
economy("WAN",135900,38,22,40,57).
economy("RT",4100,#49.2,#17.7,#33.1,#8.8).
economy("RB",4500,5,null,null,10).
economy("RSA",215000,null,null,null,#8.7).
economy("ZW",18100,#18.3,#35.3,#46.4,#25.8).
economy("CI",21900,37,24,39,10).
economy("GH",25100,47,16,37,69).
economy("BI",4000,#54.1,#16.8,#29.1,10).
economy("RWA",3800,52,13,35,64).
economy("EAT",23100,58,8,34,25).
economy("CAM",16500,29,24,47,48).
economy("RCA",2500,50,14,36,45).
economy("TCH",3300,49,17,34,41).
economy("GQ",325,47,26,27,41).
economy("G",6000,#8.2,#44.7,#47.1,15).
economy("CV",440,13,17,70,5).
economy("SUD",25000,33,17,50,66).
economy("COM",370,null,null,null,15).
economy("RG",6500,24,31,45,#4.1).
economy("LB",2300,null,null,null,50).
economy("DJI",500,3,21,76,6).
economy("ER",2000,null,null,null,10).
economy("ETH",24200,48,15,37,10).
economy("SP",3600,null,null,null,null).
economy("EAK",36800,27,19,54,#1.7).
economy("WAG",1100,27,15,58,#1.7).
economy("SN",14500,null,null,null,#6.1).
economy("GNB",1000,44,8,48,15).
economy("WAL",4400,40,17,43,24).
economy("EAU",16800,55,12,33,#6.1).
economy("LS",2800,#10.4,#48.8,#40.8,#9.5).
economy("RM",11400,35,15,50,35).
economy("MW",6900,31,14,55,#83.3).
economy("MOC",12200,33,12,55,50).
economy("MS",10900,null,null,null,#9.4).
economy("SD",3600,25,40,35,#14.7).
economy("STP",138,28,14,58,38).
economy("SY",430,null,null,null,#3.9).

% 195 output(s) printed 

% Answer to query : ?- language(Code,Lang,Perc).

language("MK","Albanian",21).
language("MK","Macedonian",70).
language("MK","Turkish",3).
language("MK","Serbo-Croatian",3).
language("YU","Albanian",5).
language("YU","Serbo-Croatian",95).
language("F","French",100).
language("E","Castilian Spanish",null).
language("E","Catalan",17).
language("E","Galician",7).
language("E","Basque",2).
language("A","German",#100).
language("D","German",#100).
language("H","Hungarian",#98.2).
language("SLO","Slovenian",91).
language("SLO","Serbo-Croatian",7).
language("CH","French",18).
language("CH","German",65).
language("CH","Italian",12).
language("CH","Romansch",1).
language("PL","Polish",#100).
language("R","Russian",#100).
language("B","French",32).
language("B","German",1).
language("B","Dutch",56).
language("NL","Dutch",#100).
language("BIH","Serbo-Croatian",99).
language("HR","Serbo-Croatian",96).
language("BG","Bulgarian",#100).
language("SF","Swedish",#6.3).
language("SF","Finnish",#93.5).
language("SF","Lapp- Russian-speaking",null).
language("N","Norwegian",#100).
language("S","Swedish",#100).
language("IS","Icelandic",#100).
language("RSM","Italian",#100).
language("P","Portuguese",#100).
language("AFG","Turkic",11).
language("AFG","Pashtu",35).
language("AFG","Afghan Persian",50).
language("IR","Turkish",1).
language("IR","Kurdish",9).
language("IR","Baloch",1).
language("IR","Arabic",1).
language("IR","Luri",2).
language("IR","Persian Persian",58).
language("IR","Turkic Turkic",26).
language("PK","English",null).
language("PK","Pashtu",8).
language("PK","Urdu",8).
language("PK","Punjabi",48).
language("PK","Sindhi",12).
language("PK","Burushaski",null).
language("PK","Balochi",3).
language("PK","Hindko",2).
language("PK","Brahui",1).
language("PK","Siraiki",10).
language("TM","Russian",12).
language("TM","Uzbek",9).
language("TM","Turkmen",72).
language("UZB","Russian",#14.2).
language("UZB","Tajik",#4.4).
language("UZB","Uzbek",#74.3).
language("ARM","Russian",2).
language("ARM","Armenian",96).
language("GE","Russian",9).
language("GE","Armenian",7).
language("GE","Azeri",6).
language("GE","Georgian",71).
language("AZ","Russian",3).
language("AZ","Armenian",2).
language("AZ","Azeri",89).
language("MYA","Burmese",#100).
language("IND","Hindi",30).
language("KAZ","Kazak",40).
language("NOK","Korean",#100).
language("MNG","Khalkha Mongol",90).
language("NEP","Nepali",#100).
language("PNG","English",1).
language("SA","Arabic",#100).
language("J","Japanese",#100).
language("YE","Arabic",#100).
language("CL","Tamil",18).
language("CL","Sinhala",74).
language("AG","English",#100).
language("BDS","English",#100).
language("GCA","Spanish",60).
language("GCA","Indian",40).
language("NIC","Spanish",#100).
language("PA","English",14).
language("C","Spanish",#100).
language("DOM","Spanish",#100).
language("RH","French",10).
language("CO","Spanish",#100).
language("KN","English",#100).
language("AUS","English",#100).
language("SLB","English",1).
language("RCH","Spanish",#100).
language("FGU","French",#100).
language("RMM","Bambara",80).
language("NAM","German",32).
language("NAM","English",7).
language("NAM","Herero",null).
language("NAM","Nama",null).
language("NAM","Afrikaans",60).
language("NAM","languages: Oshivambo",null).
language("RG","French",#100).
language("LB","English",20).
language("MOC","Portuguese",#100).
language("STP","Portuguese",#100).

% 110 output(s) printed 

% Answer to query : ?- ethnic_group(Code,Egrp,Perc).

ethnic_group("AL","Greeks",3).
ethnic_group("AL","Albanian",95).
ethnic_group("GR","Greek",98).
ethnic_group("MK","Albanian",22).
ethnic_group("MK","Serb",2).
ethnic_group("MK","Macedonian",65).
ethnic_group("MK","Turkish",4).
ethnic_group("MK","Gypsies",3).
ethnic_group("YU","Serbs",63).
ethnic_group("YU","Albanians",14).
ethnic_group("YU","Montenegrins",6).
ethnic_group("YU","Hungarians",4).
ethnic_group("AND","French",6).
ethnic_group("AND","Spanish",61).
ethnic_group("AND","Andorran",30).
ethnic_group("E","Mediterranean Nordic",#100).
ethnic_group("A","German",#99.4).
ethnic_group("A","Slovene",#0.2).
ethnic_group("A","Croatian",#0.3).
ethnic_group("CZ","German",#0.5).
ethnic_group("CZ","Polish",#0.6).
ethnic_group("CZ","Gypsy",#0.3).
ethnic_group("CZ","Hungarian",#0.2).
ethnic_group("CZ","Czech",#94.4).
ethnic_group("CZ","Slovak",3).
ethnic_group("D","Greeks",#0.4).
ethnic_group("D","Turkish",#2.3).
ethnic_group("D","German",#95.1).
ethnic_group("D","Italians",#0.7).
ethnic_group("D","Poles",#0.4).
ethnic_group("H","Serb",2).
ethnic_group("H","German",#2.6).
ethnic_group("H","Gypsy",4).
ethnic_group("H","Hungarian",#89.9).
ethnic_group("H","Slovak",#0.8).
ethnic_group("H","Romanian",#0.7).
ethnic_group("FL","Italian",5).
ethnic_group("FL","Alemannic",95).
ethnic_group("SK","German",#0.1).
ethnic_group("SK","Polish",#0.1).
ethnic_group("SK","Gypsy",#1.5).
ethnic_group("SK","Hungarian",#10.7).
ethnic_group("SK","Czech",1).
ethnic_group("SK","Slovak",#85.7).
ethnic_group("SK","Ukrainian",#0.3).
ethnic_group("SK","Ruthenian",#0.3).
ethnic_group("SLO","Serb",2).
ethnic_group("SLO","Slovene",91).
ethnic_group("SLO","Muslim",1).
ethnic_group("SLO","Croat",3).
ethnic_group("BY","Polish",#4.1).
ethnic_group("BY","Ukrainian",#2.9).
ethnic_group("BY","Russian",#13.2).
ethnic_group("BY","Byelorussian",#77.9).
ethnic_group("LV","Polish",#2.3).
ethnic_group("LV","Ukrainian",#3.4).
ethnic_group("LV","Russian",#33.8).
ethnic_group("LV","Byelorussian",#4.5).
ethnic_group("LV","Latvian",#51.8).
ethnic_group("LT","Polish",#7.7).
ethnic_group("LT","Russian",#8.6).
ethnic_group("LT","Byelorussian",#1.5).
ethnic_group("LT","Lithuanian",#80.1).
ethnic_group("PL","German",#1.3).
ethnic_group("PL","Polish",#97.6).
ethnic_group("PL","Ukrainian",#0.6).
ethnic_group("PL","Byelorussian",#0.5).
ethnic_group("UA","Ukrainian",73).
ethnic_group("UA","Russian",22).
ethnic_group("UA","Jewish",1).
ethnic_group("R","Ukrainian",3).
ethnic_group("R","Russian",#81.5).
ethnic_group("R","Byelorussian",#0.8).
ethnic_group("R","Tatar",#3.8).
ethnic_group("R","Chuvash",#1.2).
ethnic_group("R","Bashkir",#0.9).
ethnic_group("R","Moldavian",#0.7).
ethnic_group("B","Fleming",55).
ethnic_group("B","Walloon",33).
ethnic_group("NL","Dutch",96).
ethnic_group("BIH","Serb",40).
ethnic_group("BIH","Muslim",38).
ethnic_group("BIH","Croat",22).
ethnic_group("HR","Serb",12).
ethnic_group("HR","Hungarian",#0.5).
ethnic_group("HR","Muslim",#0.9).
ethnic_group("HR","Croat",78).
ethnic_group("HR","Slovenian",#0.5).
ethnic_group("BG","Macedonian",#2.5).
ethnic_group("BG","Gypsy",#2.6).
ethnic_group("BG","Russian",#0.2).
ethnic_group("BG","Turk",#8.5).
ethnic_group("BG","Bulgarian",#85.3).
ethnic_group("BG","Armenian",#0.3).
ethnic_group("RO","Serb",null).
ethnic_group("RO","German",#0.4).
ethnic_group("RO","Gypsy",#1.6).
ethnic_group("RO","Hungarian",#8.9).
ethnic_group("RO","Romanian",#89.1).
ethnic_group("RO","Ukrainian",null).
ethnic_group("RO","Croat",null).
ethnic_group("RO","Russian",null).
ethnic_group("RO","Turk",null).
ethnic_group("TR","Turkish",80).
ethnic_group("TR","Kurdish",20).
ethnic_group("EW","Ukrainian",#3.2).
ethnic_group("EW","Russian",#30.3).
ethnic_group("EW","Byelorussian",#1.8).
ethnic_group("EW","Finn",#1.1).
ethnic_group("EW","Estonian",#61.5).
ethnic_group("S","foreign-born first-generation",12).
ethnic_group("MC","French",47).
ethnic_group("MC","Italian",16).
ethnic_group("MC","Monegasque",16).
ethnic_group("IS","Norwegians Celts",#100).
ethnic_group("MD","Ukrainian",#13.8).
ethnic_group("MD","Russian",13).
ethnic_group("MD","Jewish",#1.5).
ethnic_group("MD","Bulgarian",2).
ethnic_group("MD","Gagauz",#3.5).
ethnic_group("MD","Moldavian/Romanian",#64.5).
ethnic_group("GB","English",#81.5).
ethnic_group("GB","West Indian",null).
ethnic_group("GB","Indian",null).
ethnic_group("GB","Pakistani",null).
ethnic_group("GB","Irish",#2.4).
ethnic_group("GB","Welsh",#1.9).
ethnic_group("GB","Scottish",#9.6).
ethnic_group("GB","Ulster",#1.8).
ethnic_group("AFG","Tajik",25).
ethnic_group("AFG","Pashtun",38).
ethnic_group("AFG","Uzbek",6).
ethnic_group("AFG","Hazara",19).
ethnic_group("TJ","Han Chinese",#91.9).
ethnic_group("IR","Arab",3).
ethnic_group("IR","Persian",51).
ethnic_group("IR","Baloch",2).
ethnic_group("IR","Azerbaijani",24).
ethnic_group("IR","Kurd",7).
ethnic_group("IR","Lur",2).
ethnic_group("IR","Turkmen",2).
ethnic_group("IR","Gilaki Mazandarani",8).
ethnic_group("TAD","Russian",#3.5).
ethnic_group("TAD","Tajik",#64.9).
ethnic_group("TAD","Uzbek",25).
ethnic_group("TM","Russian",#9.8).
ethnic_group("TM","Uzbek",9).
ethnic_group("TM","Turkmen",#73.3).
ethnic_group("TM","Kazak",2).
ethnic_group("UZB","Russian",#8.3).
ethnic_group("UZB","Tatar",#2.4).
ethnic_group("UZB","Tajik",#4.7).
ethnic_group("UZB","Uzbek",#71.4).
ethnic_group("UZB","Kazak",#4.1).
ethnic_group("UZB","Karakalpak",#2.1).
ethnic_group("ARM","Russian",2).
ethnic_group("ARM","Armenian",93).
ethnic_group("ARM","Azeri",3).
ethnic_group("GE","Russian",#6.3).
ethnic_group("GE","Armenian",#8.1).
ethnic_group("GE","Azeri",#5.7).
ethnic_group("GE","Georgian",#70.1).
ethnic_group("GE","Ossetian",3).
ethnic_group("GE","Abkhaz",#1.8).
ethnic_group("AZ","Russian",#2.5).
ethnic_group("AZ","Armenian",#2.3).
ethnic_group("AZ","Azeri",90).
ethnic_group("AZ","Dagestani Peoples",#3.2).
ethnic_group("BRN","Arab",10).
ethnic_group("BRN","Asian",13).
ethnic_group("BRN","Bahraini",63).
ethnic_group("BRN","Iranian",8).
ethnic_group("BD","Bengali",98).
ethnic_group("MYA","Indian",2).
ethnic_group("MYA","Chinese",3).
ethnic_group("MYA","Burman",68).
ethnic_group("MYA","Shan",9).
ethnic_group("MYA","Karen",7).
ethnic_group("MYA","Rakhine",4).
ethnic_group("MYA","Mon",2).
ethnic_group("IND","Dravidian",25).
ethnic_group("IND","Indo-Aryan",72).
ethnic_group("IND","Mongoloid",3).
ethnic_group("BHT","Bhote",50).
ethnic_group("BHT","Nepalese",35).
ethnic_group("BRU","Chinese",20).
ethnic_group("BRU","Malay",64).
ethnic_group("MAL","Indian",9).
ethnic_group("MAL","Chinese",32).
ethnic_group("MAL","Malay",59).
ethnic_group("LAO","Lao Loum",68).
ethnic_group("LAO","Lao Theung",22).
ethnic_group("LAO","Lao Soung Hmong Yao",9).
ethnic_group("LAO","Vietnamese/Chinese",1).
ethnic_group("THA","Chinese",14).
ethnic_group("THA","Thai",75).
ethnic_group("K","Chinese",1).
ethnic_group("K","Khmer",90).
ethnic_group("K","Vietnamese",5).
ethnic_group("VN","Man",null).
ethnic_group("VN","Chinese",3).
ethnic_group("VN","Thai",null).
ethnic_group("VN","Khmer",null).
ethnic_group("VN","Vietnamese",85).
ethnic_group("VN","Muong",null).
ethnic_group("VN","Meo",null).
ethnic_group("VN","Cham",null).
ethnic_group("KAZ","German",#4.7).
ethnic_group("KAZ","Ukrainian",#5.2).
ethnic_group("KAZ","Russian",37).
ethnic_group("KAZ","Tatar",2).
ethnic_group("KAZ","Uzbek",#2.1).
ethnic_group("KAZ","Kazak",#41.9).
ethnic_group("KGZ","German",#2.4).
ethnic_group("KGZ","Ukrainian",#2.5).
ethnic_group("KGZ","Russian",#21.5).
ethnic_group("KGZ","Uzbek",#12.9).
ethnic_group("KGZ","Kirghiz",#52.4).
ethnic_group("MNG","Russian",2).
ethnic_group("MNG","Kazak",4).
ethnic_group("MNG","Chinese",2).
ethnic_group("MNG","Mongol",90).
ethnic_group("IL","Jewish",82).
ethnic_group("IL","non-Jewish",18).
ethnic_group("ET","Greek",null).
ethnic_group("ET","Armenian",null).
ethnic_group("ET","European",1).
ethnic_group("ET","Nubian",null).
ethnic_group("ET","Eastern Hamitic",99).
ethnic_group("RI","Javanese",45).
ethnic_group("RI","Sundanese",14).
ethnic_group("RI","Madurese",#7.5).
ethnic_group("RI","Malays",#7.5).
ethnic_group("IRQ","Kurdish",15).
ethnic_group("IRQ","Arab",75).
ethnic_group("IRQ","Turkoman",null).
ethnic_group("IRQ","Assyrian",5).
ethnic_group("JOR","Armenian",1).
ethnic_group("JOR","Arab",98).
ethnic_group("JOR","Circassian",1).
ethnic_group("KWT","Arab",35).
ethnic_group("KWT","Iranian",4).
ethnic_group("KWT","South Asian",9).
ethnic_group("KWT","Kuwaiti",45).
ethnic_group("SA","Arab",90).
ethnic_group("SA","Afro-Asian",10).
ethnic_group("SYR","Arab",#90.3).
ethnic_group("RL","Armenian",4).
ethnic_group("RL","Arab",95).
ethnic_group("J","Japanese",#99.4).
ethnic_group("UAE","South Asian",50).
ethnic_group("UAE","Emiri",19).
ethnic_group("UAE","Arab Iranian",23).
ethnic_group("RP","Chinese",#1.5).
ethnic_group("RP","Christian Malay",#91.5).
ethnic_group("RP","Muslim Malay",4).
ethnic_group("Q","Indian",18).
ethnic_group("Q","Pakistani",18).
ethnic_group("Q","Arab",40).
ethnic_group("Q","Iranian",10).
ethnic_group("SGP","Indian",#6.4).
ethnic_group("SGP","Chinese",#76.4).
ethnic_group("SGP","Malay",#14.9).
ethnic_group("CL","Malay",null).
ethnic_group("CL","Sinhalese",74).
ethnic_group("CL","Burgher",null).
ethnic_group("CL","Tamil",18).
ethnic_group("CL","Moor",7).
ethnic_group("CL","Vedda",1).
ethnic_group("RC","Chinese",14).
ethnic_group("RC","Taiwanese",84).
ethnic_group("BDS","European",4).
ethnic_group("BDS","African",80).
ethnic_group("BZ","Creole",30).
ethnic_group("BZ","Garifuna",7).
ethnic_group("BZ","Maya",11).
ethnic_group("GCA","Mestizo - Amerindian-Spanish",56).
ethnic_group("GCA","Amerindian Amerindian",44).
ethnic_group("MEX","Amerindian Amerindian",30).
ethnic_group("MEX","Caucasian Caucasian",9).
ethnic_group("CDN","French",27).
ethnic_group("CDN","Asian",#11.5).
ethnic_group("CDN","European",20).
ethnic_group("CDN","British Isles",40).
ethnic_group("CDN","Indian Eskimo",#1.5).
ethnic_group("USA","Asian",#3.3).
ethnic_group("USA","Native American",#0.8).
ethnic_group("CR","Indian",1).
ethnic_group("CR","Chinese",1).
ethnic_group("NIC","Indian",5).
ethnic_group("PA","West Indian",14).
ethnic_group("PA","Indian",6).
ethnic_group("C","Chinese",1).
ethnic_group("WD","Carib Indians",#100).
ethnic_group("RH","European",5).
ethnic_group("ES","Indian",5).
ethnic_group("HCA","Indian",7).
ethnic_group("WG","African",#100).
ethnic_group("JA","African",#76.3).
ethnic_group("JA","Afro-European",#15.1).
ethnic_group("JA","East Indian Afro-East Indian",3).
ethnic_group("JA","Chinese Afro-Chinese",#1.2).
ethnic_group("CO","Indian",1).
ethnic_group("CO","black-Indian",3).
ethnic_group("KN","African",#100).
ethnic_group("WL","African",#90.3).
ethnic_group("WL","East Indian",#3.2).
ethnic_group("TT","Chinese",1).
ethnic_group("TT","East Indian",40).
ethnic_group("AUS","Asian",4).
ethnic_group("AUS","Caucasian",95).
ethnic_group("FJI","Indian",46).
ethnic_group("FJI","Chinese",null).
ethnic_group("FJI","European",null).
ethnic_group("FJI","Pacific Islanders",null).
ethnic_group("FJI","Fijian",49).
ethnic_group("KIR","Micronesian",#100).
ethnic_group("MH","Micronesian",#100).
ethnic_group("FSM","Micronesian Polynesian",#100).
ethnic_group("NAU","Chinese",8).
ethnic_group("NAU","European",8).
ethnic_group("NAU","Nauruan",58).
ethnic_group("NAU","Pacific Islander",26).
ethnic_group("NCA","Vietnamese",#1.6).
ethnic_group("NCA","European",#37.1).
ethnic_group("NCA","Polynesian",#3.8).
ethnic_group("NCA","Melanesian",#42.5).
ethnic_group("NCA","Wallisian",#8.4).
ethnic_group("NCA","Indonesian",#3.6).
ethnic_group("NZ","European",88).
ethnic_group("NZ","Pacific Islander",#2.9).
ethnic_group("NZ","Maori",#8.9).
ethnic_group("SLB","Chinese",#0.3).
ethnic_group("SLB","European",#0.8).
ethnic_group("SLB","Polynesian",4).
ethnic_group("SLB","Micronesian",#1.5).
ethnic_group("SLB","Melanesian",93).
ethnic_group("TUV","Polynesian",96).
ethnic_group("VU","French",4).
ethnic_group("VU","Chinese",null).
ethnic_group("VU","Vietnamese",null).
ethnic_group("VU","Pacific Islanders",null).
ethnic_group("VU","Melanesian",94).
ethnic_group("WS","Europeans",#0.4).
ethnic_group("WS","Samoan",#92.6).
ethnic_group("WS","Euronesians",7).
ethnic_group("RA","Indian",#100).
ethnic_group("BOL","European",5).
ethnic_group("BOL","Quechua",30).
ethnic_group("BOL","Aymara",25).
ethnic_group("BR","African",44).
ethnic_group("RCH","Indian",3).
ethnic_group("RCH","European European-Indian",95).
ethnic_group("PY","Amerindians",5).
ethnic_group("PE","Indian",45).
ethnic_group("FGU","Amerindian",12).
ethnic_group("GUY","East Indian",51).
ethnic_group("GUY","Amerindian",4).
ethnic_group("GUY","European Chinese",2).
ethnic_group("SME","Chinese",#1.7).
ethnic_group("SME","Javanese",#15.3).
ethnic_group("SME","Creole",31).
ethnic_group("SME","Europeans",1).
ethnic_group("SME","Amerindian",#2.6).
ethnic_group("SME","Hindustani",37).
ethnic_group("SME","Bush Black",null).
ethnic_group("YV","Amerindian",2).
ethnic_group("EC","Spanish",10).
ethnic_group("EC","Indian",25).
ethnic_group("DZ","European",1).
ethnic_group("DZ","Arab-Berber",99).
ethnic_group("LAR","Berber Arab",97).
ethnic_group("RMM","Mande",50).
ethnic_group("RMM","Peul",17).
ethnic_group("RMM","Voltaic",12).
ethnic_group("RMM","Songhai",6).
ethnic_group("RMM","Tuareg Moor",10).
ethnic_group("RIM","Maur",30).
ethnic_group("RIM","Maur/black",40).
ethnic_group("MA","Jewish",#0.2).
ethnic_group("MA","Arab-Berber",#99.1).
ethnic_group("RN","French",null).
ethnic_group("RN","Arab",null).
ethnic_group("RN","Toubou",null).
ethnic_group("RN","Fula",#8.5).
ethnic_group("RN","Hausa",56).
ethnic_group("RN","Djerma",22).
ethnic_group("RN","Tuareg",8).
ethnic_group("RN","Beri Beri",#4.3).
ethnic_group("RN","Gourmantche",#1.2).
ethnic_group("TN","Jewish",1).
ethnic_group("TN","European",1).
ethnic_group("TN","Arab-Berber",98).
ethnic_group("ANG","European",1).
ethnic_group("ANG","Ovimbundu",37).
ethnic_group("ANG","Kimbundu",25).
ethnic_group("ANG","Bakongo",13).
ethnic_group("ZRE","Mangbetu-Azande",45).
ethnic_group("Z","European",#1.1).
ethnic_group("Z","African",#98.7).
ethnic_group("BEN","African",99).
ethnic_group("BF","Mossi",24).
ethnic_group("WAN","non-Africans 27000",#100).
ethnic_group("RT","African",99).
ethnic_group("RT","European Syrian-Lebanese",1).
ethnic_group("RB","Kalanga",null).
ethnic_group("RB","Basarwa",null).
ethnic_group("RB","Batswana",95).
ethnic_group("RB","Kgalagadi",4).
ethnic_group("RSA","Indian",#2.6).
ethnic_group("RSA","Colored",#8.6).
ethnic_group("ZW","Asian",1).
ethnic_group("ZW","African",98).
ethnic_group("CI","Agni",null).
ethnic_group("CI","Malinke",11).
ethnic_group("CI","Baoule",23).
ethnic_group("CI","Bete",18).
ethnic_group("CI","Senoufou",15).
ethnic_group("CI","Africans",null).
ethnic_group("CI","non-Africans 330000",null).
ethnic_group("GH","European",#0.2).
ethnic_group("GH","African",#99.8).
ethnic_group("RWA","Hutu",80).
ethnic_group("RWA","Tutsi",19).
ethnic_group("RWA","Twa",1).
ethnic_group("CAM","African",13).
ethnic_group("CAM","Fulani",10).
ethnic_group("CAM","Cameroon Highlanders",31).
ethnic_group("CAM","Equatorial Bantu",19).
ethnic_group("CAM","Kirdi",11).
ethnic_group("CAM","Northwestern Bantu",8).
ethnic_group("CAM","Eastern Nigritic",7).
ethnic_group("CAM","non-African",1).
ethnic_group("RCA","Europeans 6500",null).
ethnic_group("RCA","Baya",34).
ethnic_group("RCA","Banda",27).
ethnic_group("RCA","Sara",10).
ethnic_group("RCA","Mandjia",21).
ethnic_group("RCA","Mboum",4).
ethnic_group("RCA","MBaka",4).
ethnic_group("CV","European",1).
ethnic_group("CV","African",28).
ethnic_group("CV","Creole",71).
ethnic_group("SUD","Arab",39).
ethnic_group("SUD","Beja",6).
ethnic_group("RG","Malinke",30).
ethnic_group("RG","Peuhl",40).
ethnic_group("RG","Soussou",20).
ethnic_group("LB","African",95).
ethnic_group("LB","Americo-Liberians",5).
ethnic_group("DJI","French",null).
ethnic_group("DJI","Italian",5).
ethnic_group("DJI","Arab",null).
ethnic_group("DJI","Ethiopian",null).
ethnic_group("DJI","Afar",35).
ethnic_group("DJI","Somali",60).
ethnic_group("ER","Afar",4).
ethnic_group("ER","Tigrinya",50).
ethnic_group("ER","Tigre Kunama",40).
ethnic_group("ER","Saho",3).
ethnic_group("ETH","Afar",4).
ethnic_group("ETH","Somali",6).
ethnic_group("ETH","Oromo",40).
ethnic_group("ETH","Sidamo",9).
ethnic_group("ETH","Shankella",6).
ethnic_group("ETH","Gurage",2).
ethnic_group("ETH","Amhara Tigrean",32).
ethnic_group("SP","Somali",85).
ethnic_group("EAK","Arab",1).
ethnic_group("EAK","Asian",null).
ethnic_group("EAK","European",null).
ethnic_group("EAK","Kikuyu",22).
ethnic_group("EAK","Luhya",14).
ethnic_group("EAK","Luo",13).
ethnic_group("EAK","Kalenjin",12).
ethnic_group("EAK","Kamba",11).
ethnic_group("EAK","Kisii",6).
ethnic_group("EAK","Meru",6).
ethnic_group("WAG","African",99).
ethnic_group("WAG","non-Gambian",1).
ethnic_group("SN","Fulani",17).
ethnic_group("SN","Wolof",36).
ethnic_group("SN","Diola",9).
ethnic_group("SN","Mandingo",9).
ethnic_group("SN","Serer",17).
ethnic_group("SN","Toucouleur",9).
ethnic_group("SN","European Lebanese",1).
ethnic_group("GNB","European",1).
ethnic_group("GNB","African",99).
ethnic_group("WAL","Asian",1).
ethnic_group("WAL","European",null).
ethnic_group("WAL","African",99).
ethnic_group("WAL","Creole",null).
ethnic_group("WAL","Lebanese",null).
ethnic_group("EAU","Rwanda",6).
ethnic_group("EAU","Arab",1).
ethnic_group("EAU","Asian",null).
ethnic_group("EAU","European",null).
ethnic_group("EAU","Baganda",17).
ethnic_group("EAU","Karamojong",12).
ethnic_group("EAU","Basogo",8).
ethnic_group("EAU","Iteso",8).
ethnic_group("EAU","Langi",6).
ethnic_group("EAU","Bagisu",5).
ethnic_group("EAU","Acholi",4).
ethnic_group("EAU","Lugbara",4).
ethnic_group("EAU","Bunyoro",3).
ethnic_group("EAU","Batobo",3).
ethnic_group("LS","Sotho",#99.7).
ethnic_group("MOC","Europeans",#0.06).
ethnic_group("MOC","Indians",#0.08).
ethnic_group("MOC","Euro-Africans",#0.2).
ethnic_group("MS","Creole",27).
ethnic_group("MS","Indo-Mauritian",68).
ethnic_group("MS","Sino-Mauritian",3).
ethnic_group("MS","Franco-Mauritian",2).
ethnic_group("SD","European",3).
ethnic_group("SD","African",97).
ethnic_group("STP","Europeans",#100).
ethnic_group("SY","Seychellois",#100).

% 520 output(s) printed 

% Answer to query : ?- religion(Code,Rel,Perc).

religion("AL","Muslim",70).
religion("AL","Roman Catholic",10).
religion("AL","Albanian Orthodox",20).
religion("GR","Muslim",#1.3).
religion("GR","Greek Orthodox",98).
religion("MK","Muslim",30).
religion("MK","Eastern Orthodox",67).
religion("YU","Muslim",19).
religion("YU","Roman Catholic",4).
religion("YU","Protestant",1).
religion("YU","Orthodox",65).
religion("AND","Roman Catholic",#100).
religion("F","Muslim",1).
religion("F","Jewish",1).
religion("F","Roman Catholic",90).
religion("F","Protestant",2).
religion("E","Roman Catholic",99).
religion("A","Roman Catholic",85).
religion("A","Protestant",6).
religion("CZ","Roman Catholic",#39.2).
religion("CZ","Protestant",#4.6).
religion("CZ","Orthodox",3).
religion("D","Roman Catholic",37).
religion("D","Protestant",45).
religion("H","Roman Catholic",#67.5).
religion("H","Lutheran",5).
religion("H","Calvinist",20).
religion("I","Roman Catholic",98).
religion("FL","Roman Catholic",#87.3).
religion("FL","Protestant",#8.3).
religion("SK","Roman Catholic",#60.3).
religion("SK","Protestant",#8.4).
religion("SK","Orthodox",#4.1).
religion("SLO","Muslim",1).
religion("SLO","Roman Catholic",96).
religion("CH","Roman Catholic",#47.6).
religion("CH","Protestant",#44.3).
religion("BY","Eastern Orthodox",60).
religion("PL","Roman Catholic",95).
religion("B","Roman Catholic",75).
religion("B","Protestant",25).
religion("L","Roman Catholic",97).
religion("L","Protestant Jewish",3).
religion("NL","Muslim",3).
religion("NL","Roman Catholic",34).
religion("NL","Protestant",25).
religion("BIH","Muslim",40).
religion("BIH","Protestant",4).
religion("BIH","Orthodox",31).
religion("BIH","Catholic",15).
religion("HR","Protestant",#0.4).
religion("HR","Orthodox",#11.1).
religion("HR","Catholic",#76.5).
religion("HR","Slavic Muslim",#1.2).
religion("BG","Muslim",13).
religion("BG","Jewish",#0.8).
religion("BG","Roman Catholic",#0.5).
religion("BG","Protestant",null).
religion("BG","Gregorian-Armenian",null).
religion("BG","Bulgarian Orthodox",85).
religion("BG","Uniate Catholic",#0.2).
religion("RO","Roman Catholic",6).
religion("RO","Protestant",6).
religion("RO","Romanian Orthodox",70).
religion("TR","Muslim",#99.8).
religion("DK","Evangelical Lutheran",91).
religion("DK","Protestant Roman Catholic",2).
religion("SF","Greek Orthodox",1).
religion("SF","Evangelical Lutheran",89).
religion("N","Evangelical Lutheran",#87.8).
religion("N","Protestant Roman Catholic",#3.8).
religion("S","Roman Catholic",#1.5).
religion("S","Evangelical Lutheran",94).
religion("S","Pentecostal",1).
religion("MC","Roman Catholic",95).
religion("V","Roman Catholic",#100).
religion("IS","Evangelical Lutheran",96).
religion("IS","Protestant Roman Catholic",3).
religion("IRL","Roman Catholic",93).
religion("IRL","Anglican",3).
religion("RSM","Roman Catholic",#100).
religion("M","Roman Catholic",98).
religion("MD","Jewish",#1.5).
religion("MD","Eastern Orthodox",#98.5).
religion("MD","Baptist",null).
religion("P","Roman Catholic",97).
religion("P","Protestant",1).
religion("AFG","Sunni Muslim",84).
religion("AFG","Shia Muslim",15).
religion("TJ","Muslim",2).
religion("TJ","Christian",1).
religion("TJ","Buddhism",null).
religion("TJ","Daoism",null).
religion("IR","Jewish",null).
religion("IR","Sunni Muslim",10).
religion("IR","Shia Muslim",89).
religion("IR","Christian",null).
religion("IR","Zoroastrian",null).
religion("IR","Bahai",1).
religion("PK","Muslim",97).
religion("TAD","Sunni Muslim",80).
religion("TAD","Shia Muslim",5).
religion("TM","Muslim",87).
religion("TM","Eastern Orthodox",11).
religion("UZB","Muslim",88).
religion("UZB","Eastern Orthodox",9).
religion("ARM","Armenian Orthodox",94).
religion("GE","Muslim",11).
religion("GE","Armenian Apostolic",8).
religion("GE","Christian Orthodox",75).
religion("AZ","Muslim",#93.4).
religion("AZ","Armenian Orthodox",#2.3).
religion("AZ","Russian Orthodox",#2.5).
religion("BRN","Sunni Muslim",25).
religion("BRN","Shia Muslim",75).
religion("BD","Muslim",83).
religion("BD","Christian",null).
religion("BD","Buddhist",null).
religion("BD","Hindu",16).
religion("MYA","Muslim",4).
religion("MYA","Christian",4).
religion("MYA","Buddhist",89).
religion("IND","Muslim",14).
religion("IND","Christian",#2.4).
religion("IND","Buddhist",#0.7).
religion("IND","Hindu",80).
religion("IND","Sikh",2).
religion("IND","Jains",#0.5).
religion("BHT","Lamaistic Buddhism",75).
religion("BHT","Indian- Nepalese-influenced Hinduism",25).
religion("BRU","Muslim",63).
religion("BRU","Christian",8).
religion("BRU","Buddhism",14).
religion("LAO","Buddhist",60).
religion("THA","Muslim",#3.8).
religion("THA","Buddhism",95).
religion("THA","Christianity",#0.5).
religion("THA","Hinduism",#0.1).
religion("K","Theravada Buddhism",95).
religion("KAZ","Muslim",47).
religion("KAZ","Protestant",2).
religion("KAZ","Russian Orthodox",44).
religion("MNG","Muslim",4).
religion("NEP","Muslim",3).
religion("NEP","Buddhist",5).
religion("NEP","Hindu",90).
religion("CY","Muslim",18).
religion("CY","Greek Orthodox",78).
religion("CY","Armenian Apostolic",null).
religion("CY","Maronite",null).
religion("IL","Christian",2).
religion("IL","Islam",14).
religion("IL","Druze",2).
religion("IL","Judaism",82).
religion("ET","Muslim",94).
religion("ET","Coptic Christian",6).
religion("RI","Muslim",87).
religion("RI","Roman Catholic",3).
religion("RI","Protestant",6).
religion("RI","Buddhist",1).
religion("RI","Hindu",2).
religion("PNG","Roman Catholic",22).
religion("PNG","Protestant",10).
religion("PNG","Lutheran",16).
religion("PNG","Anglican",5).
religion("PNG","Seventh-Day Adventist",1).
religion("PNG","Presbyterian/Methodist/London Missionary Society",8).
religion("PNG","Evangelical Alliance",4).
religion("IRQ","Muslim",97).
religion("IRQ","Christian",3).
religion("JOR","Sunni Muslim",92).
religion("JOR","Christian",8).
religion("KWT","Muslim",85).
religion("SA","Muslim",100).
religion("SYR","Muslim",16).
religion("SYR","Jewish",null).
religion("SYR","Sunni Muslim",74).
religion("SYR","Christian",10).
religion("SYR","Druze",null).
religion("SYR","Alawite",null).
religion("RL","Christian",30).
religion("RL","Islam",70).
religion("J","Shinto Buddhist",84).
religion("ROK","Buddhism",#47.4).
religion("ROK","Christianity",#48.6).
religion("ROK","Confucianism",3).
religion("ROK","Chondogyo",#0.2).
religion("MV","Sunni Muslim",#100).
religion("OM","Ibadhi Muslim",75).
religion("UAE","Muslim",96).
religion("RP","Muslim",5).
religion("RP","Roman Catholic",83).
religion("RP","Protestant",9).
religion("RP","Buddhist",3).
religion("Q","Muslim",95).
religion("CL","Muslim",8).
religion("CL","Christian",8).
religion("CL","Buddhist",69).
religion("CL","Hindu",15).
religion("RC","Christian",#4.5).
religion("RC","Buddhist",null).
religion("RC","Confucian",null).
religion("RC","Taoist",93).
religion("BS","Roman Catholic",19).
religion("BS","Protestant",12).
religion("BS","Anglican",20).
religion("BS","Baptist",32).
religion("BS","Methodist",6).
religion("BS","Church God",6).
religion("BDS","Roman Catholic",4).
religion("BDS","Protestant",67).
religion("BZ","Roman Catholic",62).
religion("BZ","Protestant",30).
religion("MEX","Roman Catholic",89).
religion("MEX","Protestant",6).
religion("CDN","Roman Catholic",45).
religion("CDN","Anglican",8).
religion("CDN","United Church",12).
religion("USA","Jewish",2).
religion("USA","Roman Catholic",28).
religion("USA","Protestant",56).
religion("CR","Roman Catholic",95).
religion("NIC","Roman Catholic",95).
religion("NIC","Protestant",5).
religion("PA","Roman Catholic",85).
religion("PA","Protestant",15).
religion("C","Roman Catholic",85).
religion("WD","Roman Catholic",77).
religion("WD","Protestant",15).
religion("DOM","Roman Catholic",95).
religion("RH","Roman Catholic",80).
religion("RH","Protestant",16).
religion("ES","Roman Catholic",75).
religion("HCA","Roman Catholic",97).
religion("JA","Roman Catholic",5).
religion("JA","Protestant",#55.9).
religion("CO","Roman Catholic",95).
religion("WL","Roman Catholic",90).
religion("WL","Protestant",7).
religion("WL","Anglican",3).
religion("TT","Muslim",6).
religion("TT","Roman Catholic",#32.2).
religion("TT","Protestant",14).
religion("TT","Anglican",#14.4).
religion("TT","Hindu",#24.3).
religion("AUS","Roman Catholic",26).
religion("AUS","Anglican",#26.1).
religion("AUS","Christian",#24.3).
religion("FJI","Muslim",8).
religion("FJI","Christian",52).
religion("FJI","Hindu",38).
religion("KIR","Roman Catholic",#52.6).
religion("KIR","Protestant",#40.9).
religion("KIR","Bahai",null).
religion("KIR","Seventh-Day Adventist",null).
religion("KIR","Church God",null).
religion("KIR","Mormon",6).
religion("MH","Christian",#100).
religion("FSM","Roman Catholic",50).
religion("FSM","Protestant",47).
religion("NAU","Christian",#100).
religion("NCA","Roman Catholic",60).
religion("NCA","Protestant",30).
religion("NZ","Roman Catholic",15).
religion("NZ","Protestant",3).
religion("NZ","Anglican",24).
religion("NZ","Baptist",2).
religion("NZ","Methodist",5).
religion("NZ","Presbyterian",18).
religion("SLB","Roman Catholic",19).
religion("SLB","Protestant",5).
religion("SLB","Anglican",34).
religion("SLB","Baptist",17).
religion("SLB","Seventh-Day Adventist",10).
religion("SLB","United",11).
religion("TO","Christian",#100).
religion("TUV","Bahai",1).
religion("TUV","Seventh-Day Adventist",#1.4).
religion("TUV","Church Tuvalu",97).
religion("VU","Catholic",15).
religion("VU","Anglican",15).
religion("VU","Seventh-Day Adventist",#6.2).
religion("VU","Presbyterian",#36.7).
religion("VU","Church Christ",#3.8).
religion("WS","Christian",#99.7).
religion("RA","Jewish",2).
religion("RA","Roman Catholic",90).
religion("RA","Protestant",2).
religion("BOL","Roman Catholic",95).
religion("BR","Roman Catholic",70).
religion("RCH","Jewish",null).
religion("RCH","Roman Catholic",89).
religion("RCH","Protestant",11).
religion("PY","Roman Catholic",90).
religion("ROU","Jewish",2).
religion("ROU","Roman Catholic",66).
religion("ROU","Protestant",2).
religion("PE","Roman Catholic",#100).
religion("FGU","Roman Catholic",#100).
religion("GUY","Muslim",9).
religion("GUY","Christian",57).
religion("GUY","Hindu",33).
religion("SME","Muslim",#19.6).
religion("SME","Roman Catholic",#22.8).
religion("SME","Protestant",#25.2).
religion("SME","Hindu",#27.4).
religion("YV","Roman Catholic",96).
religion("YV","Protestant",2).
religion("EC","Roman Catholic",95).
religion("DZ","Sunni Muslim",99).
religion("DZ","Christian Jewish",1).
religion("LAR","Sunni Muslim",97).
religion("RMM","Muslim",90).
religion("RMM","Christian",1).
religion("RIM","Muslim",100).
religion("MA","Muslim",#98.7).
religion("MA","Jewish",#0.2).
religion("MA","Christian",#1.1).
religion("RN","Muslim",80).
religion("TN","Muslim",98).
religion("TN","Jewish",1).
religion("TN","Christian",1).
religion("WSA","Muslim",#100).
religion("ANG","Roman Catholic",38).
religion("ANG","Protestant",15).
religion("RCB","Muslim",2).
religion("RCB","Christian",50).
religion("NAM","Lutheran",50).
religion("ZRE","Muslim",10).
religion("ZRE","Roman Catholic",50).
religion("ZRE","Protestant",20).
religion("ZRE","Kimbanguist",10).
religion("Z","Christian",50).
religion("Z","Muslim Hindu",24).
religion("BEN","Muslim",15).
religion("BEN","Christian",15).
religion("BF","Muslim",50).
religion("BF","Christian",10).
religion("WAN","Muslim",50).
religion("WAN","Christian",40).
religion("RT","Muslim",10).
religion("RT","Christian",20).
religion("RB","Christian",50).
religion("RSA","Muslim",2).
religion("ZW","Muslim",1).
religion("ZW","Christian",25).
religion("CI","Muslim",60).
religion("CI","Christian",12).
religion("GH","Muslim",30).
religion("GH","Christian",24).
religion("BI","Muslim",1).
religion("BI","Christian",67).
religion("RWA","Muslim",1).
religion("RWA","Roman Catholic",65).
religion("RWA","Protestant",9).
religion("CAM","Muslim",16).
religion("CAM","Christian",33).
religion("RCA","Muslim",15).
religion("RCA","Roman Catholic",25).
religion("RCA","Protestant",25).
religion("TCH","Muslim",50).
religion("TCH","Christian",25).
religion("GQ","Christian Roman Catholic",#100).
religion("G","Muslim",1).
religion("G","Christian",55).
religion("CV","Roman Catholicism",#100).
religion("SUD","Sunni Muslim",70).
religion("SUD","Christian",5).
religion("COM","Roman Catholic",14).
religion("COM","Sunni Muslim",86).
religion("RG","Muslim",85).
religion("RG","Christian",8).
religion("LB","Muslim",20).
religion("LB","Christian",10).
religion("DJI","Muslim",94).
religion("DJI","Christian",6).
religion("ETH","Muslim",45).
religion("ETH","Ethiopian Orthodox",35).
religion("SP","Sunni Muslim",#100).
religion("EAK","Roman Catholic",28).
religion("EAK","Protestant",38).
religion("WAG","Muslim",90).
religion("WAG","Christian",9).
religion("SN","Muslim",92).
religion("SN","Christian",2).
religion("GNB","Muslim",30).
religion("GNB","Christian",5).
religion("WAL","Muslim",60).
religion("WAL","Christian",10).
religion("EAU","Muslim",16).
religion("EAU","Roman Catholic",33).
religion("EAU","Protestant",33).
religion("LS","Christian",80).
religion("RM","Muslim",7).
religion("RM","Christian",41).
religion("MW","Muslim",20).
religion("MW","Roman Catholic",20).
religion("MW","Protestant",55).
religion("MOC","Muslim",20).
religion("MOC","Christian",30).
religion("MS","Muslim",#16.6).
religion("MS","Christian",#28.3).
religion("MS","Hindu",52).
religion("SD","Christian",60).
religion("SY","Roman Catholic",90).
religion("SY","Anglican",8).

% 406 output(s) printed 

% Answer to query : ?- borders(Code,Code2,Length).

borders("AL","GR",282).
borders("AL","YU",287).
borders("GR","TR",206).
borders("MK","AL",151).
borders("MK","GR",228).
borders("MK","YU",221).
borders("MK","BG",148).
borders("YU","BG",318).
borders("YU","RO",476).
borders("AND","F",60).
borders("AND","E",65).
borders("E","F",623).
borders("A","D",784).
borders("A","H",366).
borders("A","I",430).
borders("CZ","A",362).
borders("CZ","D",646).
borders("CZ","PL",658).
borders("D","F",451).
borders("H","YU",151).
borders("H","UA",103).
borders("H","RO",443).
borders("I","F",488).
borders("FL","A",37).
borders("FL","CH",41).
borders("SK","A",91).
borders("SK","CZ",215).
borders("SK","H",515).
borders("SK","PL",444).
borders("SK","UA",90).
borders("SLO","A",324).
borders("SLO","H",102).
borders("SLO","I",235).
borders("SLO","HR",546).
borders("CH","F",573).
borders("CH","A",164).
borders("CH","D",334).
borders("CH","I",740).
borders("BY","PL",605).
borders("BY","UA",891).
borders("BY","R",959).
borders("LV","BY",141).
borders("LV","LT",453).
borders("LV","R",217).
borders("LT","BY",502).
borders("LT","PL",91).
borders("LT","R",227).
borders("PL","D",456).
borders("PL","UA",428).
borders("PL","R",206).
borders("UA","R",1576).
borders("B","F",620).
borders("B","D",167).
borders("B","NL",450).
borders("L","F",73).
borders("L","D",138).
borders("L","B",148).
borders("NL","D",577).
borders("BIH","YU",527).
borders("BIH","HR",932).
borders("HR","YU",266).
borders("HR","H",329).
borders("BG","GR",494).
borders("BG","RO",608).
borders("BG","TR",240).
borders("RO","UA",531).
borders("TR","IR",499).
borders("DK","D",68).
borders("EW","LV",267).
borders("EW","R",290).
borders("SF","R",1313).
borders("SF","S",586).
borders("N","R",167).
borders("N","SF",729).
borders("N","S",1619).
borders("MC","F",#4.4).
borders("V","I",#3.2).
borders("IRL","GB",360).
borders("RSM","I",39).
borders("MD","UA",939).
borders("MD","RO",450).
borders("P","E",1214).
borders("AFG","TJ",76).
borders("AFG","IR",936).
borders("AFG","PK",2430).
borders("TJ","R",3645).
borders("PK","TJ",523).
borders("PK","IR",909).
borders("PK","IND",2912).
borders("TAD","AFG",1206).
borders("TAD","TJ",414).
borders("TAD","UZB",1161).
borders("TAD","KGZ",870).
borders("TM","AFG",744).
borders("TM","IR",992).
borders("TM","KAZ",379).
borders("UZB","AFG",137).
borders("UZB","TM",1621).
borders("UZB","KAZ",2203).
borders("ARM","TR",268).
borders("ARM","IR",35).
borders("ARM","GE",164).
borders("ARM","AZ",787).
borders("GE","R",723).
borders("GE","TR",252).
borders("GE","AZ",322).
borders("AZ","R",284).
borders("AZ","TR",9).
borders("AZ","IR",611).
borders("BD","MYA",193).
borders("BD","IND",4053).
borders("MYA","TJ",2185).
borders("MYA","IND",1463).
borders("IND","TJ",3380).
borders("BHT","TJ",470).
borders("BHT","IND",605).
borders("BRU","MAL",381).
borders("MAL","THA",506).
borders("MAL","RI",1782).
borders("LAO","TJ",423).
borders("LAO","MYA",235).
borders("LAO","THA",1754).
borders("LAO","VN",2130).
borders("THA","MYA",1800).
borders("K","LAO",541).
borders("K","THA",803).
borders("K","VN",1228).
borders("VN","TJ",1281).
borders("KAZ","R",6846).
borders("KAZ","TJ",1533).
borders("NOK","R",19).
borders("NOK","TJ",1416).
borders("KGZ","TJ",858).
borders("KGZ","UZB",1099).
borders("KGZ","KAZ",1051).
borders("MNG","R",3441).
borders("MNG","TJ",4673).
borders("NEP","TJ",1236).
borders("NEP","IND",1690).
borders("IL","ET",255).
borders("IL","JOR",238).
borders("IL","SYR",76).
borders("ET","LAR",1150).
borders("ET","SUD",1273).
borders("PNG","RI",820).
borders("IRQ","TR",331).
borders("IRQ","IR",1458).
borders("IRQ","SA",814).
borders("JOR","IRQ",181).
borders("JOR","SA",728).
borders("JOR","SYR",375).
borders("KWT","IRQ",242).
borders("KWT","SA",222).
borders("SYR","TR",822).
borders("SYR","IRQ",605).
borders("RL","IL",79).
borders("RL","SYR",375).
borders("ROK","NOK",238).
borders("OM","SA",676).
borders("OM","YE",288).
borders("UAE","SA",457).
borders("UAE","OM",410).
borders("YE","SA",1458).
borders("Q","SA",60).
borders("BZ","GCA",266).
borders("BZ","MEX",250).
borders("GCA","MEX",962).
borders("GCA","HCA",256).
borders("MEX","USA",3326).
borders("USA","CDN",8893).
borders("CR","NIC",309).
borders("CR","PA",330).
borders("PA","CO",225).
borders("C","USA",29).
borders("RH","DOM",275).
borders("ES","GCA",203).
borders("ES","HCA",342).
borders("HCA","NIC",922).
borders("CO","BR",1643).
borders("CO","PE",2900).
borders("RA","BR",1224).
borders("BOL","RA",832).
borders("BOL","BR",3400).
borders("BOL","PE",900).
borders("RCH","RA",5150).
borders("RCH","BOL",861).
borders("RCH","PE",160).
borders("PY","RA",1880).
borders("PY","BOL",750).
borders("PY","BR",1290).
borders("ROU","RA",579).
borders("ROU","BR",985).
borders("PE","BR",1560).
borders("FGU","BR",673).
borders("FGU","SME",510).
borders("GUY","BR",1119).
borders("GUY","YV",743).
borders("SME","BR",597).
borders("SME","GUY",600).
borders("YV","CO",2050).
borders("YV","BR",2200).
borders("EC","CO",590).
borders("EC","PE",1420).
borders("LAR","DZ",982).
borders("LAR","SUD",383).
borders("RMM","DZ",1376).
borders("RMM","RN",821).
borders("RIM","DZ",463).
borders("RIM","RMM",2237).
borders("MA","DZ",1559).
borders("RN","DZ",956).
borders("RN","LAR",354).
borders("RN","TCH",1175).
borders("TN","DZ",965).
borders("TN","LAR",459).
borders("WSA","DZ",42).
borders("WSA","RIM",1561).
borders("WSA","MA",443).
borders("ANG","ZRE",2511).
borders("RCB","ANG",201).
borders("RCB","ZRE",2410).
borders("RCB","CAM",523).
borders("RCB","RCA",467).
borders("NAM","ANG",1376).
borders("NAM","RSA",855).
borders("ZRE","SUD",628).
borders("ZRE","EAT",459).
borders("Z","ANG",1110).
borders("Z","NAM",233).
borders("Z","ZRE",1930).
borders("Z","EAT",338).
borders("Z","MOC",419).
borders("BEN","RN",266).
borders("BEN","BF",306).
borders("BEN","WAN",773).
borders("BF","RMM",1000).
borders("BF","RN",628).
borders("BF","CI",584).
borders("WAN","RN",1497).
borders("WAN","TCH",87).
borders("RT","BEN",644).
borders("RT","BF",126).
borders("RT","GH",877).
borders("RB","NAM",1360).
borders("RB","RSA",1840).
borders("ZW","Z",797).
borders("ZW","RB",813).
borders("ZW","RSA",225).
borders("ZW","MOC",1231).
borders("CI","RMM",532).
borders("GH","BF",548).
borders("GH","CI",668).
borders("BI","ZRE",233).
borders("BI","EAT",451).
borders("RWA","ZRE",217).
borders("RWA","BI",290).
borders("RWA","EAT",217).
borders("RWA","EAU",169).
borders("CAM","WAN",1690).
borders("CAM","RCA",797).
borders("CAM","TCH",1094).
borders("RCA","ZRE",1577).
borders("RCA","TCH",1197).
borders("RCA","SUD",1165).
borders("TCH","LAR",1055).
borders("TCH","SUD",1360).
borders("GQ","CAM",189).
borders("GQ","G",350).
borders("G","RCB",1903).
borders("G","CAM",298).
borders("RG","RMM",858).
borders("RG","CI",610).
borders("LB","CI",716).
borders("LB","RG",563).
borders("DJI","ER",113).
borders("DJI","ETH",337).
borders("DJI","SP",58).
borders("ER","SUD",605).
borders("ER","ETH",912).
borders("ETH","SUD",1606).
borders("SP","ETH",1626).
borders("EAK","EAT",769).
borders("EAK","SUD",232).
borders("EAK","ETH",830).
borders("EAK","SP",682).
borders("WAG","SN",740).
borders("SN","RMM",419).
borders("SN","RIM",813).
borders("SN","RG",330).
borders("GNB","RG",386).
borders("GNB","SN",338).
borders("WAL","RG",652).
borders("WAL","LB",306).
borders("EAU","ZRE",765).
borders("EAU","EAT",396).
borders("EAU","SUD",435).
borders("EAU","EAK",933).
borders("LS","RSA",909).
borders("MW","Z",837).
borders("MW","EAT",475).
borders("MW","MOC",1569).
borders("MOC","RSA",491).
borders("MOC","EAT",756).
borders("SD","RSA",430).
borders("SD","MOC",105).

% 304 output(s) printed 

% Answer to query : ?- continent(Name,Area).

continent("Europe",9562488).
continent("Asia",45095292).
continent("Australia/Oceania",8503474).
continent("Africa",30254708).
continent("America",39872000).

% 5 output(s) printed 

% Answer to query : ?- encompasses(Code,Continent,Perc).

encompasses("AL","Europe",100).
encompasses("GR","Europe",100).
encompasses("MK","Europe",100).
encompasses("YU","Europe",100).
encompasses("AND","Europe",100).
encompasses("F","Europe",100).
encompasses("E","Europe",100).
encompasses("A","Europe",100).
encompasses("CZ","Europe",100).
encompasses("D","Europe",100).
encompasses("H","Europe",100).
encompasses("I","Europe",100).
encompasses("FL","Europe",100).
encompasses("SK","Europe",100).
encompasses("SLO","Europe",100).
encompasses("CH","Europe",100).
encompasses("BY","Europe",100).
encompasses("LV","Europe",100).
encompasses("LT","Europe",100).
encompasses("PL","Europe",100).
encompasses("UA","Europe",100).
encompasses("R","Europe",20).
encompasses("R","Asia",80).
encompasses("B","Europe",100).
encompasses("L","Europe",100).
encompasses("NL","Europe",100).
encompasses("BIH","Europe",100).
encompasses("HR","Europe",100).
encompasses("BG","Europe",100).
encompasses("RO","Europe",100).
encompasses("TR","Europe",32).
encompasses("TR","Asia",68).
encompasses("DK","Europe",100).
encompasses("EW","Europe",100).
encompasses("SF","Europe",100).
encompasses("N","Europe",100).
encompasses("S","Europe",100).
encompasses("MC","Europe",100).
encompasses("V","Europe",100).
encompasses("IS","Europe",100).
encompasses("IRL","Europe",100).
encompasses("RSM","Europe",100).
encompasses("M","Europe",100).
encompasses("MD","Europe",100).
encompasses("P","Europe",100).
encompasses("GB","Europe",100).
encompasses("AFG","Asia",100).
encompasses("TJ","Asia",100).
encompasses("IR","Asia",100).
encompasses("PK","Asia",100).
encompasses("TAD","Asia",100).
encompasses("TM","Asia",100).
encompasses("UZB","Asia",100).
encompasses("ARM","Asia",100).
encompasses("GE","Asia",100).
encompasses("AZ","Asia",100).
encompasses("BRN","Asia",100).
encompasses("BD","Asia",100).
encompasses("MYA","Asia",100).
encompasses("IND","Asia",100).
encompasses("BHT","Asia",100).
encompasses("BRU","Asia",100).
encompasses("MAL","Asia",100).
encompasses("LAO","Asia",100).
encompasses("THA","Asia",100).
encompasses("K","Asia",100).
encompasses("VN","Asia",100).
encompasses("KAZ","Asia",100).
encompasses("NOK","Asia",100).
encompasses("KGZ","Asia",100).
encompasses("MNG","Asia",100).
encompasses("NEP","Asia",100).
encompasses("CY","Europe",100).
encompasses("IL","Asia",100).
encompasses("ET","Asia",10).
encompasses("ET","Africa",90).
encompasses("RI","Asia",100).
encompasses("PNG","Australia/Oceania",100).
encompasses("IRQ","Asia",100).
encompasses("JOR","Asia",100).
encompasses("KWT","Asia",100).
encompasses("SA","Asia",100).
encompasses("SYR","Asia",100).
encompasses("RL","Asia",100).
encompasses("J","Asia",100).
encompasses("ROK","Asia",100).
encompasses("MV","Asia",100).
encompasses("OM","Asia",100).
encompasses("UAE","Asia",100).
encompasses("YE","Asia",100).
encompasses("RP","Asia",100).
encompasses("Q","Asia",100).
encompasses("SGP","Asia",100).
encompasses("CL","Asia",100).
encompasses("RC","Asia",100).
encompasses("AG","America",100).
encompasses("BS","America",100).
encompasses("BDS","America",100).
encompasses("BZ","America",100).
encompasses("GCA","America",100).
encompasses("MEX","America",100).
encompasses("CDN","America",100).
encompasses("USA","America",100).
encompasses("CR","America",100).
encompasses("NIC","America",100).
encompasses("PA","America",100).
encompasses("C","America",100).
encompasses("WD","America",100).
encompasses("DOM","America",100).
encompasses("RH","America",100).
encompasses("ES","America",100).
encompasses("HCA","America",100).
encompasses("WG","America",100).
encompasses("JA","America",100).
encompasses("CO","America",100).
encompasses("KN","America",100).
encompasses("WL","America",100).
encompasses("WV","America",100).
encompasses("TT","America",100).
encompasses("AUS","Australia/Oceania",100).
encompasses("FJI","Australia/Oceania",100).
encompasses("KIR","Australia/Oceania",100).
encompasses("MH","Australia/Oceania",100).
encompasses("FSM","Australia/Oceania",100).
encompasses("NAU","Australia/Oceania",100).
encompasses("NCA","Australia/Oceania",100).
encompasses("NZ","Australia/Oceania",100).
encompasses("PAL","Australia/Oceania",100).
encompasses("SLB","Australia/Oceania",100).
encompasses("TO","Australia/Oceania",100).
encompasses("TUV","Australia/Oceania",100).
encompasses("VU","Australia/Oceania",100).
encompasses("WS","Australia/Oceania",100).
encompasses("RA","America",100).
encompasses("BOL","America",100).
encompasses("BR","America",100).
encompasses("RCH","America",100).
encompasses("PY","America",100).
encompasses("ROU","America",100).
encompasses("PE","America",100).
encompasses("FGU","America",100).
encompasses("GUY","America",100).
encompasses("SME","America",100).
encompasses("YV","America",100).
encompasses("EC","America",100).
encompasses("DZ","Africa",100).
encompasses("LAR","Africa",100).
encompasses("RMM","Africa",100).
encompasses("RIM","Africa",100).
encompasses("MA","Africa",100).
encompasses("RN","Africa",100).
encompasses("TN","Africa",100).
encompasses("WSA","Africa",100).
encompasses("ANG","Africa",100).
encompasses("RCB","Africa",100).
encompasses("NAM","Africa",100).
encompasses("ZRE","Africa",100).
encompasses("Z","Africa",100).
encompasses("BEN","Africa",100).
encompasses("BF","Africa",100).
encompasses("WAN","Africa",100).
encompasses("RT","Africa",100).
encompasses("RB","Africa",100).
encompasses("RSA","Africa",100).
encompasses("ZW","Africa",100).
encompasses("CI","Africa",100).
encompasses("GH","Africa",100).
encompasses("BI","Africa",100).
encompasses("RWA","Africa",100).
encompasses("EAT","Africa",100).
encompasses("CAM","Africa",100).
encompasses("RCA","Africa",100).
encompasses("TCH","Africa",100).
encompasses("GQ","Africa",100).
encompasses("G","Africa",100).
encompasses("CV","Africa",100).
encompasses("SUD","Africa",100).
encompasses("COM","Africa",100).
encompasses("RG","Africa",100).
encompasses("LB","Africa",100).
encompasses("DJI","Africa",100).
encompasses("ER","Africa",100).
encompasses("ETH","Africa",100).
encompasses("SP","Africa",100).
encompasses("EAK","Africa",100).
encompasses("WAG","Africa",100).
encompasses("SN","Africa",100).
encompasses("GNB","Africa",100).
encompasses("WAL","Africa",100).
encompasses("EAU","Africa",100).
encompasses("LS","Africa",100).
encompasses("RM","Africa",100).
encompasses("MW","Africa",100).
encompasses("MOC","Africa",100).
encompasses("MS","Africa",100).
encompasses("SD","Africa",100).
encompasses("STP","Africa",100).
encompasses("SY","Africa",100).

% 198 output(s) printed 

% Answer to query : ?- city(Name,Country,Province,Pop,Long,Lat).

city("Luxembourg","L","Luxembourg",76600,#6.08,#49.4).
city("Monaco","MC","Monaco",1234,#7.2,#43.7).
city("San Marino","RSM","San Marino",4416,#12.2,#43.5).
city("Armenia","CO","Quindio",220303,null,null).
city("Kuwait","KWT","Kuwait",167768,#47.3,#29.3).
city("Singapore","SGP","Singapore",2558000,#103.833,#1.3).
city("Liberia","CR","Guanacaste",36400,null,null).
city("Djibouti","DJI","Djibouti",null,#43.1,#11.5).
city("Tirane","AL","Albania",192000,#10.7,#46.2).
city("Athens","GR","Greece",885737,#23.7167,#37.9667).
city("Skopje","MK","Macedonia",null,null,null).
city("Belgrade","YU","Serbia and Montenegro",1407073,#20.4667,#44.8).
city("Paris","F","Ile de France",2152423,#2.48333,#48.8167).
city("Madrid","E","Madrid",3041101,#-3.68333,#40.4167).
city("Vienna","A","Vienna",1583000,#16.3667,#48.25).
city("Berlin","D","Berlin",3472009,#13.3,#52.45).
city("Budapest","H","Budapest (munic.)",2016000,#19.0333,#47.5167).
city("Rome","I","Lazio",2791354,#12.6,#41.8).
city("Vaduz","FL","Liechtenstein",27714,#9.3,#47.08).
city("Bratislava","SK","Slovakia",null,null,null).
city("Ljubljana","SLO","Slovenia",null,null,null).
city("Minsk","BY","Belarus",1540000,#27.55,#53.9).
city("Riga","LV","Latvia",900000,#14.1,57).
city("Vilnius","LT","Lithuania",566000,#25.3,#54.4).
city("Warsaw","PL","Warszwaskie",1655000,#21.0333,#52.2167).
city("Kiev","UA","Kyyivska",2616000,#30.5,#50.45).
city("Moscow","R","Moskva",8717000,#37.6667,#55.7667).
city("Brussels","B","Brabant",951580,#4.35,#50.8).
city("Amsterdam","NL","Noord Holland",1101407,#4.91667,#52.3833).
city("Sarajevo","BIH","Bosnia and Herzegovina",null,null,null).
city("Zagreb","HR","Croatia",null,null,null).
city("Sofia","BG","Bulgaria",1300000,#23.3333,#42.7).
city("Ankara","TR","Ankara",2782200,#32.8833,#39.95).
city("Copenhagen","DK","Denmark",1358540,#12.55,#55.6833).
city("Tallinn","EW","Estonia",478000,25,#59.3).
city("Helsinki","SF","Uusimaa",487428,#24.95,#60.1667).
city("Oslo","N","Oslo",449337,#10.7333,#59.9333).
city("Stockholm","S","Stockholm",711119,#18.0667,#59.35).
city("Reykjavik","IS","Iceland",84000,#21.9333,#64.1333).
city("Dublin","IRL","Ireland",502337,#-6.35,#53.3667).
city("Valletta","M","Malta",9302,#14.2,#35.08).
city("Chisinau","MD","Moldova",663000,#28.1,#47.2).
city("Lisbon","P","Lisbon",807937,#-9.13333,#38.7167).
city("Kabul","AFG","Afghanistan",892000,#69.2,#34.5833).
city("Tehran","IR","Tehran",6750043,#51.4167,#35.6833).
city("Tashkent","UZB","Toshkent",2106000,#69.3,#41.3333).
city("Yerevan","ARM","Armenia",1200000,#44.4,#40.1).
city("Tbilisi","GE","Georgia",1200000,#44.8,#41.7167).
city("Baku","AZ","Azerbaijan",1740000,#49.5,#40.3).
city("Manama","BRN","Bahrain",145000,#50.5,26).
city("Rangoon","MYA","Yangon",2513000,#96.15,#16.7833).
city("New Delhi","IND","Delhi",7206704,#77.2,#28.5833).
city("Thimphu","BHT","Bhutan",20000,90,27).
city("Kuala Lumpur","MAL","Fed. Terr. of Kuala Lumpur",1145075,#101.7,#3.11667).
city("Vientiane","LAO","Laos",377409,#102.45,18).
city("Bangkok","THA","Thailand",5876000,#100.5,#13.7333).
city("Phnom Penh","K","Cambodia",400000,#104.85,#11.55).
city("Hanoi","VN","Vietnam",3056146,#105.867,#21.0333).
city("Bishkek","KGZ","Kyrgyzstan",630000,#74.5,#42.4).
city("Ulaanbaatar","MNG","Mongolia",479500,107,48).
city("Kathmandu","NEP","Nepal",393494,#85.25,#27.45).
city("Nicosia","CY","Cyprus",161100,#33.2,#35.4).
city("Jerusalem","IL","Central",468900,#35.2167,#31.7833).
city("Cairo","ET","El Qahira (munic.)",6053000,#31.3333,#29.8667).
city("Baghdad","IRQ","Baghdad",4478000,#44.4,#33.3333).
city("Amman","JOR","Jordan",777500,#35.95,#31.95).
city("Riyadh","SA","Saudi Arabia",1250000,#46.7,#24.65).
city("Damascus","SYR","Syria",1500000,#36.3333,#33.5).
city("Beirut","RL","Lebanon",702000,#35.4667,#33.9).
city("Tokyo","J","Tokyo",7843000,#139.767,#35.6833).
city("Male","MV","Maldives",46334,72,2).
city("Muscat","OM","Oman",30000,#58.5,#23.5).
city("Sanaa","YE","Yemen",427185,#44.11,#15.21).
city("Manila","RP","Philippines",1655000,#120.983,#14.5833).
city("Doha","Q","Qatar",217294,51,25).
city("Colombo","CL","Sri Lanka",643000,#79.8667,#6.9).
city("Colombo","BR","Parana",153583,null,null).
city("Taipei","RC","Taiwan",2626138,#121.517,#25.0333).
city("Nassau","BS","Bahamas",140000,#-77.35,#25.0833).
city("Bridgetown","BDS","Barbados",10000,#-59.4,#13.1).
city("Belmopan","BZ","Belize",3000,#-88.5,#17.1).
city("Guatemala City","GCA","Guatemala",823301,#-90.5167,#14.6167).
city("Mexico City","MEX","Distrito Federal",9815795,#-99.2,#19.4).
city("Hamilton","CDN","Ontario",318499,#-79.9,#43.2667).
city("Managua","NIC","Nicaragua",1195000,#-86.25,#12.1667).
city("Panama City","PA","Panama",594800,#-79.55,#8.96667).
city("Havana","C","Ciudad de la Habana",2241000,#-82.35,#23.1333).
city("Roseau","WD","Dominica",11000,#-61.3,#15.2).
city("Port-au-Prince","RH","Haiti",800000,#-72.2,#18.4).
city("Tegucigalpa","HCA","Francisco Morazan",670100,#-87.2167,#14.1).
city("Kingston","GB","Surrey",null,null,null).
city("Kingston","JA","Jamaica",101000,#-76.5,18).
city("Kingston","AUS","Norfolk Island",null,null,null).
city("Plymouth","GB","Devon",255800,null,null).
city("Bogota","CO","Santa Fe de Bogota, DC",5237635,#-74.0833,#4.6).
city("Basseterre","KN","Saint Kitts and Nevis",14700,#-62.3,17).
city("Castries","WL","Saint Lucia",49000,#-60.5,14).
city("Kingstown","WV","Saint Vincent and the Grenadines",33694,#-61.1,#13.1).
city("Port-of-Spain","TT","Trinidad and Tobago",150000,#-61.2,#10.4).
city("Suva","FJI","Fiji",69481,178,-19).
city("Tarawa","KIR","Kiribati",2100,175,0).
city("Majuro","MH","Marshall Islands",7600,170,10).
city("Kolonia","FSM","Micronesia",5500,168,10).
city("Noumea","NCA","New Caledonia",null,null,null).
city("Wellington","NZ","New Zealand",352030,#174.767,#-41.2833).
city("Koror","PAL","Palau",7685,135,8).
city("Honiara","SLB","Solomon Islands",26000,160,-10).
city("Nukualofa","TO","Tonga",28899,175,20).
city("Funafuti","TUV","Tuvalu",2120,178,-8).
city("Port-Vila","VU","Vanuatu",15759,167,-18).
city("Apia","WS","Western Samoa",36000,-171,-12).
city("Buenos Aires","RA","Distrito Federal",2988006,#-58.4833,#-34.5833).
city("La Paz","MEX","Baja California Sur",137641,#-100.5,#24.1).
city("La Paz","HCA","La Paz",null,null,null).
city("La Paz","BOL","Bolivia",953400,#-68.15,#-16.5).
city("Brasilia","BR","Distrito Federal",1817001,#-47.9167,#-15.8667).
city("Santiago","PA","Veraguas",61000,null,null).
city("Santiago","RCH","Chile",4318000,#-70.7,#-33.45).
city("Asuncion","PY","Paraguay",729307,#-57.3,#-25.5).
city("Montevideo","ROU","Uruguay",1247000,#-56.2167,#-34.85).
city("Lima","PE","Lima",6321173,#-77.05,#-12.0833).
city("Cayenne","FGU","French Guiana",38155,#-52.45,#4.93333).
city("Georgetown","GUY","Guyana",170000,#-58.2,#6.83333).
city("Paramaribo","SME","Suriname",150000,#-55.15,#5.81667).
city("Caracas","YV","Distrito Federal",1822465,#-66.9333,#10.5).
city("Quito","EC","Ecuador",1200000,#-78.5333,#-0.216667).
city("Algiers","DZ","Algeria",1507241,#30.05,#36.7667).
city("Tripoli","LAR","Libya",null,#22.3,#37.3).
city("Bamako","RMM","Mali",null,#-7.6,#12.3).
city("Nouakchott","RIM","Mauritania",null,-16,18).
city("Niamey","RN","Niger",null,#2.1,#13.2).
city("Tunis","TN","Tunisia",null,#10.2,#36.7833).
city("Luanda","ANG","Luanda",null,#13.2,#-8.6).
city("Brazzaville","RCB","Congo",null,#15.25,#-4.25).
city("Windhoek","NAM","Namibia",null,#17.2,#-22.3).
city("Porto-Novo","BEN","Benin",null,#2.4,#6.3).
city("Ouagadougou","BF","Burkina Faso",null,-2,12).
city("Abuja","WAN","Nigeria",null,null,null).
city("Lome","RT","Togo",null,#1.1,#6.1).
city("Gaborone","RB","Botswana",null,#25.6,#-24.5).
city("Harare","ZW","Zimbabwe",null,#31.2,#-17.5).
city("Yamoussoukro","CI","Cote dIvoire",null,null,null).
city("Accra","GH","Ghana",867459,#-0.2,#5.55).
city("Bujumbura","BI","Burundi",null,29,-4).
city("Kigali","RWA","Rwanda",null,#29.6,#-1.6).
city("Dar es Salaam","EAT","Daressalam",1360850,#39.3,#-6.83333).
city("Bangui","RCA","Central African Republic",null,#18.5,#4.3).
city("NDjamena","TCH","Chad",null,15,12).
city("Malabo","GQ","Equatorial Guinea",33000,9,4).
city("Libreville","G","Gabon",null,#9.3,#0.3).
city("Praia","CV","Cape Verde",null,-23,16).
city("Khartoum","SUD","al Khartum",924505,#32.55,#15.6167).
city("Moroni","COM","Comoros",null,43,-12).
city("Conakry","RG","Guinea",null,#-13.5,#9.3).
city("Monrovia","LB","Liberia",null,#-10.8,#6.3).
city("Asmara","ER","Eritrea",null,#38.9167,#15.2833).
city("Addis Ababa","ETH","Ethiopia",2316400,#38.75,#9).
city("Mogadishu","SP","Somalia",null,#45.3,#2.2).
city("Nairobi","EAK","Nairobi",2000000,#36.8,#-1.26667).
city("Banjul","WAG","Gambia",null,14,#13.5).
city("Dakar","SN","Dakar",1382000,#-17.4833,#14.7).
city("Bissau","GNB","Guinea-Bissau",null,#-15.5,#11.5).
city("Freetown","WAL","Sierra Leone",null,#13.1,#8.2).
city("Kampala","EAU","Uganda",null,#32.3,#0.2).
city("Maseru","LS","Lesotho",75000,#27.3,#-29.2).
city("Lilongwe","MW","Malawi",null,34,-14).
city("Mbabane","SD","Swaziland",null,#31.1,-25).
city("Victoria","CDN","British Columbia",263180,#-123.317,#48.4167).
city("Victoria","SY","Seychelles",null,52,-2).
city("Shkoder","AL","Albania",62000,#19.2,#42.2).
city("Durres","AL","Albania",60000,#19.3,#41.2).
city("Vlore","AL","Albania",56000,#19.3,#40.3).
city("Elbasan","AL","Albania",53000,#20.1,#41.1).
city("Korce","AL","Albania",52000,#20.5,#40.4).
city("Thessaloniki","GR","Greece",406413,#22.95,#40.6167).
city("Strasbourg","F","Alsace",252338,#7.76667,#48.5833).
city("Nantes","F","Pays de la Loire",244995,#-1.56667,#47.25).
city("Nice","F","Provence Cote dAzur",342439,#7.26667,#43.7).
city("Lyon","F","Rhone Alpes",415487,#4.78333,#45.7).
city("Ajaccio","F","Corse",53500,#8.4,#41.4).
city("Poitiers","F","Poitou Charentes",79300,#0.2,#46.4).
city("Barcelona","E","Catalonia",1630867,#2.15,#41.4).
city("Barcelona","YV","Anzoategui",221792,null,null).
city("Valencia","E","Valencia",764293,#-0.383333,#39.4667).
city("Valencia","YV","Carabobo",903621,null,null).
city("Toledo","E","Castile La Mancha",null,null,null).
city("Toledo","USA","Ohio",317606,#-83.8,#41.6).
city("Merida","E","Estremadura",null,null,null).
city("Merida","MEX","Yucatan",523422,#-89.6333,#20.9667).
city("Merida","YV","Merida",170902,null,null).
city("Eisenstadt","A","Burgenland",10102,16,48).
city("Klagenfurt","A","Carinthia",87321,#14.21,#46.38).
city("Bregenz","A","Vorarlberg",null,#9.45,#47.3).
city("Hamburg","D","Hamburg",1705872,#9.96667,#53.55).
city("Hannover","D","Niedersachsen",525763,#9.66667,#52.4).
city("Munich","D","Bayern",1244676,#11.5667,#48.15).
city("Mannheim","D","Baden Wurttemberg",316223,#8.46667,#49.5667).
city("Saarbruecken","D","Saarland",183945,#6.6,#49.1).
city("Muenchen","D","Bayern",1290079,#11.3,#48.1).
city("Bekescaba","H","Bekes",null,null,null).
city("Hodmezovasarhely","H","Csongrad",null,null,null).
city("Eger","H","Heves",null,null,null).
city("Tatabanya","H","Komarom Esztergom",null,null,null).
city("Salgotarjan","H","Nograd",null,null,null).
city("Kaposvar","H","Somogy",null,null,null).
city("Szolnok","H","Szolnok",null,null,null).
city("Szekszard","H","Tolna",null,null,null).
city("Szombathely","H","Vas",null,null,null).
city("Veszprem","H","Veszprem",null,null,null).
city("Zalaegerszeg","H","Zala",null,null,null).
city("Milan","I","Lombardia",1432184,#9.28333,#45.45).
city("Aosta","I","Valle dAosta",null,#7.22,#45.45).
city("LAquila","I","Abruzzo",null,#13.2,#42.24).
city("Campobasso","I","Molise",null,#14.5,#41.5).
city("Potenza","I","Basilicata",null,#15.47,#40.4).
city("Aarau","CH","AG",null,null,null).
city("Herisau","CH","AR",null,null,null).
city("Appenzell","CH","AI",null,null,null).
city("Liestal","CH","BL",null,null,null).
city("Fribourg","CH","FR",null,null,null).
city("Glarus","CH","GL",null,null,null).
city("Chur","CH","GR",null,null,null).
city("Delemont","CH","JU",null,null,null).
city("Neuchatel","CH","NE",null,null,null).
city("Stans","CH","NW",null,null,null).
city("Sarnen","CH","OW",null,null,null).
city("Schaffhausen","CH","SH",null,null,null).
city("Schwyz","CH","SZ",null,null,null).
city("Solothurn","CH","SO",null,null,null).
city("Frauenfeld","CH","TG",null,null,null).
city("Bellinzona","CH","TI",null,null,null).
city("Altdorf","CH","UR",null,null,null).
city("Sion","CH","VS",null,null,null).
city("Zug","CH","ZG",null,null,null).
city("Krakow","PL","Krakowskie",748000,#19.95,#50.0667).
city("Chelm","PL","Chelmskie",null,null,null).
city("Ciechanow","PL","Ciechanowskie",null,null,null).
city("Konin","PL","Koninskie",null,null,null).
city("Krosno","PL","Krosnienskie",null,null,null).
city("Leszno","PL","Leszczynskie",null,null,null).
city("Lomza","PL","Lomzynskie",null,null,null).
city("Ostroleka","PL","Ostroleckie",null,null,null).
city("Pila","PL","Pilskie",null,null,null).
city("Przemysl","PL","Przemyskie",null,null,null).
city("Siedlce","PL","Siedleckie",null,null,null).
city("Sieradz","PL","Sieradzkie",null,null,null).
city("Skierniewice","PL","Skierniewickie",null,null,null).
city("Slupsk","PL","Slupskie",null,null,null).
city("Suwalki","PL","Suwalskie",null,null,null).
city("Tarnobrzeg","PL","Tarnobrzeskie",null,null,null).
city("Zamosc","PL","Zamojskie",null,null,null).
city("Kharkiv","UA","Kharkivska",1618000,#36.2333,50).
city("Odesa","UA","Odeska",1106000,#30.7333,#46.4833).
city("Uzhhorod","UA","Zakarpatska",null,null,null).
city("Arkhangelsk","R","Arkhangelskaya oblast",374000,#40.5333,#64.55).
city("Kaliningrad","R","Kaliningradskaya oblast",419000,#20.5,#54.7167).
city("Volgograd","R","Volgogradskaya oblast",1003000,#44.5167,#48.7).
city("Krasnoyarsk","R","Krasnoyarskiy kray",869000,#92.95,#56.0167).
city("Vladivostok","R","Primorsky kray",632000,#131.917,#43.1167).
city("Elista","R","Rep. of Kalmykiya",null,null,null).
city("Nazran","R","Rep. of Ingushetiya",null,null,null).
city("Kyzyl","R","Rep. of Tyva",null,null,null).
city("Birobidzhan","R","Yevreyskaya avt. oblast",null,null,null).
city("Anadyr","R","Chukotsky ao",null,null,null).
city("Mons","B","Hainaut",90720,#3.6,#50.3).
city("Hasselt","B","Limburg",65348,#5.2,#50.7).
city("Arlon","B","Luxembourg",23150,#5.5,#49.4).
city("Brugge","B","West Flanders",null,null,null).
city("Bruegge","B","West Flanders",117799,#2.08,#51.1).
city("Leeuwarden","NL","Friesland",null,null,null).
city("Assen","NL","Drenthe",null,null,null).
city("Zwolle","NL","Overijssel",null,null,null).
city("Lelystad","NL","Flevoland",null,null,null).
city("Middelburg","NL","Zeeland",null,null,null).
city("Bistrita","RO","Bistrita Nasaud",null,null,null).
city("Botosani","RO","Botosani",null,null,null).
city("Calarasi","RO","Calarasi",null,null,null).
city("Resita","RO","Caras Severin",null,null,null).
city("Tirgoviste","RO","Dimbovita",null,null,null).
city("Giurgiu","RO","Giurgiu",null,null,null).
city("Deva","RO","Hunedoara",null,null,null).
city("Slobozia","RO","Ialomita",null,null,null).
city("Slatina","RO","Olt",null,null,null).
city("Ploiesti","RO","Prahova",null,null,null).
city("Zalau","RO","Salaj",null,null,null).
city("Suceava","RO","Suceava",null,null,null).
city("Alexandria","RO","Teleorman",null,null,null).
city("Alexandria","ET","El Iskandariya (munic.)",2917000,30,31).
city("Alexandria","USA","Virginia",117586,null,null).
city("Tulcea","RO","Tulcea",null,null,null).
city("Vaslui","RO","Vaslui",null,null,null).
city("Focsani","RO","Vrancea",null,null,null).
city("Adana","TR","Adana",1047300,#35.3,#36.9833).
city("Istanbul","TR","Istanbul",7615500,#28.8333,#40.9667).
city("Izmir","TR","Izmir",1985300,#27.1667,#38.4333).
city("Afyon","TR","Afyon",null,null,null).
city("Agri","TR","Agri",null,null,null).
city("Aksaray","TR","Aksaray",null,null,null).
city("Amasya","TR","Amasya",null,null,null).
city("Artvin","TR","Artvin",null,null,null).
city("Bayburt","TR","Bayburt",null,null,null).
city("Bilecik","TR","Bilecik",null,null,null).
city("Bingol","TR","Bingol",null,null,null).
city("Bitlis","TR","Bitlis",null,null,null).
city("Bolu","TR","Bolu",null,null,null).
city("Burdur","TR","Burdur",null,null,null).
city("Canakkale","TR","Canakkale",null,null,null).
city("Cankiri","TR","Cankiri",null,null,null).
city("Corum","TR","Corum",null,null,null).
city("Erzincan","TR","Erzincan",null,null,null).
city("Giresun","TR","Giresun",null,null,null).
city("Gumushane","TR","Gumushane",null,null,null).
city("Hakkari","TR","Hakkari",null,null,null).
city("Karaman","TR","Karaman",null,null,null).
city("Kars","TR","Kars",null,null,null).
city("Kastamonu","TR","Kastamonu",null,null,null).
city("Kirklareli","TR","Kirklareli",null,null,null).
city("Kirsehir","TR","Kirsehir",null,null,null).
city("Mardin","TR","Mardin",null,null,null).
city("Mugla","TR","Mugla",null,null,null).
city("Mus","TR","Mus",null,null,null).
city("Nevsehir","TR","Nevsehir",null,null,null).
city("Nigde","TR","Nigde",null,null,null).
city("Rize","TR","Rize",null,null,null).
city("Sakarya","TR","Sakarya",null,null,null).
city("Siirt","TR","Siirt",null,null,null).
city("Sinop","TR","Sinop",null,null,null).
city("Sirnak","TR","Sirnak",null,null,null).
city("Tekirdag","TR","Tekirdag",null,null,null).
city("Tokat","TR","Tokat",null,null,null).
city("Tunceli","TR","Tunceli",null,null,null).
city("Yozgat","TR","Yozgat",null,null,null).
city("Aarhus","DK","Denmark",194345,#10.1,#56.1).
city("Odense","DK","Denmark",136803,#10.2,#55.3).
city("Aalborg","DK","Denmark",113865,10,57).
city("Esbjerg","DK","Denmark",70975,#8.3,#55.3).
city("Randers","DK","Denmark",55780,10,#56.3).
city("Tampere","SF","Haeme",170097,#23.5,#61.3).
city("Espoo","SF","Uusimaa",160480,#24.3,#60.2).
city("Lahti","SF","Haeme",94234,#25.2,#60.5).
city("Pori","SF","Turku-Pori",77763,#21.2,#61.3).
city("Lappeenrenta","SF","Kymi",53922,#26.5,#60.5).
city("Hammerfest","N","Finnmark",7089,#23.4,#70.4).
city("Svolvaer","N","Nordland",4500,#14.3,#68.2).
city("Narvik","N","Nordland",18754,#17.3,#68.3).
city("Vanersborg","S","Alvsborg",35804,#12.2,#58.2).
city("Karlskrona","S","Blekinge",59007,#15.3,#56.1).
city("Gavle","S","Gavleborg",87431,17,#60.4).
city("Visby","S","Gotland",20000,#18.2,#57.3).
city("Halmstad","S","Halland",77601,13,#56.4).
city("Ostersund","S","Jamtland",56662,#14.3,#63.2).
city("Kalmar","S","Kalmar",54554,#16.3,#56.4).
city("Falun","S","Kopparberg",51900,#15.3,#60.3).
city("Kristianstad","S","Kristianstad",69941,14,56).
city("Vaxjo","S","Kronoberg",66925,15,#56.5).
city("Lulea","S","Norrbotten",66526,#22.1,#65.4).
city("Mariestad","S","Skaraborg",24255,#13.5,#58.4).
city("Nykoping","S","Sodermanland",64199,17,#58.5).
city("Karlstad","S","Varmland",74669,#13.3,#59.3).
city("Umea","S","Vasterbotten",85698,#20.1,#63.5).
city("Harnosand","S","Vasternorrland",27287,18,#62.4).
city("Jokkmokk","S","Norrbotten",6822,#19.5,#66.1).
city("Keflavik","IS","Iceland",6600,#-22.5,64).
city("Hafnarfjoerdur","IS","Iceland",12000,-22,64).
city("Akureyri","IS","Iceland",13000,#18.3,#65.4).
city("Truro","GB","Cornwall / Isles of Scilly",null,null,null).
city("Matlock","GB","Derbyshire",null,null,null).
city("Dorchester","GB","Dorset",null,null,null).
city("Durham","GB","Durham",null,null,null).
city("Durham","USA","North Carolina",149799,#-78.7833,#35.8667).
city("Lewes","GB","East Sussex",null,null,null).
city("Glouchester","GB","Gloucestershire",null,null,null).
city("Glouchester","CDN","Ontario",101677,null,null).
city("Worcester","GB","Hereford and Worcester",null,null,null).
city("Worcester","USA","Massachusetts",166350,#-71.8667,#42.2667).
city("Hertford","GB","Hertfordshire",null,null,null).
city("Hull","GB","Humberside",null,null,null).
city("Leichester","GB","Leicestershire",null,null,null).
city("Lincoln","GB","Lincolnshire",null,null,null).
city("Lincoln","USA","Nebraska",209192,#-96.4,#40.5).
city("Newcastle","GB","Tyne and Wear",null,null,null).
city("Newcastle","AUS","New South Wales",429000,null,null).
city("Northallerton","GB","North Yorkshire",null,null,null).
city("Shrewsbury","GB","Shropshire",null,null,null).
city("Taunton","GB","Somerset",null,null,null).
city("Trowbridge","GB","Wiltshire",null,null,null).
city("Stirling","GB","Central",null,null,null).
city("Dumfries","GB","Dumfries and Galloway",null,null,null).
city("Glenrothes","GB","Fife",null,null,null).
city("Inverness","GB","Highland",null,null,null).
city("Llangefni","GB","Anglesey",null,null,null).
city("Bridgend","GB","Bridgend",null,null,null).
city("Carmarthen","GB","Carmarthenshire",null,null,null).
city("Aberystwyth","GB","Ceredigion",null,null,null).
city("Ruthin","GB","Denbighshire",null,null,null).
city("Mold","GB","Flintshire",null,null,null).
city("Caernarfon","GB","Gwynedd",null,null,null).
city("Cwmbran","GB","Monmouthshire",null,null,null).
city("Haverfordwest","GB","Pembrokeshire",null,null,null).
city("Rhondda","GB","Rhondda Cynon Taff",null,null,null).
city("Pontypool","GB","Torfaen",null,null,null).
city("Barry","GB","Vale of Glamorgan",null,null,null).
city("Wrexham","GB","Wrexham",null,null,null).
city("Shanghai","TJ","Shanghai (munic.)",7830000,#121.433,#31.2).
city("Xi","TJ","Shaanxi",null,null,null).
city("Yasuj","IR","Boyer Ahmad e Kohkiluyeh",null,null,null).
city("Bushehr","IR","Bushehr",null,null,null).
city("Semnan","IR","Semnan",null,null,null).
city("Lahore","PK","Pakistan",5085000,#74.3333,#31.5833).
city("Karachi","PK","Pakistan",9863000,#66.9833,#24.8).
city("Khorugh","TAD","Badakhshoni Kuni",null,null,null).
city("Guliston","UZB","Sirdare",null,null,null).
city("Termiz","UZB","Surkhondare",null,null,null).
city("Chittagong","BD","Bangladesh",1599000,#91.8333,#22.35).
city("Mandalay","MYA","Mandalay",532900,#96.1,#21.9833).
city("Magway","MYA","Magway",null,null,null).
city("Sagaing","MYA","Sagaing",null,null,null).
city("Tavoy","MYA","Tanintharyi",null,null,null).
city("Hakha","MYA","Chin",null,null,null).
city("Myitkyina","MYA","Kachin",null,null,null).
city("Loikaw","MYA","Kayah",null,null,null).
city("Bangalore","IND","Karnataka",3302296,#77.6167,#12.95).
city("Calcutta","IND","West Bengal",4399819,#88.3333,#22.5333).
city("Madras","IND","Tamil Nadu",3841396,#80.25,#13.0667).
city("Nagpur","IND","Maharashtra",1624752,#79.1167,#21.15).
city("Itanagar","IND","Arunachal Pradesh",null,#93.4,#27.1).
city("Dispur","IND","Assam",null,#91.5,26).
city("Panaji","IND","Goa",null,74,#15.4).
city("Gandhinagar","IND","Gujarat",null,#72.2,#23.2).
city("Simla","IND","Himachal Pradesh",null,#77.1,31).
city("Bombay","IND","Maharashtra",null,#72.8167,#18.9).
city("Imphal","IND","Manipur",null,94,#24.5).
city("Shillong","IND","Meghalaya",null,#91.5,#25.4).
city("Aijal","IND","Mizoram",null,#92.4,#23.4).
city("Kohima","IND","Nagaland",null,#94.1,#25.5).
city("Gangtok","IND","Sikkim",null,#88.3,#27.3).
city("Agartala","IND","Tripura",null,#91.2,#23.5).
city("Silvassa","IND","Dadra and Nagar Haveli",null,#73.1,#20.2).
city("Daman","IND","Daman and Diu",null,null,null).
city("Kavaratti","IND","Lakshadweep Is.",null,#72.4,#10.3).
city("Pondicherry","IND","Pondicherry",null,#79.5,12).
city("Jammu","IND","Jammu and Kashmir",null,#74.3,#32.2).
city("Kangar","MAL","Perlis",null,null,null).
city("Labuan","MAL","Fed. Terr. of Labuan",null,null,null).
city("Da Nang","VN","Vietnam",369734,#108.217,#16.0667).
city("Arqalyq","KAZ","Torghay",null,null,null).
city("Zhambyl","KAZ","Zhambyl",null,null,null).
city("Zhezkazghan","KAZ","Zhezkazghan",null,null,null).
city("Leninsk","KAZ","Leninsk (munic.)",null,null,null).
city("Ramla","IL","Central",null,null,null).
city("Haifa","IL","Haifa",null,null,null).
city("Nazareth","IL","North",null,null,null).
city("Tel Aviv","IL","Tel Aviv",null,#34.7833,#32.1).
city("Hurghada","ET","El Bahr el Ahmar",null,null,null).
city("Surabaya","RI","Indonesia",2483871,#112.717,#-7.21667).
city("Palembang","RI","Indonesia",1144279,#104.767,-3).
city("Medan","RI","Indonesia",1730752,#98.6833,#3.58333).
city("Mosul","IRQ","Ninawa",664221,#43.15,#36.3167).
city("Samarra","IRQ","Salah ad Din",null,null,null).
city("Dahuk","IRQ","Dahuk",null,null,null).
city("Jeddah","SA","Saudi Arabia",null,null,null).
city("Aleppo","SYR","Syria",976727,36,36).
city("Homs","SYR","Syria",354508,36,35).
city("Sapporo","J","Hokkaido",1748000,#141.35,#43.0667).
city("Fukuoka","J","Fukuoka",1273000,#130.45,#33.5833).
city("Aomori","J","Aomori",null,null,null).
city("Morioka","J","Iwate",null,null,null).
city("Akita","J","Akita",null,null,null).
city("Yamagata","J","Yamagata",null,null,null).
city("Fukushima","J","Fukushima",null,null,null).
city("Mito","J","Ibaraki",null,null,null).
city("Utsonomiya","J","Tochigi",null,null,null).
city("Maebashi","J","Gumma",null,null,null).
city("Urawa","J","Saitama",null,null,null).
city("Niigata","J","Niigata",null,null,null).
city("Toyama","J","Toyama",null,null,null).
city("Kanazawa","J","Ishikawa",null,null,null).
city("Fukui","J","Fukui",null,null,null).
city("Kofu","J","Yamanashi",null,null,null).
city("Nagano","J","Nagano",null,null,null).
city("Gifu","J","Gifu",null,null,null).
city("Shizuoka","J","Shizuoka",null,null,null).
city("Tsu","J","Mie",null,null,null).
city("Otsu","J","Shiga",null,null,null).
city("Nara","J","Nara",null,null,null).
city("Wakayama","J","Wakayama",null,null,null).
city("Tottori","J","Tottori",null,null,null).
city("Matsue","J","Shimane",null,null,null).
city("Okayama","J","Okayama",null,null,null).
city("Yamaguchi","J","Yamaguchi",null,null,null).
city("Tokushima","J","Tokushima",null,null,null).
city("Takamatsu","J","Kagawa",null,null,null).
city("Matsuyama","J","Ehime",null,null,null).
city("Kochi","J","Kochi",null,null,null).
city("Saga","J","Saga",null,null,null).
city("Nagasaki","J","Nagasaki",null,null,null).
city("Kumamoto","J","Kumamoto",null,null,null).
city("Oita","J","Oita",null,null,null).
city("Miyazaki","J","Miyazaki",null,null,null).
city("Kagoshima","J","Kagoshima",null,null,null).
city("Naha","J","Okinawa",null,null,null).
city("Rayyan","Q","Qatar",91996,#50.5,#25.5).
city("Wakrah","Q","Qatar",23682,#50.7,#25.2).
city("Tainan","RC","Taiwan",707658,#120.2,#22.95).
city("Ilan","RC","Taiwan",null,null,null).
city("Miaoli","RC","Taiwan",null,null,null).
city("Nantou","RC","Taiwan",null,null,null).
city("Makung","RC","Taiwan",null,null,null).
city("Hsinying","RC","Taiwan",null,null,null).
city("Touliu","RC","Taiwan",null,null,null).
city("Guadalajara","MEX","Jalisco",1650042,#-103.333,#20.6833).
city("Monterrey","MEX","Nuevo Leon",1068996,#-100.3,#25.6667).
city("Durango","MEX","Durango",182600,#-104.4,24).
city("Guanajuato","MEX","Guanajuato",36809,#-101.2,21).
city("Chilpancingo","MEX","Guerrero",36193,#-99.3,#17.3).
city("Chetumal","MEX","Quintana Roo",23685,#-88.2,#18.3).
city("Tlaxcala","MEX","Tlaxcala",116800,#-98.1,#19.2).
city("Jalapa","MEX","Veracruz",161400,-97,#19.3).
city("Fredericton","CDN","New Brunswick",45248,#-52.5,#45.5).
city("Yellowknife","CDN","Northwest Territories",8256,#-114.45,#62.4667).
city("Charlottetown","CDN","Prince Edward Island",24837,#-63.2,#46.2).
city("Whitehorse","CDN","Yukon Territory",13311,-135,#60.4).
city("Savannah","USA","Georgia",136262,#-81.2,#32.1333).
city("Juneau","USA","Alaska",19528,#-134.583,#58.3667).
city("Dover","GB","Kent",106100,null,null).
city("Dover","USA","Delaware",23512,#-75.4667,#39.1333).
city("Frankfort","USA","Kentucky",25973,#-84.5,#38.1).
city("Augusta","USA","Maine",21819,#-69.8,#44.3167).
city("Annapolis","USA","Maryland",31740,#-76.3,39).
city("Helena","USA","Montana",23938,-112,#46.6).
city("Concord","USA","California",114850,#-121.983,#37.9667).
city("Concord","USA","New Hampshire",30400,#-71.5,#43.2).
city("Trenton","USA","New Jersey",92124,#-74.7667,#40.2167).
city("Bismarck","USA","North Dakota",44485,#-100.5,#46.4).
city("Harrisburg","USA","Pennsylvania",53264,#-76.7667,#40.2).
city("Pierre","USA","South Dakota",11973,#-100.283,#44.3833).
city("Nashville","USA","Tennessee",455657,#-86.4,#36.1).
city("Montpelier","USA","Vermont",8241,#-72.4,#44.2).
city("Olympia","USA","Washington",27447,#-122.9,#46.9667).
city("Charleston","USA","West Virginia",63968,#-81.6,#38.3667).
city("Cheyenne","USA","Wyoming",47283,#-104.817,#41.15).
city("Hilo","USA","Hawaii",null,-165,20).
city("Ahuachapan","ES","El Salvador",null,null,null).
city("Sensuntepeque","ES","El Salvador",null,null,null).
city("Cojutepeque","ES","El Salvador",null,null,null).
city("Chalatenango","ES","El Salvador",null,null,null).
city("Zacatecoluca","ES","El Salvador",null,null,null).
city("Sonsonate","ES","El Salvador",null,null,null).
city("Usulutan","ES","El Salvador",null,null,null).
city("Trujillo","HCA","Colon",null,null,null).
city("Trujillo","PE","La Libertad",509312,null,null).
city("Trujillo","YV","Trujillo",null,null,null).
city("Yuscaran","HCA","El Paraiso",null,null,null).
city("Roatan","HCA","Islas de la Bahia",null,null,null).
city("Gracias","HCA","Lempira",null,null,null).
city("Ocotepeque","HCA","Ocotepeque",null,null,null).
city("Nacaome","HCA","Valle",null,null,null).
city("Yoro","HCA","Yoro",null,null,null).
city("Medellin","CO","Antioquia",1621356,#-75.6,#6.21667).
city("Cali","CO","Valle de Cauca",1718871,#-76.5,#3.41667).
city("Leticia","CO","Amazonas",null,null,null).
city("Arauca","CO","Arauca",null,null,null).
city("Yopal","CO","Casanare",null,null,null).
city("Mocoa","CO","Putumayo",null,null,null).
city("Mitu","CO","Vaupes",null,null,null).
city("Sydney","AUS","New South Wales",3657000,#151.2,#-33.8667).
city("Brisbane","AUS","Queensland",1302000,#153.033,#-27.4667).
city("Adelaide","AUS","South Australia",1050000,#138.583,#-34.9333).
city("Melbourne","AUS","Victoria",3081000,#144.967,#-37.8167).
city("Perth","AUS","Western Australia",1193000,#115.85,#-31.95).
city("Darwin","AUS","Northern Territory",68500,#130.85,#-12.4667).
city("Albany","USA","New York",103564,#-73.75,#42.65).
city("Albany","AUS","Western Australia",null,118,-35).
city("Auckland","NZ","New Zealand",952600,175,-36).
city("Cordoba","E","Andalusia",315948,null,null).
city("Cordoba","MEX","Veracruz",130695,null,null).
city("Cordoba","RA","Cordoba",1208713,#-64.25,#-31.3667).
city("Rawson","RA","Chubut",52000,-65,#-43.1).
city("Viedma","RA","Rio Negro",25000,#-63.1,#-40.5).
city("Ushuaia","RA","Tierra del Fuego",3000,#-68.3,#-54.5).
city("Sucre","BOL","Bolivia",110000,#-65.1,-19).
city("Cochabamba","BOL","Bolivia",304000,-66,#-17.1).
city("Sao Paulo","BR","Sao Paulo",9811776,#-46.6333,#-23.55).
city("Salvador","BR","Bahia",2209465,#-38.5,-13).
city("Belo Horizonte","BR","Minas Gerais",2091770,#-43.95,#-19.9333).
city("Fortaleza","BR","Ceara",1967365,#-38.55,#-3.76667).
city("Curitiba","BR","Parana",1465698,#-49.2833,#-25.4167).
city("Recife","BR","Pernambuco",1342877,#-34.8833,#-8.06667).
city("Porto Alegre","BR","Rio Grande do Sul",1286251,#-51.2167,#-30.0333).
city("Belem","BR","Para",1142258,#-48.4833,#-1.45).
city("Palmas","BR","Tocantins",null,null,null).
city("Valparaiso","RCH","Chile",267000,#-71.3,#-33.1).
city("Chachapoyas","PE","Amazonas",null,null,null).
city("Huaraz","PE","Ancash",null,null,null).
city("Abancay","PE","Apurimac",null,null,null).
city("Callao","PE","Callao",null,null,null).
city("Huancavelica","PE","Huancavelica",null,null,null).
city("Moquegua","PE","Moquegua",null,null,null).
city("Moyobamba","PE","San Martin",null,null,null).
city("Tumbes","PE","Tumbes",null,null,null).
city("Maracaibo","YV","Zulia",1249670,#-71.6,#10.65).
city("Tucupita","YV","Delta Amacuro",null,null,null).
city("Coro","YV","Falcon",null,null,null).
city("Guanare","YV","Portuguesa",null,null,null).
city("Guayaquil","EC","Ecuador",1300868,-80,-2).
city("Bengasi","LAR","Libya",null,20,32).
city("Casablanca","MA","Morocco",2940623,#-7.65,#33.5833).
city("Cabinda","ANG","Cabinda",null,null,null).
city("Uige","ANG","Uige",null,null,null).
city("Ndalatando","ANG","Cuanza Norte",null,null,null).
city("Sumbe","ANG","Cuanza Sul",null,null,null).
city("Malanje","ANG","Malanje",null,null,null).
city("Lucapa","ANG","Lunda Norte",null,null,null).
city("Saurimo","ANG","Lunda Sul",null,null,null).
city("Benguela","ANG","Benguela",null,null,null).
city("Huambo","ANG","Huambo",null,null,null).
city("Bie","ANG","Bie",null,null,null).
city("Luena","ANG","Moxico",null,null,null).
city("Menongue","ANG","Cuando Cubango",null,null,null).
city("Namibe","ANG","Namibe",null,null,null).
city("Lubango","ANG","Huila",null,null,null).
city("Caxito","ANG","Bengo",null,null,null).
city("Ngiva","ANG","Cunene",null,null,null).
city("Bandundu","ZRE","Bandundu",null,null,null).
city("Chipata","Z","Eastern",null,null,null).
city("Mansa","Z","Luapula",null,null,null).
city("Kasama","Z","Northern",null,null,null).
city("Solwezi","Z","Northwestern",null,null,null).
city("Livingstone","Z","Southern",null,null,null).
city("Mongu","Z","Western",null,null,null).
city("Lagos","WAN","Nigeria",5686000,#3.4,#6.45).
city("Nelspruit","RSA","South Africa",null,null,null).
city("Kimberley","RSA","South Africa",null,null,null).
city("Pietersburg","RSA","South Africa",null,null,null).
city("Mmabatho","RSA","South Africa",null,null,null).
city("Abidjan","CI","Cote dIvoire",null,#-3.6,#5.3).
city("Moshi","EAT","Kilimanjaro",null,null,null).
city("Lindi","EAT","Lindi",null,null,null).
city("Songea","EAT","Ruvuma",null,null,null).
city("Iringa","EAT","Iringa",null,null,null).
city("Singida","EAT","Singida",null,null,null).
city("Tabora","EAT","Tabora",null,null,null).
city("Sumbawanga","EAT","Rukwa",null,null,null).
city("Bukoba","EAT","Kagera",null,null,null).
city("Musoma","EAT","Mara",null,null,null).
city("Mkokotoni","EAT","Kaskazini Ujunga",null,null,null).
city("Koani","EAT","Kusini Ujunga",null,null,null).
city("Wete","EAT","Kaskazini Pemba",null,null,null).
city("Ngaoundere","CAM","Adamaoua",null,null,null).
city("Bertoua","CAM","Est",null,null,null).
city("Ebolowa","CAM","Sud",null,null,null).
city("Buea","CAM","Sudoueste",null,null,null).
city("Malakal","SUD","Aali an Nil",null,null,null).
city("Waw","SUD","Bahr al Ghazal",null,null,null).
city("Embu","BR","Sao Paulo",195676,null,null).
city("Embu","EAK","Eastern",null,null,null).
city("Garissa","EAK","North Eastern",null,null,null).
city("Diourbel","SN","Diourbel",null,null,null).
city("Fatick","SN","Fatick",null,null,null).
city("Kolda","SN","Kolda",null,null,null).
city("Louga","SN","Louga",null,null,null).
city("Tambacounda","SN","Tambacounda",null,null,null).
city("Pemba","MOC","Cabo Delgado",null,null,null).
city("Inhambane","MOC","Inhambane",null,null,null).
city("Lichinga","MOC","Niassa",null,null,null).
city("Kisii","EAK","Nyanza",44000,null,null).
city("Meru","EAK","Eastern",78100,null,null).
city("Salzburg","A","Salzburg",144000,#13.2,#47.49).
city("Antwerp","B","Antwerp",459072,#4.23,#51.1).
city("Liege","B","Liege",192393,#5.5,#50.5).
city("Namur","B","Namur",105014,#4.5,#50.3).
city("Kuopio","SF","Kuopio",78571,#27.4,#62.5).
city("Mikkeli","SF","Mikkeli",28000,#27.2,#61.4).
city("Oulu","SF","Oulu",97898,#25.2,#65.3).
city("Vaasa","SF","Vaasa",54275,#21.3,63).
city("Bremen","D","Bremen",549182,#8.5,#53.7).
city("Groningen","NL","Groningen",210708,null,null).
city("Utrecht","NL","Utrecht",547070,null,null).
city("Braga","P","Braga",63033,null,null).
city("Coimbra","P","Coimbra",74616,null,null).
city("Porto","P","Porto",327368,null,null).
city("Santarem","BR","Para",242765,null,null).
city("Setubal","P","Setubal",77885,null,null).
city("Arad","RO","Arad",191000,null,null).
city("Bacau","RO","Bacau",193000,null,null).
city("Braila","RO","Braila",243000,null,null).
city("Brasov","RO","Brasov",353000,null,null).
city("Buzau","RO","Buzau",145000,null,null).
city("Constanta","RO","Constanta",316000,null,null).
city("Galati","RO","Galati",307000,null,null).
city("Iasi","RO","Iasi",330000,null,null).
city("Satu Mare","RO","Satu Mare",137000,null,null).
city("Sibiu","RO","Sibiu",184000,null,null).
city("Murcia","E","Murcia",341531,null,null).
city("Jonkoping","S","Jonkoping",115429,14,#57.4).
city("Orebro","S","Orebro",119635,15,#59.2).
city("Uppsala","S","Uppsala",183472,#17.4,#59.5).
city("Cleveland","USA","Ohio",498246,null,null).
city("Norfolk","USA","Virginia",233430,#-76.2,#36.9).
city("Cardiff","GB","Cardiff",300000,#-3.16667,#51.4667).
city("Merthyr Tydfil","GB","Merthyr Tydfil",null,null,null).
city("Newport","GB","Newport",137000,null,null).
city("Swansea","GB","Swansea",189300,null,null).
city("Bago","MYA","Bago",150500,null,null).
city("Jilin","TJ","Jilin",1270000,null,null).
city("Chandigarh","IND","Chandigarh",510565,#76.5,#30.5).
city("Bakhtaran","IR","Bakhtaran",665636,#47.1,#34.2).
city("Esfahan","IR","Esfahan",1220595,#51.4,#32.4).
city("Hamadan","IR","Hamadan",406070,#48.3,#34.5).
city("Ilam","IR","Ilam",116428,null,null).
city("Kerman","IR","Kerman",349626,null,null).
city("Yazd","IR","Yazd",306268,null,null).
city("Zanjan","IR","Zanjan",280691,null,null).
city("Al Basrah","IRQ","Al Basrah",406296,null,null).
city("Karbala","IRQ","Karbala",296705,null,null).
city("An Najaf","IRQ","An Najaf",309010,null,null).
city("Irbil","IRQ","Irbil",485968,null,null).
city("As Sulaymaniyah","IRQ","As Sulaymaniyah",364096,null,null).
city("Chiba","J","Chiba",843000,null,null).
city("Kyoto","J","Kyoto",1415000,#135.45,35).
city("Osaka","J","Osaka",2492000,null,null).
city("Hiroshima","J","Hiroshima",1099000,#132.3,#34.3).
city("Almaty","KAZ","Almaty (munic.)",1172400,#76.8833,#43.2333).
city("Aqmola","KAZ","Aqmola",280200,null,null).
city("Aqtobe","KAZ","Aqtobe",258900,null,null).
city("Atyrau","KAZ","Atyrau",146900,null,null).
city("Kokchetau","KAZ","Kokchetau",141400,null,null).
city("Pavlodar","KAZ","Pavlodar",340700,null,null).
city("Qostanay","KAZ","Qostanay",232100,null,null).
city("Qyzylorda","KAZ","Qyzylorda",162000,null,null).
city("Semey","KAZ","Semey",320200,null,null).
city("Taldyqorghan","KAZ","Taldyqorghan",116100,null,null).
city("Melaka","MAL","Melaka",295999,null,null).
city("Sankt Peterburg","R","Sankt Peterburg",4838000,null,null).
city("Changhua","RC","Taiwan",221090,null,null).
city("Chiai","RC","Taiwan",261941,null,null).
city("Hsinchu","RC","Taiwan",341128,null,null).
city("Hualien","RC","Taiwan",107824,null,null).
city("Kaohsiung","RC","Taiwan",1426518,null,null).
city("Pingtung","RC","Taiwan",214728,null,null).
city("Taichung","RC","Taiwan",857590,null,null).
city("Taitung","RC","Taiwan",109189,null,null).
city("Taoyuan","RC","Taiwan",260680,null,null).
city("Kulob","TAD","Kulob",79300,null,null).
city("Chiang Mai","THA","Thailand",167000,null,null).
city("Nakhon Sawan","THA","Thailand",152000,null,null).
city("Khon Kaen","THA","Thailand",206000,null,null).
city("Nakhon Ratchasima","THA","Thailand",278000,null,null).
city("Ubon Ratchathani","THA","Thailand",137000,null,null).
city("Nonthaburi","THA","Thailand",233000,null,null).
city("Saraburi","THA","Thailand",107000,null,null).
city("Songkhla","THA","Thailand",243000,null,null).
city("Adiyaman","TR","Adiyaman",128000,null,null).
city("Antalya","TR","Antalya",497200,null,null).
city("Aydin","TR","Aydin",121200,null,null).
city("Balikesir","TR","Balikesir",187600,null,null).
city("Batman","TR","Batman",182800,null,null).
city("Bursa","TR","Bursa",996600,null,null).
city("Denizli","TR","Denizli",234500,null,null).
city("Diyarbakir","TR","Diyarbakir",448300,null,null).
city("Edirne","TR","Edirne",115500,null,null).
city("Elazig","TR","Elazig",222800,null,null).
city("Erzurum","TR","Erzurum",250100,null,null).
city("Eskisehir","TR","Eskisehir",451000,null,null).
city("Gaziantep","TR","Gaziantep",716000,null,null).
city("Isparta","TR","Isparta",120900,null,null).
city("Kayseri","TR","Kayseri",454000,null,null).
city("Kirikkale","TR","Kirikkale",170300,null,null).
city("Kocaeli","TR","Kocaeli",256882,null,null).
city("Konya","TR","Konya",576000,null,null).
city("Kutahya","TR","Kutahya",140700,null,null).
city("Malatya","TR","Malatya",319700,null,null).
city("Manisa","TR","Manisa",187500,null,null).
city("Ordu","TR","Ordu",121300,null,null).
city("Samsun","TR","Samsun",326900,null,null).
city("Sivas","TR","Sivas",240100,null,null).
city("Trabzon","TR","Trabzon",145400,null,null).
city("Usak","TR","Usak",119900,null,null).
city("Van","TR","Van",194600,null,null).
city("Zonguldak","TR","Zonguldak",115900,null,null).
city("Mary","TM","Mary",94900,null,null).
city("Abu Dhabi","UAE","United Arab Emirates",363432,#54.36,#24.27).
city("Andijon","UZB","Andijon",303000,null,null).
city("Bukhoro","UZB","Bukhoro",236000,null,null).
city("Farghona","UZB","Farghona",191000,null,null).
city("Jizzakh","UZB","Jizzakh",116000,null,null).
city("Namangan","UZB","Namangan",341000,null,null).
city("Nawoiy","UZB","Nawoiy",115000,null,null).
city("Samarqand","UZB","Samarqand",368000,null,null).
city("Haiphong","VN","Vietnam",1447523,null,null).
city("Can Tho","VN","Vietnam",284306,null,null).
city("Ontario","USA","California",144854,#-117.6,#34.05).
city("Quebec","CDN","Quebec",167517,#-71.3833,#46.8).
city("San Jose","USA","California",838744,#-121.933,#37.3667).
city("San Jose","CR","San Jose",296600,#-84.2,10).
city("Alajuela","CR","Alajuela",158300,null,null).
city("Cartago","CR","Cartago",109000,null,null).
city("Cartago","CO","Valle de Cauca",117166,null,null).
city("Heredia","CR","Heredia",67400,null,null).
city("Limon","CR","Limon",67800,null,null).
city("Camaguey","C","Camaguey",293961,null,null).
city("Ciego de Avila","C","Ciego de Avila",null,null,null).
city("Cienfuegos","C","Cienfuegos",132038,null,null).
city("Guantanamo","C","Guantanamo",207796,null,null).
city("Holguin","C","Holguin",242085,null,null).
city("Matanzas","C","Matanzas",123843,null,null).
city("Pinar del Rio","C","Pinar del Rio",128570,null,null).
city("Sancti Spiritus","C","Sancti Spiritus",null,null,null).
city("Santiago de Cuba","C","Santiago de Cuba",440084,null,null).
city("La Union","ES","El Salvador",null,null,null).
city("San Miguel","ES","El Salvador",182817,null,null).
city("San Salvador","ES","El Salvador",422570,#-89.2167,#13.7).
city("San Vicente","ES","El Salvador",null,null,null).
city("Santa Ana","USA","California",302419,#-117.867,#33.75).
city("Santa Ana","ES","El Salvador",202337,null,null).
city("Colon","PA","Colon",140900,null,null).
city("Comayagua","HCA","Comayagua",44300,null,null).
city("Choluteca","HCA","Choluteca",63200,null,null).
city("Santa Barbara","HCA","Santa Barbara",null,null,null).
city("Aguascalientes","MEX","Aguascalientes",440425,#-102.2,#21.5).
city("Campeche","MEX","Campeche",150518,#-90.3,#19.5).
city("Chihuahua","MEX","Chihuahua",516153,#-106.1,#28.4).
city("Colima","MEX","Colima",106967,#-103.4,#19.1).
city("Oaxaca","MEX","Oaxaca",212818,#-96.4,17).
city("Puebla","MEX","Puebla",1007170,#-98.1,19).
city("Queretaro","MEX","Queretaro",385503,#-100.2,#20.4).
city("San Luis Potosi","MEX","San Luis Potosi",488238,-101,#22.1).
city("Zacatecas","MEX","Zacatecas",100051,#-102.4,#22.5).
city("Bocas del Toro","PA","Bocas del Toro",null,null,null).
city("New York","USA","New York",7380906,-74,#40.4).
city("Washington","USA","Distr. Columbia",543213,-77,#38.5).
city("Corrientes","RA","Corrientes",258103,#-58.4,#-27.3).
city("Formosa","RA","Formosa",148074,#-58.1,#-26.5).
city("La Rioja","RA","La Rioja",103727,-67,#-29.3).
city("Mendoza","RA","Mendoza",773113,-69,-33).
city("Neuquen","RA","Neuquen",243803,-68,-39).
city("Salta","RA","Salta",370904,#-65.3,#-24.5).
city("San Juan","RA","San Juan",352691,#-68.3,#-31.3).
city("San Juan","YV","Guarico",null,null,null).
city("San Luis","RA","San Luis",110136,#-66.2,#-33.2).
city("Santa Fe","USA","New Mexico",48899,-106,#35.4).
city("Santa Fe","RA","Santa Fe",406388,#-60.5,#-31.5).
city("Parana","RA","Entre Rios",211936,-60,-32).
city("Rio de Janeiro","BR","Rio de Janeiro",5533011,#-43.2,-23).
city("Arequipa","PE","Arequipa",619156,null,null).
city("Ayacucho","PE","Ayacucho",105918,null,null).
city("Cajamarca","PE","Cajamarca",92447,null,null).
city("Cuzco","PE","Cuzco",255568,-72,#-13.2).
city("Huanuco","PE","Huanuco",118814,null,null).
city("Ica","PE","Ica",161406,null,null).
city("Piura","PE","Piura",277964,null,null).
city("Puno","PE","Puno",91877,null,null).
city("Tacna","PE","Tacna",174336,null,null).
city("Barinas","YV","Barinas",153630,null,null).
city("Dumyat","ET","Dumyat",121000,null,null).
city("Ismailiya","ET","Ismailiya",236000,null,null).
city("Kafr el Sheikh","ET","Kafr el Sheikh",null,null,null).
city("Aswan","ET","Aswan",196000,null,null).
city("Asyut","ET","Asyut",291000,null,null).
city("Beni Suef","ET","Beni Suef",163000,null,null).
city("El Faiyum","ET","El Faiyum",227000,null,null).
city("El Giza","ET","El Giza",1671000,null,null).
city("El Minya","ET","El Minya",203000,null,null).
city("Qena","ET","Qena",142000,null,null).
city("Sohag","ET","Sohag",142000,null,null).
city("Antsiranana","RM","Antsiranana",220000,null,null).
city("Antananarivo","RM","Antananarivo",1250000,#47.4,#-18.6).
city("Fianarantsoa","RM","Fianarantsoa",300000,null,null).
city("Toliary","RM","Toliary",150000,null,null).
city("Maputo","MOC","Maputo (munic.)",931591,33,-26).
city("Nampula","MOC","Nampula",250473,null,null).
city("Tete","MOC","Tete",112221,null,null).
city("Kaolack","SN","Kaolack",132000,null,null).
city("Saint Louis","SN","Saint Louis",122000,null,null).
city("Thies","SN","Thies",156