diff options
Diffstat (limited to 'prolog/problems')
-rw-r--r-- | prolog/problems/world_data/common.py | 2 | ||||
-rw-r--r-- | prolog/problems/world_data/en.py | 8 | ||||
-rw-r--r-- | prolog/problems/world_data/similar_population_3/common.py | 47 | ||||
-rw-r--r-- | prolog/problems/world_data/similar_population_3/en.py | 15 | ||||
-rw-r--r-- | prolog/problems/world_data/similar_population_3/sl.py | 15 | ||||
-rw-r--r-- | prolog/problems/world_data/sl.py | 9 |
6 files changed, 96 insertions, 0 deletions
diff --git a/prolog/problems/world_data/common.py b/prolog/problems/world_data/common.py new file mode 100644 index 0000000..350b139 --- /dev/null +++ b/prolog/problems/world_data/common.py @@ -0,0 +1,2 @@ +id = 1000 +number = 20 diff --git a/prolog/problems/world_data/en.py b/prolog/problems/world_data/en.py new file mode 100644 index 0000000..3d3cbaf --- /dev/null +++ b/prolog/problems/world_data/en.py @@ -0,0 +1,8 @@ +name = 'The World Factbook' +description = '''\ +<p> +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". +</p> +''' diff --git a/prolog/problems/world_data/similar_population_3/common.py b/prolog/problems/world_data/similar_population_3/common.py new file mode 100644 index 0000000..11d541b --- /dev/null +++ b/prolog/problems/world_data/similar_population_3/common.py @@ -0,0 +1,47 @@ +from operator import itemgetter +import socket +import prolog.engine +from server.hints import Hint +import server.problems + +id = 12519 +number = 1 +visible = True +facts = 'mondial' + +solution = '''\ +simpop(X, Y, D):- + findall(D/X/Y, (country(X,_,_,_,_,PX), country(Y,_,_,_,_,PY), X \== Y, D is abs(PX-PY)), L), + sort(L, [D/X/Y|_]). +''' + +test_cases = [ + ('simpop(X, Y, D)', + [{'X': "'Grenada'", 'Y': "'Tonga'", 'D': '76'}]), + ("simpop('Slovenia', Y, D)", + [{'Y': "'Macedonia'", 'D': '973'}]), + ("simpop(X, 'Australia', D)", + [{'X': "'Taiwan'", 'D': '180541'}]), + ("simpop(X, Y, 1176831)", + [{'X': "'Uzbekistan'", 'Y': "'Venezuela'"}]), +] + +def test(code, aux_code): + n_correct = 0 + engine_id = None + try: + engine_id, output = prolog.engine.create(code=code+aux_code, timeout=5.0) + if engine_id is not None and 'error' not in map(itemgetter(0), output): + # Engine successfully created, and no syntax error in program. + for query, answers in test_cases: + if prolog.engine.check_answers(engine_id, query=query, answers=answers, timeout=1.0, inference_limit = None): + n_correct += 1 + except socket.timeout: + pass + finally: + if engine_id: + prolog.engine.destroy(engine_id) + + hints = [{'id': 'test_results', 'args': {'passed': n_correct, 'total': len(test_cases)}}] + return n_correct, len(test_cases), hints + diff --git a/prolog/problems/world_data/similar_population_3/en.py b/prolog/problems/world_data/similar_population_3/en.py new file mode 100644 index 0000000..e9c2516 --- /dev/null +++ b/prolog/problems/world_data/similar_population_3/en.py @@ -0,0 +1,15 @@ +name = 'simpop/3' +slug = 'countries with most similar number of residents' + +description = '''\ +<p><code>simpop(X, Y, Diff)</code>: <code>X</code> and <code>Y</code> are countries with the most similar numbers of +residents. <code>Diff</code> represents the difference between them.</p> +<pre> +?- simpop('Fiji', Y, Diff). + Y = 'Cyprus', + Diff = 20152. +</pre> +<p>Useful facts are given as <code>country(Name, ID, Capital, CapitalProvince, Size, Population).</code></p> +''' + +hint = {} diff --git a/prolog/problems/world_data/similar_population_3/sl.py b/prolog/problems/world_data/similar_population_3/sl.py new file mode 100644 index 0000000..069f35e --- /dev/null +++ b/prolog/problems/world_data/similar_population_3/sl.py @@ -0,0 +1,15 @@ +name = 'simpop/3' +slug = 'državi z najbolj podobnim številom prebivalcev' + +description = '''\ +<p><code>simpop(X, Y, Diff)</code>: <code>X</code> in <code>Y</code> je par držav z najbolj podobnim številom +prebivalcev, <code>Diff</code> je razlika med njima.</p> +<pre> +?- simpop('Fiji', Y, Diff). + Y = 'Cyprus', + Diff = 20152. +</pre> +<p>Uporabna dejstva so podana v obliki <code>country(Name, ID, Capital, CapitalProvince, Size, Population).</code></p> +''' + +hint = {} diff --git a/prolog/problems/world_data/sl.py b/prolog/problems/world_data/sl.py new file mode 100644 index 0000000..a2f3f71 --- /dev/null +++ b/prolog/problems/world_data/sl.py @@ -0,0 +1,9 @@ +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". +</p> +''' + |