diff options
Diffstat (limited to 'prolog/problems')
4 files changed, 59 insertions, 15 deletions
diff --git a/prolog/problems/family_relations/ancestor_2/common.py b/prolog/problems/family_relations/ancestor_2/common.py index 6690e00..9346e5f 100644 --- a/prolog/problems/family_relations/ancestor_2/common.py +++ b/prolog/problems/family_relations/ancestor_2/common.py @@ -27,8 +27,10 @@ hint_type = { 'grandparent_used_markup': HintPopup('grandparent_used_markup'), 'base_case': Hint('base_case'), 'ancestor_to_oneself': Hint('ancestor_to_oneself'), + 'ancestor_to_oneself_with_or': Hint('ancestor_to_oneself_with_or'), 'descendant_need_not_be_parent': Hint('descendant_need_not_be_parent'), 'wrong_direction': Hint('wrong_direction'), + 'only_two_levels_deep': Hint('only_two_levels_deep'), 'timeout': Hint('timeout'), } @@ -83,15 +85,23 @@ def hint(code, aux_code): [{'id': 'grandparent_used'}] # missing/failed base case - # TODO: how will ask_truth handle/return timeouts... - # TODO: timeout is the same as fail in this particular case if prolog.engine.ask_truthTO(engine_id, 'findall(X/Y, parent(X, Y), L), member(X/Y, L), \+ ancestor(X, Y)'): return [{'id': 'base_case'}] + # two levels deep relation (up to grandparent) only + # warning: knowledge base dependent + if prolog.engine.ask_truthTO(engine_id, + 'findall(_, ancestor(X, Y), L1), length(L1, 23) ; \ + findall(_, ancestor(X, Y), L2), length(L2, 55)'): + return [{'id': 'only_two_levels_deep'}] + # ancestor to oneself if prolog.engine.ask_truthTO(engine_id, 'ancestor(X, X)'): - return [{'id': 'ancestor_to_oneself'}] + if prolog.util.Token('SEMI', ';') in tokens: + return [{'id': 'ancestor_to_oneself_with_or'}] + else: + return [{'id': 'ancestor_to_oneself'}] # descendant instead of ancestor (wrong direction) # warning: knowledge base dependent diff --git a/prolog/problems/family_relations/ancestor_2/sl.py b/prolog/problems/family_relations/ancestor_2/sl.py index 03e9230..5cb8044 100644 --- a/prolog/problems/family_relations/ancestor_2/sl.py +++ b/prolog/problems/family_relations/ancestor_2/sl.py @@ -47,12 +47,27 @@ Skratka, poskusi prevesti na "manjši" problem, npr. prednik v enem koraku manj ''', 'base_case': '''\ -<p>Si pomislil na robni pogoj? Kaj je najbolj enostaven par (prednik, potomec)?</p> +<p>Si pomislil na robni pogoj? Rekurzija se mora enkrat tudi ustaviti. +Kaj je najbolj enostaven par (prednik, potomec)?</p> <p><img src="[%@resource Prolog_ancestor_01.svg%]" /></p> ''', # TODO: morda ta hint naredim z "more": najprej tekst, ob kliku pa še slika... (sicer je preveč očitno) 'ancestor_to_oneself': '''\ -<p>Kako je lahko nekdo prednik samemu sebi?</p> +<p>Kako je lahko nekdo potomec samega sebe? Premisli, morda se ti splača tudi grafično skicirati +tvojo trenutno rešitev.</p> +''', + + 'ancestor_to_oneself_with_or': '''\ +<p>Kako je lahko nekdo potomec samega sebe? Premisli, morda se ti splača tudi grafično skicirati +tvojo trenutno rešitev.</p> +<p>Morda se ti splača preveriti tudi uporabo podpičja. To praktično naredi dva ločena stavka oz. veji +(eno ali drugo velja, morda tudi oboje). Vendar pazi, ker sta ti dve veji med seboj neodvisni +-- vrednosti iz ene se ne prenašajo v drugo vejo.</p> +''', + + 'only_two_levels_deep': '''\ +<p>Tvoja rešitev je premalo splošna. Prednik je lahko tudi bolj oddaljen kot so stari starši, +npr. prababica ali prapradedek.</p> ''', 'descendant_need_not_be_parent': '''\ @@ -66,7 +81,8 @@ Skratka, poskusi prevesti na "manjši" problem, npr. prednik v enem koraku manj ''', 'timeout': '''\ -<p>Je morda na delu potencialno neskončna rekurzija?</p> +<p>Je morda na delu potencialno neskončna rekurzija? Kako se bo ustavila?</p> +</p>Morda pa je kriv tudi manjkajoč, neustrezen ali preprosto nekompatibilen (s splošnim primerom) robni pogoj?</p> ''', } diff --git a/prolog/problems/family_relations/descendant_2/common.py b/prolog/problems/family_relations/descendant_2/common.py index 4c7f8e3..70936da 100644 --- a/prolog/problems/family_relations/descendant_2/common.py +++ b/prolog/problems/family_relations/descendant_2/common.py @@ -27,9 +27,11 @@ hint_type = { 'grandparent_used_markup': HintPopup('grandparent_used_markup'), 'base_case': Hint('base_case'), 'descendant_of_oneself': Hint('ancestor_to_oneself'), + 'descendant_of_oneself_with_or': Hint('descendant_of_oneself_with_or'), 'descendant_need_not_be_parent': Hint('descendant_need_not_be_parent'), 'wrong_direction': Hint('wrong_direction'), 'timeout': Hint('timeout'), + 'final_hint': Hint('final_hint'), } test_cases = [ @@ -58,6 +60,10 @@ def test(code, aux_code): prolog.engine.destroy(engine_id) hints = [{'id': 'test_results', 'args': {'passed': n_correct, 'total': len(test_cases)}}] + if n_correct == len(test_cases): + tokens = prolog.util.tokenize(code) + if prolog.util.Token('NAME', 'ancestor') not in tokens: + hints += [{'id': 'final_hint'}] return n_correct, len(test_cases), hints def hint(code, aux_code): @@ -83,15 +89,16 @@ def hint(code, aux_code): [{'id': 'grandparent_used'}] # missing/failed base case - # TODO: how will ask_truth handle/return timeouts... - # TODO: timeout is the same as fail in this particular case if prolog.engine.ask_truthTO(engine_id, 'parent(Y, X), \+ descendant(X, Y)'): return [{'id': 'base_case'}] # descendant of oneself if prolog.engine.ask_truthTO(engine_id, 'descendant(X, X)'): - return [{'id': 'descendant_of_oneself'}] + if prolog.util.Token('SEMI', ';') in tokens: + return [{'id': 'descendant_of_oneself_with_or'}] + else: + return [{'id': 'descendant_of_oneself'}] # ancestor instead of descendant (wrong direction) # warning: knowledge base dependent diff --git a/prolog/problems/family_relations/descendant_2/sl.py b/prolog/problems/family_relations/descendant_2/sl.py index 949280f..2b638fd 100644 --- a/prolog/problems/family_relations/descendant_2/sl.py +++ b/prolog/problems/family_relations/descendant_2/sl.py @@ -48,12 +48,22 @@ Skratka, poskusi prevesti na "manjši" problem, npr. potomec v enem koraku manj ''', 'base_case': '''\ -<p>Si pomislil na robni pogoj? Kaj je najbolj enostaven par (potomec, prednik)?</p> +<p>Si pomislil na robni pogoj? Rekurzija se mora enkrat tudi ustaviti. +Kaj je najbolj enostaven par (potomec, prednik)?</p> <p><img src="[%@resource Prolog_descendant_01.svg%]" /></p> ''', # TODO: morda ta hint naredim z "more": najprej tekst, ob kliku pa še slika... (sicer je preveč očitno) 'descendant_of_oneself': '''\ -<p>Kako je lahko nekdo potomec samega sebe?</p> +<p>Kako je lahko nekdo potomec samega sebe? Premisli, morda se ti splača tudi grafično skicirati +tvojo trenutno rešitev.</p> +''', + + 'descendant_of_oneself_with_or': '''\ +<p>Kako je lahko nekdo potomec samega sebe? Premisli, morda se ti splača tudi grafično skicirati +tvojo trenutno rešitev.</p> +<p>Morda se ti splača preveriti tudi uporabo podpičja. To praktično naredi dva ločena stavka oz. veji +(eno ali drugo velja, morda tudi oboje). Vendar pazi, ker sta ti dve veji med seboj neodvisni +-- vrednosti iz ene se ne prenašajo v drugo vejo.</p> ''', 'descendant_need_not_be_parent': '''\ @@ -61,7 +71,8 @@ Skratka, poskusi prevesti na "manjši" problem, npr. potomec v enem koraku manj ''', 'timeout': '''\ -<p>Je morda na delu potencialno neskončna rekurzija?</p> +<p>Je morda na delu potencialno neskončna rekurzija? Kako se bo ustavila?</p> +</p>Morda pa je kriv tudi manjkajoč, neustrezen ali preprosto nekompatibilen (s splošnim primerom) robni pogoj?</p> ''', 'wrong_direction': '''\ @@ -70,10 +81,10 @@ Skratka, poskusi prevesti na "manjši" problem, npr. potomec v enem koraku manj <p><img src="[%@resource Prolog_descendant_02.svg%]" /></p> ''', # TODO: Tim, kako bi lahko še query poslali med parametri v Hint dict? Je to predvideno? Tukaj bi recimo pasalo... - 'interesting_tidbit': '''\ -<p>Zanimivost: nalogo bi lahko rešil tudi z uporabo rešitve za relacijo "ancestor". + 'final_hint': '''\ +<p>Zanimivost: nalogo bi lahko rešil tudi z uporabo rešitve za relacijo <code>ancestor/2</code>. Samo obrni spremenljivki <code>X</code> in <code>Y</code>; če je <code>X</code> potomec od <code>Y</code>, potem je <code>Y</code> prednik od <code>X</code>.</p> -''', # TODO: trigger za interesting tidbit +''', } |