diff options
Diffstat (limited to 'prolog/problems/world_data/people_in_capitals_1')
3 files changed, 70 insertions, 0 deletions
diff --git a/prolog/problems/world_data/people_in_capitals_1/common.py b/prolog/problems/world_data/people_in_capitals_1/common.py new file mode 100644 index 0000000..b38a96f --- /dev/null +++ b/prolog/problems/world_data/people_in_capitals_1/common.py @@ -0,0 +1,48 @@ +from operator import itemgetter +import socket +import prolog.engine +import prolog.util +from server.hints import Hint +import server.problems + +id = 10003 +number = 30 +visible = True +facts = 'mondial' + +solution = '''\ +people_in_capitals(N) :- + findall(Pop, + (country(_,_,Capital,_,_,_), + city(Capital,_,_,Pop,_,_,_), + number(Pop)), L), + sum(L, N). +''' + +hint_type = { +} + +test_cases = [ + ('people_in_capitals(N)', [{'N': '316277426'}]), +] + +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)}}] + if n_correct == len(test_cases): + hints += [{'id': 'final_hint'}] + return n_correct, len(test_cases), hints diff --git a/prolog/problems/world_data/people_in_capitals_1/en.py b/prolog/problems/world_data/people_in_capitals_1/en.py new file mode 100644 index 0000000..1c8b93d --- /dev/null +++ b/prolog/problems/world_data/people_in_capitals_1/en.py @@ -0,0 +1,11 @@ +name = 'people_in_capitals/1' +slug = 'number of people living in capitals' + +description = '''\ +<p><code>people_in_capitals(N)</code>: <code>N</code> is the total number of people living in capital cities of the world.</p> +<p>Useful predicates:</p> +<li><code>country(Name, ID, Capital, CapitalProvince, Size, Population)</code></li> +<li><code>city(Name, Country ID, Province, Population, Lat, Lon, Elevation)</code>.</li> +''' + +hint = {} diff --git a/prolog/problems/world_data/people_in_capitals_1/sl.py b/prolog/problems/world_data/people_in_capitals_1/sl.py new file mode 100644 index 0000000..a72ba5e --- /dev/null +++ b/prolog/problems/world_data/people_in_capitals_1/sl.py @@ -0,0 +1,11 @@ +name = 'people_in_capitals/1' +slug = 'število prebivalcev glavnih mest' + +description = '''\ +<p><code>people_in_capitals(N)</code>: <code>N</code> je število ljudi, ki živijo v glavnih mestih po svetu.</p> +<p>Uporabni predikati:</p> +<li><code>country(Name, ID, Capital, CapitalProvince, Size, Population)</code></li> +<li><code>city(Name, Country ID, Province, Population, Lat, Lon, Elevation)</code>.</li> +''' + +hint = {} |