geobase.dba

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

river("hudson",492,["new york","new jersey"])
river("neosho",740,["kansas","oklahoma"])
river("niobrara",693,["wyoming","nebraska"])
river("ouachita",973,["arkansas","louisiana"])
river("pearl",788,["michigan","louisiana"])
river("pecos",805,["new mexico","texas"])
river("powder",603,["wyoming","montana"])
river("roanoke",660,["virginia","north carolina"])
river("rock",459,["wisconsin","illinois"])
river("smoky hill",869,["colorado","kansas"])
river("south platte",682,["colorado","nebraska"])
river("st. francis",684,["missouri","arkansas"])
river("tombigbee",658,["mississippi","alabama"])
river("washita",805,["texas","oklahoma"])
river("wateree catawba",636,["north carolina","south carolina"])
river("white",1110,["arkansas","missouri","arkansas"])
border("alabama","al",["tennessee","georgia","florida","mississippi"])
border("alaska","ak",[])
border("arizona","az",["utah","colorado","new mexico","california","nevada"])
border("arkansas","ar",["missouri","tennessee","mississippi","louisiana","texas","oklahoma"])
border("california","ca",["oregon","nevada","arizona"])
border("colorado","co",["nebraska","kansas","oklahoma","new mexico","arizona","utah","wyoming"])
border("connecticut","ct",["massachusetts","rhode island","new york"])
border("delaware","de",["pennsylvania","new jersey","maryland"])
border("district of columbia","dc",["maryland","virginia"])
border("florida","fl",["georgia","alabama"])
border("georgia","ga",["north carolina","south carolina","florida","alabama","tennessee"])
border("hawaii","hi",[])
border("idaho","id",["montana","wyoming","utah","nevada","oregon","washington"])
border("illinois","il",["wisconsin","indiana","kentucky","missouri","iowa"])
border("indiana","in",["michigan","ohio","kentucky","illinois"])
border("iowa","ia",["minnesota","wisconsin","illinois","missouri","nebraska","south dakota"])
border("kansas","ks",["nebraska","missouri","oklahoma","colorado"])
border("kentucky","ky",["indiana","ohio","west virginia","virginia","tennessee","missouri","illinois"])
border("louisiana","la",["arkansas","mississippi","texas"])
border("maine","me",["new hampshire"])
border("maryland","md",["pennsylvania","delaware","virginia","district of columbia","west virginia"])
border("massachusetts","ma",["new hampshire","rhode island","connecticut","new york","vermont"])
border("michigan","mi",["ohio","indiana","wisconsin"])
border("minnesota","mn",["wisconsin","iowa","south dakota","north dakota"])
border("mississippi","ms",["tennessee","alabama","louisiana","arkansas"])
border("missouri","mo",["iowa","illinois","kentucky","tennessee","arkansas","oklahoma","kansas","nebraska"])
border("montana","mt",["north dakota","south dakota","wyoming","idaho"])
border("nebraska","ne",["south dakota","iowa","missouri","kansas","colorado","wyoming"])
border("nevada","nv",["idaho","utah","arizona","california","oregon"])
border("new hampshire","nh",["maine","massachusetts","vermont"])
border("new jersey","nj",["new york","delaware","pennsylvania"])
border("new mexico","nm",["colorado","oklahoma","texas","arizona","utah"])
border("new york","ny",["vermont","massachusetts","connecticut","new jersey","pennsylvania"])
border("north carolina","nc",["virginia","south carolina","georgia","tennessee"])
border("north dakota","nd",["minnesota","south dakota","montana"])
border("ohio","oh",["michigan","pennsylvania","west virginia","kentucky","indiana"])
border("oklahoma","ok",["kansas","missouri","arkansas","texas","new mexico","colorado"])
border("oregon","or",["washington","idaho","nevada","california"])
border("pennsylvania","pa",["new york","new jersey","delaware","maryland","west virginia","ohio"])
border("rhode island","ri",["massachusetts","connecticut"])
border("south carolina","sc",["north carolina","georgia"])
border("south dakota","sd",["north dakota","minnesota","iowa","nebraska","wyoming","montana"])
border("tennessee","tn",["kentucky","virginia","north carolina","georgia","alabama","mississippi","arkansas","missouri"])
border("texas","tx",["oklahoma","arkansas","louisiana","new mexico"])
border("utah","ut",["wyoming","colorado","new mexico","arizona","nevada","idaho"])
border("vermont","vt",["new hampshire","massachusetts","new york"])
border("virginia","va",["maryland","district of columbia","north carolina","tennessee","kentucky","west virginia"])
border("washington","wa",["idaho","oregon"])
border("west virginia","wv",["pennsylvania","maryland","virginia","kentucky","ohio"])
border("wisconsin","wi",["michigan","illinois","iowa","minnesota"])
border("wyoming","wy",["montana","south dakota","nebraska","colorado","utah","idaho"])
highlow("alabama","al","cheaha mountain",734,"gulf of mexico",0)
highlow("alaska","ak","mount mckinley",6194,"pacific ocean",0)
highlow("arizona","az","humphreys peak",3851,"colorado river",21)
highlow("arkansas","ar","magazine mountain",839,"ouachita river",17)
highlow("california","ca","mount whitney",4418,"death valley",-85)
highlow("colorado","co","mount elbert",4399,"arkansas river",1021)
highlow("connecticut","ct","mount frissell",725,"long island sound",0)
highlow("delaware","de","centerville",135,"atlantic ocean",0)
highlow("district of columbia","dc","tenleytown",125,"potomac river",0)
highlow("florida","fl","walton county",105,"atlantic ocean",0)
highlow("georgia","ga","brasstown bald",1458,"atlantic ocean",0)
highlow("hawaii","hi","mauna kea",4205,"pacific ocean",0)
highlow("idaho","id","borah peak",3859,"snake river",216)
highlow("illinois","il","charles mound",376,"mississippi river",85)
highlow("indiana","in","franklin township",383,"ohio river",98)
highlow("iowa","ia","ocheyedan mound",511,"mississippi river",146)
highlow("kansas","ks","mount sunflower",1231,"verdigris river",207)
highlow("kentucky","ky","black mountain",1263,"mississippi river",78)
highlow("louisiana","la","driskill mountain",163,"new orleans",-1)
highlow("maine","me","mount katahdin",1606,"atlantic ocean",0)
highlow("maryland","md","backbone mountain",1024,"atlantic ocean",0)
highlow("massachusetts","ma","mount greylock",1064,"atlantic ocean",0)
highlow("michigan","mi","mount curwood",604,"lake erie",174)
highlow("minnesota","mn","eagle mountain",701,"lake superior",183)
highlow("mississippi","ms","woodall mountain",246,"gulf of mexico",0)
highlow("missouri","mo","taum sauk mountain",540,"st. francis river",70)
highlow("montana","mt","granite peak",3901,"kootenai river",549)
highlow("nebraska","ne","johnson township",1654,"southeast corner",256)
highlow("nevada","nv","boundary peak",4005,"colorado river",143)
highlow("new hampshire","nh","mount washington",1917,"atlantic ocean",0)
highlow("new jersey","nj","high point",550,"atlantic ocean",0)
highlow("new mexico","nm","wheeler peak",4011,"red bluff reservoir",859)
highlow("new york","ny","mount marcy",1629,"atlantic ocean",0)
highlow("north carolina","nc","mount mitchell",2037,"atlantic ocean",0)
highlow("north dakota","nd","white butte",1069,"red river",229)
highlow("ohio","oh","campbell hill",472,"ohio river",132)
highlow("oklahoma","ok","black mesa",1516,"little river",87)
highlow("oregon","or","mount hood",3424,"pacific ocean",0)
highlow("pennsylvania","pa","mount davis",979,"delaware river",0)
highlow("rhode island","ri","jerimoth hill",247,"atlantic ocean",0)
highlow("south carolina","sc","sassafras mountain",1085,"atlantic ocean",0)
highlow("south dakota","sd","harney peak",2207,"big stone lake",284)
highlow("tennessee","tn","clingmans dome",2025,"mississippi river",55)
highlow("texas","tx","guadalupe peak",2667,"gulf of mexico",0)
highlow("utah","ut","kings peak",4123,"beaver dam creek",610)
highlow("vermont","vt","mount mansfield",1339,"lake champlain",29)
highlow("virginia","va","mount rogers",1746,"atlantic ocean",0)
highlow("washington","wa","mount rainier",4392,"pacific ocean",0)
highlow("west virginia","wv","spruce knob",1482,"potomac river",73)
highlow("wisconsin","wi","timms hill",595,"lake michigan",177)
highlow("wyoming","wy","gannett peak",4202,"belle fourche river",945)
mountain("alaska","ak","mckinley",6194)
mountain("alaska","ak","st. elias",5489)
mountain("alaska","ak","foraker",5304)
mountain("alaska","ak","bona",5044)
mountain("alaska","ak","blackburn",4996)
mountain("alaska","ak","kennedy",4964)
mountain("alaska","ak","sanford",4949)
mountain("alaska","ak","south buttress",4842)
mountain("alaska","ak","vancouver",4785)
mountain("alaska","ak","churchill",4766)
mountain("alaska","ak","fairweather",4663)
mountain("alaska","ak","hubbard",4577)
mountain("alaska","ak","bear",4520)
mountain("alaska","ak","east buttress",4490)
mountain("alaska","ak","hunter",4442)
mountain("alaska","ak","alverstone",4439)
mountain("alaska","ak","browne tower",4429)
mountain("california","ca","whitney",4418)
mountain("colorado","co","elbert",4399)
mountain("colorado","co","massive",4396)
mountain("colorado","co","harvard",4395)
mountain("washington","wa","rainier",4392)
mountain("california","ca","williamson",4382)
mountain("colorado","co","bianca",4372)
mountain("colorado","co","la plata",4370)
mountain("colorado","co","uncompahgre",4361)
mountain("colorado","co","crestone",4357)
mountain("colorado","co","lincoln",4354)
mountain("colorado","co","grays",4349)
mountain("colorado","co","antero",4349)
mountain("colorado","co","torreys",4349)
mountain("colorado","co","castle",4348)
mountain("colorado","co","quandary",4348)
mountain("colorado","co","evans",4348)
mountain("colorado","co","longs",4345)
mountain("colorado","co","wilson",4342)
mountain("california","ca","white",4342)
mountain("california","ca","north palisade",4341)
mountain("colorado","co","shavano",4337)
mountain("colorado","co","belford",4327)
mountain("colorado","co","princeton",4327)
mountain("colorado","co","crestone needle",4327)
mountain("colorado","co","yale",4327)
mountain("colorado","co","bross",4320)
mountain("colorado","co","kit carson",4317)
mountain("alaska","ak","wrangell",4317)
mountain("california","ca","shasta",4317)
mountain("california","ca","sill",4317)
mountain("colorado","co","el diente",4316)
mountain("colorado","co","maroon",4315)
road("95",["maine","new hampshire","rhode island","connecticut","new york","new jersey","delaware","maryland","district of columbia","virginia","north carolina","south carolina","georgia","florida"])
road("90",["massachusetts","new york","pennsylvania","ohio","indiana","illinois","wisconsin","minnesota","south dakota","wyoming","montana","idaho","washington"])
road("80",["new york","new jersey","pennsylvania","ohio","indiana","illinois","iowa","nebraska","wyoming","utah","nevada","california"])
road("70",["district of columbia","maryland","pennsylvania","ohio","indiana","illinois","missouri","kansas","colorado","utah"])
road("10",["florida","alabama","mississippi","louisiana","texas","new mexico","arizona","california"])
road("40",["north carolina","tennessee","arkansas","oklahoma","texas","new mexico","arizona","california"])
road("15",["montana","idaho","utah","arizona","nevada","california"])
road("20",["south carolina","georgia","alabama","mississippi","louisiana","texas"])
road("35",["minnesota","iowa","missouri","kansas","oklahoma","texas"])
road("55",["illinois","missouri","arkansas","tennessee","mississippi","louisiana"])
road("64",["virginia","west virginia","kentucky","indiana","illinois","missouri"])
road("75",["michigan","ohio","kentucky","tennessee","georgia","florida"])
road("81",["new york","pennsylvania","maryland","west virginia","virginia","tennessee"])
road("77",["ohio","west virginia","virginia","north carolina","south carolina"])
road("85",["virginia","north carolina","south carolina","georgia","alabama"])
road("94",["illinois","wisconsin","minnesota","north dakota","montana"])
road("29",["north dakota","south dakota","iowa","missouri"])
road("65",["indiana","kentucky","tennessee","alabama"])
road("84",["connecticut","new york","new jersey","pennsylvania"])
road("5",["washington","oregon","california"])
road("24",["tennessee","kentucky","illinois"])
road("25",["wyoming","colorado","new mexico"])
road("44",["missouri","oklahoma","texas"])
road("59",["tennessee","georgia","alabama"])
road("74",["ohio","indiana","illinois"])
road("78",["new york","new jersey","pennsylvania"])
road("84",["utah","idaho","oregon"])
road("91",["vermont","massachusetts","connecticut"])
road("93",["new hampshire","vermont","massachusetts"])
road("8",["arizona","california"])
road("30",["arkansas","texas"])
road("57",["illinois","missouri"])
road("66",["district of columbia","virginia"])
road("69",["michigan","indiana"])
road("71",["ohio","kentucky"])
road("76",["nebraska","colorado"])
road("79",["pennsylvania","west virginia"])
road("83",["pennsylvania","maryland"])
road("86",["massachusetts","connecticut"])
road("89",["vermont","new hampshire"])
lake("superior",82362,["michigan","wisconsin","minnesota"])
lake("huron",59570,["michigan"])
lake("michigan",58016,["michigan","indiana","illinois","wisconsin"])
lake("erie",25667,["new york","pennsylvania","ohio","michigan"])
lake("ontario",19684,["new york"])
lake("great salt lake",5180,["utah"])
lake("lake of the woods",4391,["minnesota"])
lake("iliamna",2675,["alaska"])
lake("okeechobee",1810,["florida"])
lake("pontchartrain",1632,["louisiana"])
lake("becharof",1186,["alaska"])
lake("red",1169,["minnesota"])
lake("st. clair",1119,["michigan"])
lake("champlain",1114,["vermont","new york"])
lake("rainy",932,["minnesota"])
lake("salton sea",932,["california"])
lake("teshekpuk",816,["alaska"])
lake("naknek",630,["alaska"])
lake("winnebago",557,["wisconsin"])
lake("mille lacs",536,["minnesota"])
lake("flathead",510,["montana"])
lake("tahoe",497,["nevada","california"])