diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-20 11:11:56 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-20 11:11:56 +0100 |
commit | 3cfb316886bafb00e1d12b7364892366497f0c16 (patch) | |
tree | bf78f8a61a84b9f728eed5bcedaf3168b61a801c /prolog/problems/lists_advanced/rev_2/sl.py | |
parent | f193671b6ab09178e1dc1325f56844c22fa409b9 (diff) |
Prolog: add triggers for rev hints
Diffstat (limited to 'prolog/problems/lists_advanced/rev_2/sl.py')
-rw-r--r-- | prolog/problems/lists_advanced/rev_2/sl.py | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/prolog/problems/lists_advanced/rev_2/sl.py b/prolog/problems/lists_advanced/rev_2/sl.py index 666832d..806dc52 100644 --- a/prolog/problems/lists_advanced/rev_2/sl.py +++ b/prolog/problems/lists_advanced/rev_2/sl.py @@ -44,4 +44,32 @@ da je <code>X</code> hkrati starš in sestra od <code>Y</code> ali kaj podobno z <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> ''', + + 'base_case_at_len1': '''\ +<p>base_case_at_len1</p> +''', + + 'arbitrary_base_case': '''\ +<p>arbitrary_base_case</p> +''', + + 'forcing_result_onto_recursion': '''\ +<p>forcing_result_onto_recursion</p> +''', + + 'using_other_solutions': '''\ +<p>using_other_solutions</p> +''', + + 'insertion_at_beginning': '''\ +<p>insertion_at_beginning</p> +''', + + 'invalid_insert_at_end': '''\ +<p>invalid_insert_at_end</p> +''', + + 'conc_arg_not_list': '''\ +<p>conc_arg_not_list</p> +''', } |