1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
<!DOCTYPE html>
<html lang="sl">
<head>
<meta charset="utf-8" />
<title>Prolog: države sveta</title>
<link rel="stylesheet" type="text/css" href="/css/codeq.css" />
<link rel="stylesheet" type="text/css" href="../../style.css" />
</head>
<body>
<h1>Prolog: države sveta</h1>
<p>
Podatkovna baza za ta sklop vsebuje podatke o državah in geografskih
značilnostih iz <em>CIA World Factbook</em>. Dejstva so podana z naslednjimi predikati:
</p>
<pre>
country(Name, Code, Capital, Province, Area, Population)
population(CountryCode, GrowthRate, Births)
economy(CountryCode, GDP, Agriculture, Services, Industry, GDPperCapita, Inflation, Unemployment)
language(CountryCode, Language, Percentage)
ethnicGroup(CountryCode, Ethnicity, Percentage)
religion(CountryCode, Religion, Percentage)
borders(CountryCode1, CountryCode2, Length)
continent(Name, Area)
encompasses(CountryCode, Continent, Percentage)
city(Name, CountryCode, Province, Population, Latitude, Longitude, Elevation)
cityothername(Name, CountryCode, Province, OtherName)
province(Name, CountryCode, Population, Area, Capital, CapitalProvince)
provinceothername(Name, CountryCode, OtherName)
sea(Name, Depth)
river(Name, FlowsToRiver, FlowsToLake, FlowsToSea, Length, Basin,
SourceLatitude, SourceLongitude, SourceName, SourceElevation,
MouthLatitude, MouthLongitude)
lake(Name, Area, Depth, Elevation, Type, River, Latitude, Longitude)
riverthrough(River, Lake)
island(Name, Group, Area, Elevation, Type, Latitude, Longitude)
mountain(Name, Range, Height, Type, Latitude, Longitude)
desert(Name, Area, Longitude, Latitude, Longitude)
geo_sea(Sea, CountryCode, Province)
mergesWith(Sea1, Sea2)
located(City, Province, CountryCode, River, Lake, Sea)
islandIn(Island, Sea, Lake, River)
mountainOnIsland(Mountain, Island)
</pre>
</body>
</html>
|
