geobase.dba

prolog,人工智能推理程序,运行环境prolog

state("alabama","al","montgomery",3894e3,51.7e3,22,"birmingham","mobile","montgomery","huntsville")
state("alaska","ak","juneau",401.8e3,591e3,49,"anchorage","fairbanks","juneau","sitka")
state("arizona","az","phoenix",2718e3,114e3,48,"phoenix","tucson","mesa","tempe")
state("arkansas","ar","little rock",2286e3,53.2e3,25,"little rock","fort smith","north little rock","pine bluff")
state("california","ca","sacramento",23.67e6,158e3,31,"los angeles","san diego","san francisco","san jose")
state("colorado","co","denver",2889e3,104e3,38,"denver","colorado springs","aurora","lakewood")
state("connecticut","ct","hartford",3107e3,5.02e3,5,"bridgeport","hartford","new haven","waterbury")
state("delaware","de","dover",594e3,2044,1,"wilmington","newark","dover","brookside")
state("florida","fl","tallahassee",9746e3,68664,27,"jacksonville","miami","tampa","st. petersburg")
state("georgia","ga","atlanta",5463e3,58.9e3,4,"atlanta","columbus","savannah","macon")
state("hawaii","hi","honolulu",964e3,6471,50,"honolulu","ewa","koolaupoko","wahiawa")
state("idaho","id","boise",944e3,83.e3,43,"boise","pocatello","idaho falls","lewiston")
state("illinois","il","springfield",11.4e6,56.3e3,21,"chicago","rockford","peoria","springfield")
state("indiana","in","indianapolis",5490e3,36.2e3,19,"indianapolis","fort wayne","gary","evansville")
state("iowa","ia","des moines",2913.e3,56.3e3,29,"des moines","cedar rapids","davenport","sioux city")
state("kansas","ks","topeka",2364e3,82.3e3,34,"wichita","kansas city","topeka","overland park")
state("kentucky","ky","frankfort",2364.e3,82.3e3,15,"louisville","lexington","owensboro","covington")
state("louisiana","la","baton rouge",4206e3,47.7e3,18,"new orleans","baton rouge","shreveport","metairie")
state("maine","me","augusta",1125e3,33265,23,"portland","lewiston","bangor","auburn")
state("maryland","md","annapolis",4217.e3,10460,7,"baltimore","silver spring","dundalk","bethesda")
state("massachusetts","ma","boston",5737e3,8284,6,"boston","worcester","springfield","new bedford")
state("michigan","mi","lansing",9262e3,58.5e3,26,"detroit","grand rapids","warren","flint")
state("minnesota","mn","st. paul",4076e3,84.4e3,32,"minneapolis","st. paul","duluth","bloomington")
state("mississippi","ms","jackson",2520e3,47.7e3,20,"jackson","biloxi","meridian","hattiesburg")
state("missouri","mo","jefferson city",4916e3,69.7e3,24,"st. louis","kansas city","springfield","independence")
state("montana","mt","helena",786.7,147e3,41,"billings","great falls","butte","missoula")
state("nebraska","ne","lincoln",1569e3,77.3e3,37,"omaha","lincoln","grand island","north platte")
state("nevada","nv","carson city",800.5e3,110.5e3,36,"las vegas","reno","sunrise manor","sparks")
state("new hampshire","nh","concord",920.6e3,9279,9,"manchester","nashua","concord","portsmouth")
state("new jersey","nj","trenton",7365e3,7787,3,"newark","jersey city","paterson","elizabeth")
state("new mexico","nm","santa fe",1303e3,121.6e3,47,"albuquerque","santa fe","las cruces","roswell")
state("new york","ny","albany",17.558e6,49.1e3,11,"new york","buffalo","rochester","yonkers")
state("north carolina","nc","raleigh",5882e3,52.67e3,12,"charlotte","greensboro","raleigh","winston-salem")
state("north dakota","nd","bismarck",652.7e3,70.7e3,39,"fargo","bismarck","grand forks","minot")
state("ohio","oh","columbus",10.8e6,41.3e3,17,"cleveland","columbus","cincinnati","toledo")
state("oklahoma","ok","oklahoma city",3025e3,69.95e3,46,"oklahoma city","tulsa","lawton","norman")
state("oregon","or","salem",2633e3,97073,33,"portland","eugene","salem","springfield")
state("pennsylvania","pa","harrisburg",11.863e6,45308,2,"philadelphia","pittsburgh","erie","allentown")
state("rhode island","ri","providence",947.2e3,1212,13,"providence","warwick","cranston","pawtucket")
state("south carolina","sc","columbia",3121.8e3,31.113e3,8,"columbia","charleston","north charleston","greenville")
state("south dakota","sd","pierre",690.767e3,77116,40,"sioux falls","rapid city","aberdeen","watertown")
state("tennessee","tn","nashville",4591e3,42.14e3,16,"memphis","nashville","knoxville","chattanooga")
state("texas","tx","austin",14.229e6,266.807e3,28,"houston","dallas","san antonio","el paso")
state("utah","ut","salt lake city",1461e3,84.9e3,45,"salt lake city","provo","west valley","ogden")
state("vermont","vt","montpelier",511.5e3,9614,14,"burlington","rutland","bennington","essex")
state("virginia","va","richmond",5346.8e3,40.76e3,10,"norfolk","virginia beach","richmond","arlington")
state("washington","wa","olympia",41.132e6,68.139e3,42,"seattle","spokane","tacoma","bellevue")
state("west virginia","wv","charleston",1.95e6,24.2e3,35,"charleston","huntington","wheeling","parkersburg")
state("wisconsin","wi","madison",4.7e6,56153,30,"milwaukee","madison","green bay","racine")
state("wyoming","wy","cheyenne",469.557e3,97.809e3,44,"casper","cheyenne","laramie","rock springs")
city("alabama","al","birmingham",284413)
city("alabama","al","mobile",200452)
city("alabama","al","montgomery",177857)
city("alabama","al","huntsville",142513)
city("alabama","al","tuscaloosa",75143)
city("alaska","ak","anchorage",174431)
city("arizona","az","phoenix",789704)
city("arizona","az","tucson",330537)
city("arizona","az","mesa",152453)
city("arizona","az","tempe",106919)
city("arizona","az","glendale",96988)
city("arizona","az","scottsdale",88622)
city("arkansas","ar","little rock",158915)
city("arkansas","ar","fort smith",71384)
city("arkansas","ar","north little rock",64388)
city("california","ca","los angeles",2966850)
city("california","ca","san diego",875538)
city("california","ca","san francisco",678974)
city("california","ca","san jose",629442)
city("california","ca","long beach",361334)
city("california","ca","oakland",339337)
city("california","ca","sacramento",275741)
city("california","ca","anaheim",219311)
city("california","ca","fresno",218202)
city("california","ca","santa ana",203713)
city("california","ca","riverside",170876)
city("california","ca","huntington beach",170505)
city("california","ca","stockton",149779)
city("california","ca","glendale",139060)
city("california","ca","fremont",131945)
city("california","ca","torrance",131497)
city("california","ca","garden grove",123351)
city("california","ca","san bernardino",118794)
city("california","ca","pasadena",118072)
city("california","ca","east los angeles",110017)
city("california","ca","oxnard",108195)
city("california","ca","modesto",106963)
city("california","ca","sunnyvale",106618)
city("california","ca","bakersfield",105611)
city("california","ca","concord",103763)
city("california","ca","berkeley",103328)
city("california","ca","fullerton",102246)
city("california","ca","inglewood",94162)
city("california","ca","hayward",93585)
city("california","ca","pomona",92742)
city("california","ca","orange",91450)
city("california","ca","ontario",88820)
city("california","ca","santa monica",88314)
city("california","ca","santa clara",87700)
city("california","ca","citrus heights",85911)
city("california","ca","norwalk",84901)
city("california","ca","burbank",84625)
city("california","ca","chula vista",83927)
city("california","ca","santa rosa",83205)
city("california","ca","downey",82602)
city("california","ca","costa mesa",82291)
city("california","ca","compton",81230)
city("california","ca","carson",81221)
city("california","ca","salinas",80479)
city("california","ca","west covina",80292)
city("california","ca","vallejo",80188)
city("california","ca","el monte",79494)
city("california","ca","daly city",78519)
city("california","ca","thousand oaks",77797)
city("california","ca","san mateo",77640)
city("california","ca","simi valley",77500)
city("california","ca","oceanside",76698)
city("california","ca","richmond",74676)
city("california","ca","lakewood",74654)
city("california","ca","santa barbara",74542)
city("california","ca","el cajon",73892)
city("california","ca","ventura",73774)
city("california","ca","westminster",71133)
city("california","ca","whittier",68558)
city("california","ca","south gate",66784)
city("california","ca","alhambra",64767)
city("california","ca","buena park",64165)
city("california","ca","san leandro",63952)
city("california","ca","alameda",63852)
city("california","ca","newport beach",63475)
city("california","ca","escondido",62480)
city("california","ca","irvine",62134)
city("california","ca","mountain view",58655)
city("california","ca","fairfield",58099)
city("california","ca","redondo beach",57102)
city("california","ca","scotts valley",6037)
city("colorado","co","denver",492365)
city("colorado","co","colorado springs",215150)
city("colorado","co","aurora",158588)
city("colorado","co","lakewood",113808)
city("colorado","co","pueblo",101686)
city("colorado","co","arvada",84576)
city("colorado","co","boulder",76685)
city("colorado","co","fort collins",64632)
city("connecticut","ct","bridgeport",142546)
city("connecticut","ct","hartford",136392)
city("connecticut","ct","new haven",126089)
city("connecticut","ct","waterbury",103266)
city("connecticut","ct","stamford",102466)
city("connecticut","ct","norwalk",77767)
city("connecticut","ct","new britain",73840)
city("connecticut","ct","west hartford",61301)
city("connecticut","ct","danbury",60470)
city("connecticut","ct","greenwich",59578)
city("connecticut","ct","bristol",57370)
city("connecticut","ct","meriden",57118)
city("delaware","de","wilmington",70195)
city("district of columbia","dc","washington",638333)
city("florida","fl","jacksonville",540920)
city("florida","fl","miami",346865)
city("florida","fl","tampa",271523)
city("florida","fl","st. petersburg",238647)
city("florida","fl","fort lauderdale",153256)
city("florida","fl","orlando",128394)
city("florida","fl","hollywood",117188)
city("florida","fl","miami beach",96298)
city("florida","fl","clearwater",85450)
city("florida","fl","tallahassee",81548)
city("florida","fl","gainesville",81371)
city("florida","fl","kendall",73758)
city("florida","fl","west palm beach",62530)
city("florida","fl","largo",58977)
city("florida","fl","pensacola",57619)
city("georgia","ga","atlanta",425022)
city("georgia","ga","columbus",169441)
city("georgia","ga","savannah",141654)
city("georgia","ga","macon",116860)
city("georgia","ga","albany",74425)
city("hawaii","hi","honolulu",762874)
city("hawaii","hi","ewa",190037)
city("hawaii","hi","koolaupoko",109373)
city("idaho","id","boise",102249)
city("illinois","il","chicago",3005172)
city("illinois","il","rockford",139712)
city("illinois","il","peoria",124160)
city("illinois","il","springfield",100054)
city("illinois","il","decatur",93939)
city("illinois","il","aurora",81293)
city("illinois","il","joliet",77956)
city("illinois","il","evanston",73706)
city("illinois","il","waukegan",67653)
city("illinois","il","arlington heights",66116)
city("illinois","il","elgin",63668)
city("illinois","il","cicero",61232)
city("illinois","il","oak lawn",60590)
city("illinois","il","skokie",60278)
city("illinois","il","champaign",58267)
city("indiana","in","indianapolis",700807)
city("indiana","in","fort wayne",172196)
city("indiana","in","gary",151968)
city("indiana","in","evansville",130496)
city("indiana","in","south bend",109727)
city("indiana","in","hammond",93714)
city("indiana","in","muncie",77216)
city("indiana","in","anderson",64695)
city("indiana","in","terre haute",61125)
city("iowa","ia","des moines",191003)
city("iowa","ia","cedar rapids",110243)
city("iowa","ia","davenport",103254)
city("iowa","ia","sioux city",82003)
city("iowa","ia","waterloo",75985)
city("iowa","ia","dubuque",62321)
city("kansas","ks","wichita",279212)
city("kansas","ks","kansas city",161148)
city("kansas","ks","topeka",118690)
city("kansas","ks","overland park",81784)
city("kentucky","ky","louisville",298451)
city("kentucky","ky","lexington",204165)
city("louisiana","la","new orleans",557515)
city("louisiana","la","baton rouge",219419)
city("louisiana","la","shreveport",205820)
city("louisiana","la","metairie",164160)
city("louisiana","la","lafayette",80584)
city("louisiana","la","lake charles",75051)
city("louisiana","la","kenner",66382)
city("louisiana","la","monroe",57597)
city("maine","me","portland",61572)
city("maryland","md","baltimore",786775)
city("maryland","md","silver spring",72893)
city("maryland","md","dundalk",71293)
city("maryland","md","bethesda",63022)
city("massachusetts","ma","boston",562994)
city("massachusetts","ma","worcester",161799)