From f353236e1a05de26e4e65bf758ca03c1d8a540c5 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Sat, 5 Jan 2019 12:42:03 +0100 Subject: Prolog: add intro for world_data set --- prolog/problems/world_data/en.py | 3 +- prolog/problems/world_data/intro_en.html | 47 ++++++++++++++++++++++++++++++++ 2 files changed, 48 insertions(+), 2 deletions(-) create mode 100644 prolog/problems/world_data/intro_en.html (limited to 'prolog') diff --git a/prolog/problems/world_data/en.py b/prolog/problems/world_data/en.py index 3d3cbaf..dd0a328 100644 --- a/prolog/problems/world_data/en.py +++ b/prolog/problems/world_data/en.py @@ -2,7 +2,6 @@ name = 'The World Factbook' description = '''\

Let's ask prolog some questions about our world, e.g. through which countries a given river flows or which -two countries are most similar in terms of the size of their populations. For this purpose a database -containing facts about the world has been loaded. The database comes from the almanac "The World Factbook". +two countries are most similar in terms of the size of their populations. For this purpose a knowledge base with facts about the world has been loaded. The database comes from the almanac "The World Factbook".

''' diff --git a/prolog/problems/world_data/intro_en.html b/prolog/problems/world_data/intro_en.html new file mode 100644 index 0000000..158a75d --- /dev/null +++ b/prolog/problems/world_data/intro_en.html @@ -0,0 +1,47 @@ + + + + + Prolog: The World Factbook + + + + + +

Prolog: The World Factbook

+The knowledge base for this set contains data about countries and geographic features from the CIA World Factbook. Facts are given using the following predicates: +

+ +

+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, 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)
+

+ + + -- cgit v1.2.1