diff options
| -rw-r--r-- | prolog/problems/world_data/intro_sl.html | 48 | ||||
| -rw-r--r-- | prolog/problems/world_data/sl.py | 9 |
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> ''' - |