/* ************************************************************************ */
/*                                                                          */
/*                   Countries of the World dataBase                        */
/*                                                                          */
/* ************************************************************************ */


/*  cdb(name,area,partOfWorld,currency,capital,population).
/* here is the old world */

cdb(afghanistan,254861,indianSubcontinent,afghani,kabul,18290000).
cdb(albania,11100,eastEurope,lek,tirana,2350000).
cdb(algeria,919951,northAfrica,dinar,algiers,15770000).
cdb(andorra,179,southEurope,franc,'andorra la villa',25000).
cdb(angola,481351,southAfrica,kwanza,luanda,5810000).
cdb(australia,2967909,oceana,'australian dollar',canberra,13268000).
cdb(austria,32374,southEurope,schilling,vienna,7520000).
cdb(bahrain,231,middleEast,dinar,manama,230000).
cdb(bangladesh,55126,indianSubcontinent,taka,dacca,71317000).
cdb(belgium,11779,westEurope,franc,brussels,9711000).
cdb(benin,43483,centralAfrica,'cfa franc','porto novo',2910000).
cdb(bhutan,19305,indianSubcontinent,'indian rupee',thimphu,1150000).
cdb(botswana,219815,southAfrica,'south african rand',gaborene,650000).
cdb(bulgaria,42829,eastEurope,lev,sofia,8620000).
cdb(burma,261789,southEastAsia,kyat,rangoon,29560000).
cdb(burundi,10739,centralAfrica,franc,bujumbura,3600000).
cdb(kampuchea,69898,southEastAsia,riel,'phnom penh',7640000).
cdb(cameroon,183568,westAfrica,'cfa franc',yaounde,6170000).
cdb('cape verde',1557,westAfrica,escudo,praia,280000).
cdb('central african republic',241313,centralAfrica,'cfa franc',bangui,1720000).
cdb(chad,495752,centralAfrica,'cfa franc','n''djamena',3870000).
cdb(china,3691502,eastAsia,yuan,peking,8e+08).
cdb(comoros,902,southAfrica,franc,moroni,287000).
cdb(congo,132046,centralAfrica,'cfa franc',brazzaville,1001000).
cdb(cyprus,3572,sei,pound,nicosia,660000).
cdb(czechoslovakia,49371,eastEurope,koruna,prague,14580000).
cdb(denmark,16615,northEurope,krone,copenhagen,5130000).
cdb(djibouti,8800,eastAfrica,franc,djibouti,300000).
cdb(egypt,386872,northAfrica,'egyptian pound',cairo,35620000).
cdb('equatorial guinea',10832,centralAfrica,pereta,'santa isabel',300000).
cdb(ethiopia,457142,centralAfrica,'ethiopian dollar','addis ababa',26080000).
cdb(fiji,7055,oceana,'fiji dollar',suva,550000).
cdb(finland,130119,northEurope,markka,helsinki,4660000).
cdb(france,212973,northEurope,franc,paris,52350000).
cdb(gabon,102317,centralAfrica,'cfa franc',libreville,520000).
cdb(gambia,4003,westAfrica,dalasi,banjul,490000).
cdb('east germany',40646,eastEurope,'ddr mark','east berlin',16980000).
cdb('west germany',95815,northEurope,'deutsche mark',bonn,61970000).
cdb(ghana,92100,westAfrica,cedi,accra,9360000).
cdb(greece,50547,southEurope,drachma,athens,9030000).
cdb(guinea,94925,westAfrica,syli,conakry,4210000).
cdb('guinea-bissau',13948,westAfrica,escudo,bissau,510000).
cdb(hungar,35919,eastEurope,forint,budapest,10410000).
cdb(iceland,39702,northEurope,krona,raykjavik,210000).
cdb(india,1229919,indianSubcontinent,rupee,'new delhi',5.7422e+08).
cdb(indonesia,735268,southEastAsia,rupiah,jakarta,124600000).
cdb(iran,636363,middleEast,rial,tehran,32001000).
cdb(iraq,167567,middleEast,dinar,baghdad,10410000).
cdb(ireland,26600,northEurope,'irish pound',dublin,3030000).
cdb(israel,8219,middleEast,'israeli pound',jerusalem,3228000).
cdb(italy,116303,southEurope,lira,rome,55262000).
cdb('ivory coast',124503,westAfrica,'cfa franc',abidjan,4640000).
cdb(japan,143574,southEastAsia,yen,tokyo,108710000).
cdb(jordan,32297,middleEast,dinar,amman,2560000).
cdb(kenya,224960,eastAfrica,'kenya shilling',nairobi,12480000).
cdb('north korea',46768,eastAsia,won,pyongyang,16650000).
cdb('south korea',38031,eastAsia,won,seoul,33333000).
cdb(kuwait,7780,middleEast,'kuwaiti dinar','kuwait city',880000).
cdb(laos,3180,southEastAsia,kip,vientiane,3180000).
cdb(lebanon,4015,middleEast,'lebanese pound',beirut,3213000).
cdb(lesotho,11716,southAfrica,rand,masero,1200000).
cdb(liberia,43000,westAfrica,'u.s. dollar',monrovia,1660000).
cdb(libya,679536,middleEast,'libyan dinar',tripoli,2257000).
cdb(liechenstein,61,southEurope,'swiss franc',vaduz,20000).
cdb(luxembourg,999,northEurope,'luxembourg franc',luxembourg,350000).
cdb(madagascar,203035,southAfrica,'ariary franc',tananarive,7655000).
cdb(malawi,45747,southAfrica,kwacha,zomba,4790000).
cdb(malaysia,128328,southEastAsia,'malaysian dollar','kuala lumpur',10920000).
cdb(maldives,115,indianSubcontinent,rupee,male,123000).
cdb(mali,464873,westAfrica,'mali franc',bamako,5380000).
cdb(malta,122,southEurope,pound,valleta,319000).
cdb(mauritania,419229,westAfrica,ouguiya,nouakchott,1260000).
cdb(mauritius,787,indianSubcontinent,rupee,'port louis',870000).
cdb(monaco,1,southEurope,'french franc',monaco,30000).
cdb(mongolia,604247,eastAsia,tughrik,'ulan bator',1360000).
cdb(morocco,171953,northAfrica,dirham,rabat,16310000).
cdb(mozambique,303373,southAfrica,escudo,'lourenco marques',8820000).
cdb(nauru,8,oceana,'australian dollar',yaren,7000).
cdb(nepal,54362,eastAsia,'nepalese rupee',katmandu,12020000).
cdb(netherlands,14192,northEurope,guilder,amsterdam,13500000).
cdb('new zealand',103736,oceana,'new zealand dollar',wellington,2962000).
cdb(niger,489206,westAfrica,'cfa franc',niamey,4300).
cdb(nigeria,356669,westAfrica,naira,lagos,79759000).
cdb(norway,125181,northEurope,krone,oslo,3960000).
cdb(oman,82000,middleEast,'riyal omani',muscat,720000).
cdb(pakistan,342750,indianSubcontinent,rupee,islamabad,66750000).
cdb('papua new guinea',183540,sea,'australian dollar','port moresby',2580000).
cdb(philippines,115707,southEastAsia,peso,'quezon city',40220000).
cdb(poland,120359,eastEurope,zloty,warsaw,33360000).
cdb(portugal,35340,southEurope,escudo,lisbon,8560000).
cdb(qatar,4000,middleEast,riyal,doha,115000).
cdb(rumania,91699,eastEurope,leu,bucharest,5690000).
cdb(rwanda,10169,centralAfrica,'rwanda franc',kigali,3980000).
cdb('sao taome',372,westAfrica,dobra,'sao tome',80000).
cdb('saudi arabia',873000,middleEast,riyal,riyadh,8100000).
cdb(senegal,761224,westAfrica,'cfa franc',dakar,4230000).
cdb(seychelles,91,eastAfrica,rupee,victoria,60000).
cdb('sierra leone',27925,westAfrica,leone,freetown,2860000).
cdb(singapore,226,southEastAsia,'singapore dollar',singapore,2190000).
cdb(somalia,246155,middleEast,'somali shilling',mogadishu,3100000).
cdb('south africa',471819,southAfrica,rand,pretoria,23720000).
cdb(spain,194883,southEurope,peseta,madrid,34800).
cdb('sri lanka',25332,indianSubcontinent,rupee,colombo,13250000).
cdb(sudan,967491,centralAfrica,pound,khartoum,16900000).
cdb(swaziland,6705,southAfrica,lilangeni,mbabane,460000).
cdb(sweden,173665,northEurope,krona,stockholm,8144000).
cdb(switzerland,15941,southEurope,franc,bern,6440000).
cdb(syria,71498,middleEast,'syrian pound',damascus,6895000).
cdb(taiwan,13592,eastAsia,'taiwan dollar',taipei,15737000).
cdb(tanzania,363708,eastAfrica,'tanzanian shilling','dar es salaam',14000000).
cdb(thailand,198455,southEastAsia,baht,bangkok,39950000).
cdb(togo,21853,westAfrica,'cfa franc',lome,2120000).
cdb(tonga,269,oceana,'pa''anga',nukualofa,90000).
cdb(tunisia,63378,northAfrica,dinar,tunis,5510000).
cdb(turkey,301380,middleEast,lira,ankara,37930000).
cdb(uganda,91134,eastAfrica,'uganda shilling',kampala,10810000).
cdb(uae,32278,middleEast,dirham,'abu dhabi',210000).
cdb(uk,94209,northEurope,pound,london,55930).
cdb(ussr,8647250,northAsia,ruble,moscow,250900).
cdb('upper volta',105869,westAfrica,'cfa franc',ouagadougou,5740000).
cdb('vatican city',1,southEurope,lira,'vatican city',723).
cdb(vietnam,126436,southEastAsia,dong,hanoi,41350000).
cdb('western samoa',1133,oceana,tala,apia,150000).
cdb(yemen,75289,middleEast,rial,sana,1600000).
cdb('south yemen',111000,middleEast,dinar,aden,1600000).
cdb(yugoslavia,98766,eastEurope,dinar,belgrade,21126000).
cdb(zaire,905063,centralAfrica,zaire,kinshasa,23560000).
cdb(zambia,290724,southAfrica,kwacha,lusaka,4640000).
cdb(zimbabwe,150333,southAfrica,dollar,salisbury,5690000).

