summaryrefslogtreecommitdiff
path: root/prolog/problems/family_relations/ancestor_2
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/family_relations/ancestor_2')
-rw-r--r--prolog/problems/family_relations/ancestor_2/common.py16
-rw-r--r--prolog/problems/family_relations/ancestor_2/sl.py22
2 files changed, 32 insertions, 6 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>
''',
}