summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-10-18 16:40:31 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-10-18 16:40:31 +0200
commit1715d2bfca32984db436acb89a32d3bf6a5ca981 (patch)
treea9fb601ce119cf4fb067aed4fd79fd58af580a71
parentf7307b5a3226f7768176325550682d04a372bef0 (diff)
Prolog: add database description for world_data
-rw-r--r--prolog/problems/world_data/intro_sl.html48
-rw-r--r--prolog/problems/world_data/sl.py9
2 files changed, 53 insertions, 4 deletions
diff --git a/prolog/problems/world_data/intro_sl.html b/prolog/problems/world_data/intro_sl.html
new file mode 100644
index 0000000..2d27780
--- /dev/null
+++ b/prolog/problems/world_data/intro_sl.html
@@ -0,0 +1,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>
diff --git a/prolog/problems/world_data/sl.py b/prolog/problems/world_data/sl.py
index a2f3f71..9796f98 100644
--- a/prolog/problems/world_data/sl.py
+++ b/prolog/problems/world_data/sl.py
@@ -1,9 +1,10 @@
name = 'Države sveta'
description = '''\
<p>
-Naučimo se vprašati prolog po različnih dejstvih o našem svetu, npr. skozi katere države teče neka reka ali
-kateri dve državi sta si čimbolj podobni po številu prebivalcev. Za ta namen je naložena baza podatkov iz
-almanaha svetovnih dejstev "The World Factbook".
+Naučimo se vprašati prolog po različnih dejstvih o našem svetu, npr. skozi
+katere države teče neka reka ali kateri dve državi sta si čimbolj podobni po
+številu prebivalcev. Za ta namen je naložena
+<a target="_blank" href="[%@resource intro_sl.html%]">baza podatkov</a>
+iz almanaha svetovnih dejstev "The World Factbook".
</p>
'''
-