% Updated chat.pl, by Charles Maroun, UCLA. November 1992 % Source: the World Bank World Report 1992. Just released, this report is % financed and supervised by the U.N. so it has the most accurate and up % to date information on more than 100 topics about countries of the world. % % Facts about countries. % --------------------- % country(Country, % Region, % Latitude (degrees), % Longitude (degrees), % Area (square miles), % Population, % Capital_city, % Currency) country(afghanistan,indian_subcontinent,33,-65,251773,15762040,kabul,afghani). country(albania,southern_europe,41,-20,11100,3278021,tirana,lek). country(algeria,north_africa,35,-11,918497,25734012,algiers,dinar). country(andorra,southern_europe,42,-1,185,51451,andorra_la_villa,franc_peseta). country(angola,southern_africa,-12,-18,481353,8813013,luanda,kwanza). country(antigua_and_barbuda,caribbean,17,63,171,66312,saint_john_s,east_caribbean_dollar). country(argentina,south_america,-35,66,1065189,32321087,buenos_aires,austral). country(australia,australasia,-23,-135,2966200,16715475,canberra,australian_dollar). country(austria,western_europe,47,-14,32374,7598153,vienna,schilling). country(bahamas,caribbean,24,74,5380,252456,nassau,bahamian_dollar). country(bahrain,middle_east,26,-50,258,512956,manama,dinar). country(bangladesh,indian_subcontinent,24,-90,55813,119672530,dhaka,taka). country(barbados,caribbean,13,59,166,263076,bridgetown,east_carribean_dollar). country(belgium,western_europe,51,-5,11799,9898030,brussels,franc). country(belize,central_america,17,88,8867,184405,belmopan,belize_dollar). country(benin,west_africa,8,-3,43483,4847098,porto_novo,cfa_franc). country(bhutan,indian_subcontinent,27,-90,18147,1571036,thimphu,ngultrum). country(bolivia,south_america,-17,64,424165,6795400,sucre,peso). country(botswana,southern_africa,-22,-24,231804,1302067,gaborone,pula). country(brazil,south_america,-13,53,3286470,153891030,brasilia,cruzeiro). country(brunei_darussalam,southeast_east,5,-115,2226,379023,bandar_seri_begawan). country(bulgaria,eastern_europe,43,-25,44365,8979010,sofia,lev). country(burkina_faso,west_africa,12,1,105869,8964010,ouagadougou,cfa_franc). country(burundi,central_africa,-3,-30,10759,5653020,bujumbura,franc). country(cambodia,southeast_east,12,-105,70238,6605430,phnom_penh,riel). country(cameroon,west_africa,3,-12,179714,11940130,yaounde,cfa_franc). country(canada,north_america,60,100,3849000,26632204,ottawa,canadian_dollar). country(cape_verde,west_africa,15,25,1557,342021,praia,escudo). country(central_african_republic,central_africa,7,-20,240534,2883062,bangui,cfa_franc). country(chad,central_africa,12,-17,495755,5067034,n_djamena,cfa_franc). country(chile,south_america,-35,71,292257,13054230,santiago,peso). country(china,far_east,30,-110,3696100,1162068730,peijing,yuan). country(colombia,south_america,4,73,439735,32698230,bogota,peso). country(comoros,east_africa,-12,-43,838,462300,moroni,cfa_franc). country(congo,central_africa,-1,-16,132046,2375044,brazzaville,cfa_franc). country(costa_rica,central_america,10,84,19575,3065030,san_jose,colone). country(cote_d_ivoire,west_africa,7,5,124503,12073406,moroni,cfa_franc). country(cuba,caribbean,22,79,44218,10598234,havana,peso). country(cyprus,southern_europe,35,-33,3572,708340,nicosia,pound). country(czechoslovakia,eastern_europe,49,-17,49365,15715300,prague,koruna). country(denmark,scandinavia,55,-9,16633,5154309,copenhagen,krone). country(djibouti,east_africa,12,-42,8950,536530,djibouti,franc). country(dominica,caribbean,16,61,290,85845,roseau,east_caribbean_dollar). country(dominican_republic,caribbean,19,70,18816,7293030,santo_domingo,peso). country(ecuador,south_america,-2,78,109483,10516040,quito,sucre). country(egypt,north_africa,28,-31,386650,54439097,cairo,egyptian_pound). country(el_salvador,central_america,14,89,8124,5241034,san_salvador,colon). country(equatorial_guinea,west_africa,1,-10,10832,370023,malabo,bibkwele). country(estonia,northern_asia,59,-25,17413,1620390,tallinn,ruble). country(ethiopia,east_africa,8,-40,471776,50875760,addis_ababa,birr). country(fiji,australasia,-17,-179,7056,778040,suva,fiji_dollar). country(finland,scandinavia,65,-27,130119,4995731,helsinki,markka). country(france,western_europe,47,-3,220668,56392154,paris,franc). country(gabon,central_africa,0,-10,103346,1079540,libreville,cfa_franc). country(gambia,west_africa,13,16,4127,462354,banjul,dalasi). country(germany,western_europe,52,-11,137838,79381567,berlin,mark). country(ghana,west_africa,6,1,92098,15565700,accra,cedi). country(greece,southern_europe,40,-23,51146,10226080,athens,drachma). country(grenada,caribbean,12,61,133,84650,st_georges,east_caribbean_dollar). country(guatemala,central_america,15,90,42042,9340000,guatamala_city,quetzal). country(guinea,west_africa,10,10,94964,7281650,conakry,franc). country(guinea_bissau,west_africa,12,15,13948,999560,bissau,peso). country(guyana,south_america,5,59,83000,768500,georgetown,guyana_dollar). country(haiti,caribbean,19,72,10579,5887320,port_au_prince,gourde). country(honduras,central_america,14,86,43277,5291052,tegucigalpa,lempira). country(hungary,eastern_europe,47,-19,35919,10593540,budapest,forint). country(iceland,western_europe,65,19,39769,259101,reykjavik,kronur). country(india,indian_subcontinent,20,-80,1266595,848024500,new_delhi,rupee). country(indonesia,southeast_east,-5,-115,735268,194169720,jakarta,rupiah). country(iran,middle_east,33,-53,636293,55947825,tehran,rial). country(iraq,middle_east,33,-44,167924,19152630,baghdad,dinar). country(israel,middle_east,32,-35,7847,4381500,jerusalem,shekel). country(italy,southern_europe,42,-13,116303,57657000,rome,lira). country(jamaica,caribbean,18,77,4232,2553482,kingston,jamaican_dollar). country(japan,far_east,36,-136,145856,124688000,tokyo,yen). country(jordan,middle_east,31,-36,37737,3079820,amman,dinar). country(kenya,east_africa,1,-38,224960,25428000,nairobi,kenya_shilling). country(kiribati,australasia,-5,171,266,65000,tarawa,australian_dollar). country(kuwait,middle_east,29,-47,6880,2080000,kuwait_city,kuwaiti_dinar). country(laos,southeast_east,18,-105,91428,4024000,vientiane,new_kip). country(lativia,northern_asia,59,-25,24595,2700000,riga,ruble). country(lebanon,middle_east,34,-36,4015,3340000,beirut,lebanese_pound). country(lesotho,southern_africa,-30,-28,11716,1757000,masero,maloti). country(liberia,west_africa,6,9,38250,2644000,monrovia,us_dollar). country(libya,north_africa,28,-17,679359,4280000,tripoli,libyan_dinar). country(liechtenstein,western_europe,47,-9,62,28000,vaduz,swiss_franc). country(lithuania,northern_asia,55,-23,25170,3700000,vilnius,litas). country(luxembourg,western_europe,50,-6,998,369000,luxembourg,luxembourg_franc). country(madagascar,southern_africa,-20,-46,226657,11802000,antananarivo,franc). country(malawi,southern_africa,-13,-34,45747,9080000,lilongwe,kwacha). country(malaysia,southeast_east,5,-110,127316,17053000,kuala_lumpur,ringgit). country(maldives,indian_subcontinent,2,-73,115,219000,male,rufiyaa). country(mali,west_africa,15,10,478764,9182000,bamako,mali_franc). country(malta,southern_europe,36,-14,122,354900,valetta,maltese). country(mauritania,west_africa,21,10,397954,2038000,nouakchott,ouguiya). country(mauritius,southern_africa,-20,-57,790,1141900,port_louis,rupee). country(mexico,central_america,20,100,761604,88335000,mexico_city,peso). country(monaco,southern_europe,44,-7,0.6,29000,monaco_ville,french_franc). country(mongolia,northern_asia,47,-103,604247,2185000,ulan_bator,tighrik). country(morocco,north_africa,32,6,172413,26249000,rabat,dirham). country(mozambique,southern_africa,-19,-35,303769,14718000,maputo,metical). country(myanmar,southeast_east,21,-96,261789,41279000,yangon,kyat). country(namibia,southern_africa,-24,-17,317818,1372000,windhoek,south_african_rand). country(nauru,australasia,-1,-167,8,8100,yaren,australian_dollar). country(nepal,indian_subcontinent,28,-84,56136,19158000,katmandu,nepalese_rupee). country(netherlands,western_europe,52,-5,15770,14864000,amsterdam,guilder). country(new_zealand,australasia,-40,-176,103736,3397000,wellington,new_zealand_dollar). country(nicaragua,central_america,12,85,50193,3606000,managua,cordoba). country(niger,west_africa,13,-10,489189,7691000,niamey,cfa_franc). country(nigeria,west_africa,8,-8,356667,118865000,lagos,naira). country(north_korea,far_east,40,-127,46540,23059000,pvongvang,won). country(norway,scandinavia,64,-11,125181,4214000,oslo,kroner). country(oman,middle_east,23,-58,82030,1305000,muscat,riyal_omani). country(pakistan,indian_subcontinent,30,-70,310403,113163000,islamabad,rupee). country(panama,central_america,9,80,29208,2423000,panama,balboa). country(papua_new_guinea,australasia,-8,-145,178260,3613000,port_moresby,kina). country(paraguay,south_america,-23,57,157047,4660000,asuncion,guarani). country(peru,south_america,-8,75,496222,21904000,lima,lntl). country(philippines,southeast_east,12,-123,115831,66647000,quezon_city,piso). country(poland,eastern_europe,52,-20,120727,38363000,warsaw,zloty). country(portugal,southern_europe,40,7,36390,10528000,lisbon,escudo). country(qatar,middle_east,25,-51,4247,498000,doha,riyal). country(republic_of_ireland,western_europe,53,8,27137,3557000,dublin,pound). country(romania,eastern_europe,46,-25,91699,23269000,bucharest,lei). country(rwanda,central_africa,-2,-30,10169,7603000,kigali,rwanda_franc). country(saint_kitts_and_nevis,caribbean,18,63,101,40000,basseterre,east_caribbean_dollar). country(saint_lucia,caribbean,14,61,238,153000,castries,east_caribbean_dollar). country(saint_vincent_and_the_grenadines,caribbean,13,62,150,106000,kingstown,east_caribbean_dollar). country(san_marino,southern_europe,44,-12,24,23000,san_marino,italian_lira). country(sao_tome_and_principe,central_africa,1,-7,372,125000,sao_tome,dobra). country(saudi_arabia,middle_east,26,-44,839996,16758000,riyadh,riyal). country(senegal,west_africa,14,14,75750,7740000,dakar,cfa_franc). country(seychelles,east_africa,-4,-55,171,71000,victoria,rupee). country(sierra_leone,west_africa,9,12,27925,4168000,freetown,leone). country(singapore,southeast_east,1,-104,224,2703000,singapore,singapore_dollar). country(solomon_islands,australasia,-8,-160,10640,314000,honiara,dollar). country(somalia,east_africa,7,-47,246300,8415000,mogadishu,somali_shilling). country(south_africa,southern_africa,-30,-25,472359,39550000,pretoria,rand). country(south_korea,far_east,36,-128,38025,43919000,seoul,won). country(spain,southern_europe,40,5,194896,39623000,madrid,peseta). country(sri_lanka,indian_subcontinent,7,-81,25332,17135000,colombo,rupee). country(sudan,central_africa,15,-30,966757,25164000,khartoum,pound). country(surinam,south_america,4,56,63037,408000,paramaribo,guilder). country(swaziland,southern_africa,-26,-31,6704,779000,mbabane,lilageru). country(sweden,scandinavia,63,-15,173731,8407000,stockholm,krona). country(switzerland,western_europe,46,-8,15941,6628000,bern,franc). country(syria,middle_east,35,-38,71498,12471000,damascus,syrian_pound). country(taiwan,far_east,23,-121,13885,20454000,taipei,new_taiwan_dollar). country(tanzania,east_africa,-7,-34,364886,26070000,dar_es_salaam,tanzanian_shilling). country(thailand,southeast_east,16,-102,198456,54890000,bangkok,baht). country(togo,west_africa,8,-1,21622,3566000,lome,cfa_franc). country(tonga,australasia,-20,173,270,108000,nukualofa,pa_anga). country(trinidad_and_tobago,caribbean,10,61,1980,1270000,port_of_spain,trinidad_and_tobago_dollar). country(tunisia,north_africa,33,-9,63170,8094000,tunis,dinar). country(turkey,middle_east,39,-36,301381,56549000,ankara,lira). country(tuvalu,australasia,-6,-78,10,9000,funafuti,australian_dollar). country(uganda,east_africa,2,-32,93354,17593000,kampala,uganda_shilling). country(union_of_soviet_socialist_republics,northern_asia,60,-85,8649496,290939000,moscow,ruble). country(united_arab_emirates,middle_east,24,-54,32000,2250000,abu_dhabi,dirham). country(united_kingdom_of_great_britain_and_northern_ireland,western_europe,54,2,94226,57121000,london,pound). country(united_states,north_america,37,96,3618770,248709873,washington,dollar). country(uruguay,south_america,-32,55,68037,3002000,montevideo,new_peso). country(vanuatu,australasia,-17,170,5700,150000,vila,australian_dollar_and_vanuatu_franc). country(vatican_city,southern_europe,42,-13,0.3,750,?,lira). country(venezuela,south_america,8,65,352143,19753000,caracas,bolivar). country(vietnam,southeast_east,17,-107,127330,68488000,hanoi,dong). country(western_samoa,australasia,-14,172,1133,169000,apia,tala). country(yemen,middle_east,15,-44,205356,11500000,sana,rial). country(yugoslavia,southern_europe,44,-20,98766,23864000,belgrade,new_dinar). country(zaire,central_africa,-3,-23,905563,35330000,kinshasa,zaire). country(zambia,southern_africa,-15,-28,290586,8119000,lusaka,kwacha). country(zimbabwe,southern_africa,-20,-30,150803,10205000,harare,rhodesian_dollar). % Facts about major cities. % ------------------------- % city( City, % Country, % Population % ) city(ahmadabad,india,3625450). city(alexandria,egypt,3213000). city(ankara,turkey,2792032). city(athens,greece,3498560). city(baghdad,iraq,3985423). city(bangalore,india,4656256). city(bangkok,thailand,6358200). city(barcelona,spain,4192659). city(beijing,china,5763542). city(belo_horizonte,brazil,3696258). city(birmingham,united_kingdom_of_great_britain_and_northern_ireland,2182540). city(bogota,colombia,5785200). city(bombay,india,11798218). city(boston,united_states,2485054). city(bucharest,romania,2165420). city(budapest,hungary,2346210). city(buenos_aires,argentina,11924520). city(cairo,egypt,9879512). city(calcutta,india,11793020). city(caracas,venezuela,3211288). city(casablanca,morocco,2931560). city(chengdu,china,2359054). city(chongqing,china,2385420). city(chicago,united_states,6565421). city(dallas,united_states,2756200). city(delhi,india,8486289). city(detroit,united_states,2998420). city(dhaka,bangladesh,4254260). city(essen,germany,7486210). city(greater_berlin,germany,3043210). city(guadalajara,mexico,3277520). city(guangzhou,china,3342650). city(harbin,china,2635620). city(havana,cuba,2125620). city(ho_chi_minh_city,vietnam,3656210). city(hongkong_city,hongkong,5665810). city(houston,united_states,2305600). city(hyderabad,india,3576230). city(istanbul,turkey,6472160). city(jakarta,indonesia,9589210). city(kanpur,india,2076000). city(karachi,pakistan,7711000). city(kiev,union_of_soviet_socialist_republics,2751000). city(kinshasa,zaire,3575000). city(lagos,nigeria,7602000). city(lahore,pakistan,4236000). city(leningrad,union_of_soviet_socialist_republics,4667000). city(lima,peru,6578000). city(lisbon,portugal,2396000). city(london,united_kingdom_of_great_britain_and_northern_ireland,9170000). city(los_angeles,united_states,10060000). city(madras,india,5743000). city(madrid,spain,4451000). city(manchester,united_kingdom_of_great_britain_and_northern_ireland,4050000). city(manila,philippines,9880000). city(melbourne,australia,2907000). city(mexico_city,mexico,20207000). city(miami,united_states,3421000). city(milan,italy,4738000). city(montreal,canada,2896000). city(monterrey,mexico,2837000). city(moscow,union_of_soviet_socialist_republics,10367000). city(nagoya,japan,4736000). city(naples,italy,2960000). city(new_york,united_states,14622000). city(osaka_kobe_kyoto,japan,13826000). city(paris,france,8709000). city(philadelphia,united_states,4007000). city(poona,india,2447000). city(porto_alegre,brazil,3015000). city(pusan,south_korea,4838000). city(rio_de_janeiro,brazil,11428000). city(rome,italy,3021000). city(salvador,brazil,2209000). city(san_francisco,united_states,3958000). city(santiago,chile,5275000). city(sao_paulo,brazil,18052000). city(seoul,south_korea,16268000). city(shanghai,china,6873000). city(shenyang,china,4248000). city(singapore,singapore,2695000). city(surabaya,indonesia,3205000). city(sydney,australia,3515000). city(taegu,south_korea,2529000). city(taipei,taiwan,6513000). city(tashkent,union_of_soviet_socialist_republics,2365000). city(teheran,iran,9354000). city(tianjin,china,4808000). city(tokyo_yokohama,japan,26952000). city(toronto,canada,3108000). city(vienna,austria,2313000). city(washington,united_states,2547000). city(wuhan,china,3169000). city(yangon,myanmar,2813000). city(C) :- city(C,_,_). % Containment among land masses % ------------------------------ contains(africa,central_africa). contains(africa,east_africa). contains(africa,north_africa). contains(africa,southern_africa). contains(africa,west_africa). contains(america,caribbean). contains(america,central_america). contains(america,north_america). contains(america,south_america). contains(asia,far_east). contains(asia,indian_subcontinent). contains(asia,middle_east). contains(asia,northern_asia). contains(asia,southeast_east). contains(australasia,australia). contains(australasia,fiji). contains(australasia,nauru). contains(australasia,new_zealand). contains(australasia,papua_new_guinea). contains(australasia,solomon_islands). contains(australasia,tonga). contains(australasia,tuvalu). contains(australasia,vanuatu). contains(australasia,western_samoa). contains(europe,eastern_europe). contains(europe,scandinavia). contains(europe,southern_europe). contains(europe,western_europe). contains(scandinavia,denmark). contains(scandinavia,finland). contains(scandinavia,norway). contains(scandinavia,sweden). contains(western_europe,austria). contains(western_europe,belgium). contains(western_europe,france). contains(western_europe,germany). contains(western_europe,iceland). contains(western_europe,liechtenstein). contains(western_europe,luxembourg). contains(western_europe,netherlands). contains(western_europe,republic_of_ireland). contains(western_europe,switzerland). contains(western_europe,united_kingdom). contains(eastern_europe,bulgaria). contains(eastern_europe,czechoslovakia). contains(eastern_europe,hungary). contains(eastern_europe,poland). contains(eastern_europe,romania). contains(southern_europe,albania). contains(southern_europe,andorra). contains(southern_europe,cyprus). contains(southern_europe,greece). contains(southern_europe,italy). contains(southern_europe,malta). contains(southern_europe,monaco). contains(southern_europe,portugal). contains(southern_europe,san_marino). contains(southern_europe,spain). contains(southern_europe,vatican_city). contains(southern_europe,yugoslavia). contains(north_america,canada). contains(north_america,united_states). contains(central_america,belize). contains(central_america,costa_rica). contains(central_america,el_salvador). contains(central_america,guatemala). contains(central_america,honduras). contains(central_america,mexico). contains(central_america,nicaragua). contains(central_america,panama). contains(caribbean,antigua_and_barbuda). contains(caribbean,bahamas). contains(caribbean,barbados). contains(caribbean,cuba). contains(caribbean,dominica). contains(caribbean,dominican_republic). contains(caribbean,grenada). contains(caribbean,haiti). contains(caribbean,jamaica). contains(caribbean,saint_kitts_and_nevis). contains(caribbean,saint_lucia). contains(caribbean,saint_vincent_and_the_grenadines). contains(caribbean,trinidad_and_tobago). contains(south_america,argentina). contains(south_america,bolivia). contains(south_america,brazil). contains(south_america,chile). contains(south_america,colombia). contains(south_america,ecuador). contains(south_america,guyana). contains(south_america,paraguay). contains(south_america,peru). contains(south_america,surinam). contains(south_america,uruguay). contains(south_america,venezuela). contains(north_africa,algeria). contains(north_africa,egypt). contains(north_africa,libya). contains(north_africa,morocco). contains(north_africa,tunisia). contains(west_africa,benin). contains(west_africa,burkina_faso). contains(west_africa,cameroon). contains(west_africa,cape_verde). contains(west_africa,cote_d_ivoire). contains(west_africa,equatorial_guinea). contains(west_africa,gambia). contains(west_africa,ghana). contains(west_africa,guinea). contains(west_africa,guinea_bissau). contains(west_africa,liberia). contains(west_africa,mali). contains(west_africa,mauritania). contains(west_africa,niger). contains(west_africa,nigeria). contains(west_africa,senegal). contains(west_africa,sierra_leone). contains(west_africa,togo). contains(central_africa,burundi). contains(central_africa,central_african_republic). contains(central_africa,chad). contains(central_africa,congo). contains(central_africa,gabon). contains(central_africa,rwanda). contains(central_africa,sao_tome_and_principe). contains(central_africa,sudan). contains(central_africa,zaire). contains(east_africa,comoros). contains(east_africa,djibouti). contains(east_africa,ethiopia). contains(east_africa,kenya). contains(east_africa,seychelles). contains(east_africa,somalia). contains(east_africa,tanzania). contains(east_africa,uganda). contains(southern_africa,angola). contains(southern_africa,botswana). contains(southern_africa,lesotho). contains(southern_africa,malagasy). contains(southern_africa,malawi). contains(southern_africa,mauritius). contains(southern_africa,mozambique). contains(southern_africa,namibia). contains(southern_africa,south_africa). contains(southern_africa,swaziland). contains(southern_africa,zambia). contains(southern_africa,zimbabwe). contains(middle_east,bahrain). contains(middle_east,iran). contains(middle_east,iraq). contains(middle_east,israel). contains(middle_east,jordan). contains(middle_east,kuwait). contains(middle_east,lebanon). contains(middle_east,oman). contains(middle_east,qatar). contains(middle_east,saudi_arabia). contains(middle_east,syria). contains(middle_east,turkey). contains(middle_east,united_arab_emirates). contains(middle_east,yemen). contains(indian_subcontinent,afghanistan). contains(indian_subcontinent,bangladesh). contains(indian_subcontinent,bhutan). contains(indian_subcontinent,india). contains(indian_subcontinent,maldives). contains(indian_subcontinent,nepal). contains(indian_subcontinent,pakistan). contains(indian_subcontinent,sri_lanka). contains(southeast_east,brunei_darussalam). contains(southeast_east,cambodia). contains(southeast_east,indonesia). contains(southeast_east,laos). contains(southeast_east,malaysia). contains(southeast_east,philippines). contains(southeast_east,singapore). contains(southeast_east,thailand). contains(southeast_east,vietnam). contains(far_east,china). contains(far_east,japan). contains(far_east,north_korea). contains(far_east,south_korea). contains(far_east,taiwan). contains(northern_asia,estonia). contains(northern_asia,lithuania). contains(northern_asia,mongolia). contains(northern_asia,union_of_soviet_socialist_republics). contains(afghanistan,amu_darya). contains(angola,cubango). contains(angola,zambesi). contains(argentina,buenos_aires). contains(argentina,parana). contains(australia,melbourne). contains(australia,murray). contains(australia,sydney). contains(austria,danube). contains(austria,vienna). contains(bangladesh,brahmaputra). contains(belgium,brussels). contains(brazil,amazon). contains(brazil,parana). contains(brazil,rio_de_janeiro). contains(brazil,sao_paulo). contains(cambodia,mekong). contains(canada,mackenzie). contains(canada,montreal). contains(canada,toronto). contains(canada,yukon). contains(chile,santiago). contains(china,amur). contains(china,brahmaputra). contains(china,canton). contains(china,chungking). contains(china,dairen). contains(china,ganges). contains(china,harbin). contains(china,hwang_ho). contains(china,indus). contains(china,kowloon). contains(china,mekong). contains(china,mukden). contains(china,peking). contains(china,salween). contains(china,shanghai). contains(china,sian). contains(china,tientsin). contains(china,yangtze). contains(colombia,orinoco). contains(czechoslovakia,danube). contains(czechoslovakia,elbe). contains(czechoslovakia,oder). contains(egypt,cairo). contains(egypt,nile). contains(france,paris). contains(france,rhone). contains(germany,berlin). contains(germany,danube). contains(germany,elbe). contains(germany,hamburg). contains(germany,rhine). contains(ghana,volta). contains(greece,athens). contains(guinea,niger_river). contains(guinea,senegal_river). contains(hungary,budapest). contains(hungary,danube). contains(india,bombay). contains(india,calcutta). contains(india,delhi). contains(india,ganges). contains(india,hyderabad). contains(india,indus). contains(india,madras). contains(indonesia,jakarta). contains(iran,tehran). contains(iraq,euphrates). contains(italy,milan). contains(italy,naples). contains(italy,rome). contains(japan,kobe). contains(japan,kyoto). contains(japan,nagoya). contains(japan,nanking). contains(japan,osaka). contains(japan,tokyo). contains(japan,yokohama). contains(laos,mekong). contains(lesotho,orange). contains(mali,niger_river). contains(mali,senegal_river). contains(mexico,colorado). contains(mexico,mexico_city). contains(mexico,rio_grande). contains(mongolia,amur). contains(mongolia,yenisei). contains(mozambique,limpopo). contains(mozambique,zambesi). contains(netherlands,rhine). contains(niger,niger_river). contains(nigeria,niger_river). contains(pakistan,indus). contains(pakistan,karachi). contains(paraguay,parana). contains(peru,amazon). contains(peru,lima). contains(philippines,manila). contains(poland,oder). contains(poland,vistula). contains(poland,warsaw). contains(portugal,tagus). contains(romania,bucharest). contains(romania,danube). contains(senegal,senegal_river). contains(singapore,singapore_city). contains(south_africa,cubango). contains(south_africa,johannesburg). contains(south_africa,limpopo). contains(south_africa,orange). contains(south_korea,pusan). contains(south_korea,seoul). contains(union_of_soviet_socialist_republics,amu_darya). contains(union_of_soviet_socialist_republics,amur). contains(union_of_soviet_socialist_republics,don). contains(union_of_soviet_socialist_republics,kiev). contains(union_of_soviet_socialist_republics,lena). contains(union_of_soviet_socialist_republics,leningrad). contains(union_of_soviet_socialist_republics,moscow). contains(union_of_soviet_socialist_republics,ob). contains(union_of_soviet_socialist_republics,volga). contains(union_of_soviet_socialist_republics,yenisei). contains(spain,barcelona). contains(spain,madrid). contains(spain,tagus). contains(sudan,nile). contains(switzerland,rhine). contains(switzerland,rhone). contains(syria,euphrates). contains(thailand,bangkok). contains(turkey,euphrates). contains(turkey,istanbul). contains(uganda,nile). contains(united_kingdom_of_great_britain_and_northern_ireland,birmingham). contains(united_kingdom_of_great_britain_and_northern_ireland,glasgow). contains(united_kingdom_of_great_britain_and_northern_ireland,london). contains(united_states,chicago). contains(united_states,colorado). contains(united_states,detroit). contains(united_states,los_angeles). contains(united_states,mississippi). contains(united_states,new_york). contains(united_states,philadelphia). contains(united_states,rio_grande). contains(united_states,yukon). contains(venezuela,caracas). contains(venezuela,orinoco). contains(vietnam,mekong). contains(vietnam,saigon). contains(yugoslavia,danube). contains(zaire,congo_river). contains(zambia,congo_river). contains(zambia,zambesi). % Continents and Regions % ---------------------- % continent( Continent ). % in_continent( Region, Continent ). continent(africa). continent(america). continent(antarctica). continent(asia). continent(australasia). continent(europe). in_continent(scandinavia,europe). in_continent(western_europe,europe). in_continent(eastern_europe,europe). in_continent(southern_europe,europe). in_continent(north_america,america). in_continent(central_america,america). in_continent(caribbean,america). in_continent(south_america,america). in_continent(north_africa,africa). in_continent(west_africa,africa). in_continent(central_africa,africa). in_continent(east_africa,africa). in_continent(southern_africa,africa). in_continent(middle_east,asia). in_continent(indian_subcontinent,asia). in_continent(southeast_east,asia). in_continent(far_east,asia). in_continent(northern_asia,asia). region(R) :- in_continent(R,_). % Latitudes and longitudes. % ------------------------- circle_of_latitude(equator). circle_of_latitude(tropic_of_cancer). circle_of_latitude(tropic_of_capricorn). circle_of_latitude(arctic_circle). circle_of_latitude(antarctic_circle). latitude(equator,0). latitude(tropic_of_cancer,23). latitude(tropic_of_capricorn,-23). latitude(arctic_circle,67). latitude(antarctic_circle,-67). % Facts about sea masses. % ----------------------- ocean(arctic_ocean). ocean(atlantic). ocean(indian_ocean). ocean(pacific). ocean(southern_ocean). sea(baltic). sea(black_sea). sea(caspian). sea(mediterranean). sea(persian_gulf). sea(red_sea). % Facts about rivers. % ------------------ river(amazon). river(amu_darya). river(amur). river(brahmaputra). river(colorado). river(congo_river). river(cubango). river(danube). river(don). river(elbe). river(euphrates). river(ganges). river(hwang_ho). river(indus). river(irrawaddy). river(lena). river(limpopo). river(mackenzie). river(mekong). river(mississippi). river(murray). river(niger_river). river(nile). river(ob). river(oder). river(orange). river(orinoco). river(parana). river(rhine). river(rhone). river(rio_grande). river(salween). river(senegal_river). river(tagus). river(vistula). river(volga). river(volta). river(yangtze). river(yenisei). river(yukon). river(zambesi).