/* no neighboring info on the old world countries yet........ */

/* here is the new world */

cdb(argentina,1072067,southAmerica,peso,'buenos aires',23920000).
cdb(bahamas,4404,carribean,'bahamian dollar',nassau,190000).
cdb(barbados,166,carribean,'east carribean dollar',bridgetown,240000).
cdb(belize,0,centralAmerica,unknown,belmopan,0).
cdb(bolivia,424162,southAmerica,peso,sucre,5330).
cdb(brazil,3286470,southAmerica,cruzeiro,brasilia,105137000).
cdb(canada,3851809,northAmerica,'canadian dollar',ottawa,22047000).
cdb(chile,286396,southAmerica,escudo,santiago,10230000).
cdb(columbia,455335,southAmerica,peso,bogota,23210000).
cdb('costa rica',19653,carribean,colon,'san jose',1890000).
cdb(cuba,44218,carribean,peso,havana,8870000).
cdb('dominican republic',18704,carribean,peso,'santa domingo',4430000).
cdb(ecuador,105685,southAmerica,sucre,quito,6730000).
cdb('el salvador',8260000,centralAmerica,colon,'san salvador',3860000).
cdb(grenada,133,carribean,'east carribean dollar','st george''s',100000).
cdb(guatemala,42042,centralAmerica,quetzal,'guatemala city',5540000).
cdb(guyana,83000,southAmerica,'guyana dollar',georgetown,760000).
cdb(haiti,10714,carribean,gourde,'port-au-prince',5200000).
cdb(honduras,43277,centralAmerica,lempira,tegucigalpa,2780000).
cdb(jamaica,4411,carribean,'jamaican dollar',kingston,1980000).
cdb(mexico,761601,centralAmerica,peso,'mexico city',54300000).
cdb(nicaragua,57143,centralAmerica,cordoba,managua,2010000).
cdb(panama,28753,centralAmerica,balboa,panama,1570000).
cdb(paraguay,157047,southAmerica,guarani,asuncion,2670000).
cdb(peru,496222,southAmerica,sol,lima,14910000).
cdb(suriname,63251,southAmerica,guilder,paramaribo,430000).
cdb('trinidad & tobago',1979,carribean,'trinidad & tobago dollar','port of spain',1060000).
cdb(us,3615122,northAmerica,dollar,washington,211210000).
cdb(uruguay,68548,southAmerica,peso,montevideo,2990000).
cdb(venezuala,352143,southAmerica,bolivar,caracas,11520).

