geobase.dba

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

city("massachusetts","ma","springfield",152319)
city("massachusetts","ma","new bedford",98478)
city("massachusetts","ma","cambridge",95322)
city("massachusetts","ma","brockton",95172)
city("massachusetts","ma","fall river",92574)
city("massachusetts","ma","lowell",92418)
city("massachusetts","ma","quincy",84743)
city("massachusetts","ma","newton",83622)
city("massachusetts","ma","lynn",78471)
city("massachusetts","ma","somerville",77372)
city("massachusetts","ma","framingham",65113)
city("massachusetts","ma","lawrence",63175)
city("massachusetts","ma","waltham",58200)
city("massachusetts","ma","medford",58076)
city("michigan","mi","detroit",1203339)
city("michigan","mi","grand rapids",181843)
city("michigan","mi","warren",161134)
city("michigan","mi","flint",159611)
city("michigan","mi","lansing",130414)
city("michigan","mi","sterling heights",108999)
city("michigan","mi","ann arbor",107969)
city("michigan","mi","livonia",104814)
city("michigan","mi","dearborn",90660)
city("michigan","mi","westland",84603)
city("michigan","mi","kalamazoo",79722)
city("michigan","mi","taylor",77568)
city("michigan","mi","saginaw",77508)
city("michigan","mi","pontiac",76715)
city("michigan","mi","st. clair shores",76210)
city("michigan","mi","southfield",75568)
city("michigan","mi","clinton",72400)
city("michigan","mi","royal oak",70893)
city("michigan","mi","dearborn heights",67706)
city("michigan","mi","troy",67102)
city("michigan","mi","waterford",64250)
city("michigan","mi","wyoming",59616)
city("michigan","mi","redford",58441)
city("michigan","mi","farmington hills",58056)
city("minnesota","mn","minneapolis",370951)
city("minnesota","mn","st. paul",270230)
city("minnesota","mn","duluth",92811)
city("minnesota","mn","bloomington",81831)
city("minnesota","mn","rochester",57906)
city("mississippi","ms","jackson",202895)
city("missouri","mo","st. louis",453085)
city("missouri","mo","kansas city",448159)
city("missouri","mo","springfield",133116)
city("missouri","mo","independence",111797)
city("missouri","mo","st. joseph",76691)
city("missouri","mo","columbia",62061)
city("montana","mt","billings",66842)
city("montana","mt","great falls",56725)
city("nebraska","ne","omaha",314255)
city("nebraska","ne","lincoln",171932)
city("nevada","nv","las vegas",164674)
city("nevada","nv","reno",100756)
city("new hampshire","nh","manchester",90936)
city("new hampshire","nh","nashua",67865)
city("new jersey","nj","newark",329248)
city("new jersey","nj","jersey city",223532)
city("new jersey","nj","paterson",137970)
city("new jersey","nj","elizabeth",106201)
city("new jersey","nj","trenton",92124)
city("new jersey","nj","woodbridge",90074)
city("new jersey","nj","camden",84910)
city("new jersey","nj","east orange",77878)
city("new jersey","nj","clifton",74388)
city("new jersey","nj","edison",70193)
city("new jersey","nj","cherry hill",68785)
city("new jersey","nj","bayonne",65047)
city("new jersey","nj","middletown",61615)
city("new jersey","nj","irvington",61493)
city("new mexico","nm","albuquerque",331767)
city("new york","ny","new york",7071639)
city("new york","ny","buffalo",357870)
city("new york","ny","rochester",241741)
city("new york","ny","yonkers",195351)
city("new york","ny","syracuse",170105)
city("new york","ny","albany",101727)
city("new york","ny","cheektowaga",92145)
city("new york","ny","utica",75632)
city("new york","ny","niagara falls",71384)
city("new york","ny","new rochelle",70794)
city("new york","ny","schenectady",67972)
city("new york","ny","mount vernon",66713)
city("new york","ny","irondequoit",57648)
city("new york","ny","levittown",57045)
city("north carolina","nc","charlotte",314447)
city("north carolina","nc","greensboro",155642)
city("north carolina","nc","raleigh",149771)
city("north carolina","nc","winston-salem",131885)
city("north carolina","nc","durham",100538)
city("north carolina","nc","high point",64107)
city("north carolina","nc","fayetteville",59507)
city("north dakota","nd","fargo",61308)
city("ohio","oh","cleveland",573822)
city("ohio","oh","columbus",564871)
city("ohio","oh","cincinnati",385457)
city("ohio","oh","toledo",354635)
city("ohio","oh","akron",237177)
city("ohio","oh","dayton",203371)
city("ohio","oh","youngstown",115436)
city("ohio","oh","canton",93077)
city("ohio","oh","parma",92548)
city("ohio","oh","lorain",75416)
city("ohio","oh","springfield",72563)
city("ohio","oh","hamilton",63189)
city("ohio","oh","lakewood",61963)
city("ohio","oh","kettering",61186)
city("ohio","oh","euclid",59999)
city("ohio","oh","elyria",57504)
city("oklahoma","ok","oklahoma city",403213)
city("oklahoma","ok","tulsa",360919)
city("oklahoma","ok","lawton",80054)
city("oklahoma","ok","norman",68020)
city("oregon","or","portland",366383)
city("oregon","or","eugene",105664)
city("oregon","or","salem",89233)
city("pennsylvania","pa","philadelphia",1688210)
city("pennsylvania","pa","pittsburgh",423938)
city("pennsylvania","pa","erie",119123)
city("pennsylvania","pa","allentown",103758)
city("pennsylvania","pa","scranton",88117)
city("pennsylvania","pa","upper darby",84054)
city("pennsylvania","pa","reading",78686)
city("pennsylvania","pa","bethlehem",70419)
city("pennsylvania","pa","lower merion",59651)
city("pennsylvania","pa","abingdon",59084)
city("pennsylvania","pa","bristol township",58733)
city("pennsylvania","pa","penn hills",57632)
city("pennsylvania","pa","altoona",57078)
city("rhode island","ri","providence",156804)
city("rhode island","ri","warwick",87123)
city("rhode island","ri","cranston",71992)
city("rhode island","ri","pawtucket",71204)
city("south carolina","sc","columbia",101229)
city("south carolina","sc","charleston",69855)
city("south carolina","sc","north charleston",62504)
city("south carolina","sc","greenville",58242)
city("south dakota","sd","sioux falls",81343)
city("tennessee","tn","memphis",646356)
city("tennessee","tn","nashville",455651)
city("tennessee","tn","knoxville",175030)
city("tennessee","tn","chattanooga",169728)
city("texas","tx","houston",1595138)
city("texas","tx","dallas",904078)
city("texas","tx","san antonio",785880)
city("texas","tx","el paso",425259)
city("texas","tx","fort worth",385164)
city("texas","tx","austin",345496)
city("texas","tx","corpus christi",231999)
city("texas","tx","lubbock",173979)
city("texas","tx","arlington",160123)
city("texas","tx","amarillo",149230)
city("texas","tx","garland",138857)
city("texas","tx","beaumont",118102)
city("texas","tx","pasadena",112560)
city("texas","tx","irving",109943)
city("texas","tx","waco",101261)
city("texas","tx","abilene",98315)
city("texas","tx","wichita falls",94201)
city("texas","tx","laredo",91449)
city("texas","tx","odessa",90027)
city("texas","tx","brownsville",84997)
city("texas","tx","san angelo",73240)
city("texas","tx","richardson",72496)
city("texas","tx","plano",72331)
city("texas","tx","grand prairie",71462)
city("texas","tx","midland",70525)
city("texas","tx","tyler",70508)
city("texas","tx","mesquite",67053)
city("texas","tx","mcallen",67042)
city("texas","tx","longview",62762)
city("texas","tx","port arthur",61195)
city("utah","ut","salt lake city",163034)
city("utah","ut","provo",74111)
city("utah","ut","west valley",72299)
city("utah","ut","ogden",64407)
city("virginia","va","norfolk",266979)
city("virginia","va","virginia beach",262199)
city("virginia","va","richmond",219214)
city("virginia","va","arlington",152599)
city("virginia","va","newport news",144903)
city("virginia","va","hampton",122617)
city("virginia","va","chesapeake",114226)
city("virginia","va","portsmouth",104577)
city("virginia","va","alexandria",103217)
city("virginia","va","roanoke",100427)
city("virginia","va","lynchburg",66743)
city("washington","wa","seattle",493846)
city("washington","wa","spokane",171300)
city("washington","wa","tacoma",158501)
city("washington","wa","bellevue",73903)
city("west virginia","wv","charleston",63968)
city("west virginia","wv","huntington",63684)
city("wisconsin","wi","milwaukee",636212)
city("wisconsin","wi","madison",170616)
city("wisconsin","wi","green bay",87899)
city("wisconsin","wi","racine",85725)
city("wisconsin","wi","kenosha",77685)
city("wisconsin","wi","west allis",63982)
city("wisconsin","wi","appleton",58913)
city("wyoming","wy","casper",51016)
river("mississippi",3778,["minnesota","wisconsin","iowa","illinois","missouri","kentucky","tennessee","arkansas","mississippi","louisiana","louisiana"])
river("missouri",3968,["montana","north dakota","south dakota","iowa","nebraska","missouri","missouri"])
river("colorado",2333,["colorado","utah","arizona","nevada","california"])
river("ohio",1569,["pennsylvania","west virginia","kentucky","indiana","illinois","illinois","ohio"])
river("red",1638,["new mexico","texas","oklahoma","arkansas","arkansas","louisiana"])
river("arkansas",2333,["colorado","kansas","oklahoma","arkansas"])
river("canadian",1458,["colorado","new mexico","texas","oklahoma"])
river("connecticut",655,["new hampshire","vermont","massachusetts","connecticut"])
river("delaware",451,["new york","pennsylvania","new jersey","delaware"])
river("little missouri",901,["wyoming","montana","south dakota","north dakota"])
river("snake",1670,["wyoming","idaho","oregon","washington","washington"])
river("chattahoochee",702,["georgia","georgia","florida"])
river("cimarron",965,["new mexico","kansas","oklahoma"])
river("green",1175,["wyoming","utah","colorado","utah"])
river("north platte",1094,["colorado","wyoming","nebraska"])
river("potomac",462,["west virginia","maryland","virginia","district of columbia"])
river("republican",679,["colorado","nebraska","kansas"])
river("rio grande",3033,["colorado","new mexico","texas"])
river("san juan",579,["colorado","new mexico","colorado","utah"])
river("tennessee",1049,["tennessee","alabama","tennessee","kentucky"])
river("wabash",764,["ohio","indiana","illinois"])
river("yellowstone",1080,["wyoming","montana","north dakota"])
river("allegheny",523,["pennsylvania","new york","pennsylvania"])
river("bighorn",541,["wyoming","montana"])
river("cheyenne",848,["wyoming","north dakota"])
river("clark fork",483,["montana","idaho"])
river("columbia",1953,["washington","oregon"])
river("cumberland",1105,["kentucky","tennessee","kentucky"])
river("dakota",1142,["north dakota","south dakota"])
river("gila",805,["new mexico","arizona"])