cNeighbors('french guiana',[suriname,brazil]).
cNeighbors(argentina,[chile,bolivia,paraguay,uraguay,brazil]).
cNeighbors(bolivia,[chile,argentina,paraguay,brazil,peru]).
cNeighbors(brazil,[uruguay,paraguay,bolivia,peru,columbia,venezuela,guyana,suriname,'french guiana']).
cNeighbors(chile,[argentina,bolivia,peru]).
cNeighbors(columbia,[ecuador,venezuela,panama,brazil]).
cNeighbors(ecuador,[peru,columbia]).
cNeighbors(paraguay,[argentina,brazil,bolivia]).
cNeighbors(guyana,[brazil,venezuela,surinam]).
cNeighbors(peru,[chile,bolivia,brazil,ecuador,columbia]).
cNeighbors(suriname,[guyana,brazil,'french guiana']).
cNeighbors(uruguay,[argentina,brazil]).
cNeighbors(venezuela,[columbia,guyana,brazil]).
cNeighbors(panama,[columbia,'costa rica']).
cNeighbors('costa rica',[panama,nicaragua]).
cNeighbors(nicaragua,['costa rica',honduras]).
cNeighbors(honduras,[nicaragua,guatemala,'el salvador']).
cNeighbors('el salvador',[honduras,guatemala]).
cNeighbors(guatemala,['el salvador',honduras,belize,mexico]).
cNeighbors(belize,[guatemala,mexico]).
cNeighbors(mexico,[belize,guatemala,us]).
cNeighbors(us,[mexico,canada]).
cNeighbors(canada,[us]).

/* part(X,Y) is true if region X is an immediate part of region Y. */

part(northAmerica,america).
part(centralAmerica,america).
part(carribean,america).
part(southAmerica,america).
part(northAfrica,africa).
part(westAfrica,africa).
part(centralAfrica,africa).
part(eastAfrica,africa).
part(southernAfrica,africa).
part(northernEurope,europe).
part(southernEurope,europe).
part(easternEurope,europe).
part(southeastAsia,asia).
part(eastAsia,asia).
part(indiansubContinent,asia).
part(middleEast,asia).
part(northernAsia,asia).
part(australasia,oceana).
part(america,world).
part(europe,world).
part(asia,world).
part(africa,world).
part(oceana,world).
part(X,Y) :- cdb(X,_,Y,_,_,_).

/* cdb accessing predicates */

country(A) :- cdb(A,_,_,_,_,_).
cArea(A,B) :- cdb(A,B,_,_,_,_).
currency(A,B) :- cdb(A,_,_,B,_,_).
capital(A,B) :- cdb(A,_,_,_,B,_).
cPopulation(A,B) :- cdb(A,_,_,_,_,B).