diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-20 10:03:51 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-20 10:03:51 +0100 |
commit | 1a602429e86680d82a5ab8064386e66a1126cf36 (patch) | |
tree | c29c46f73845236ed4d1494f64be12c0b6e1a3ba /prolog/problems/lists_advanced/len_2/sl.py | |
parent | df8c0b864281e448498cc244cac8fdcf985b373c (diff) |
Prolog: add triggers for sum/len hints
Diffstat (limited to 'prolog/problems/lists_advanced/len_2/sl.py')
-rw-r--r-- | prolog/problems/lists_advanced/len_2/sl.py | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/prolog/problems/lists_advanced/len_2/sl.py b/prolog/problems/lists_advanced/len_2/sl.py index 82c9d4b..e13ac3d 100644 --- a/prolog/problems/lists_advanced/len_2/sl.py +++ b/prolog/problems/lists_advanced/len_2/sl.py @@ -42,4 +42,28 @@ 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> ''', + + 'arbitrary_base_case': '''\ +<p>arbitrary_base_case</p> +''', + + 'args_not_instantiated': '''\ +<p>args_not_instantiated</p> +''', + + '=_instead_of_is': '''\ +<p>=_instead_of_is</p> +''', + + '+H_instead_of_+1': '''\ +<p>+H_instead_of_+1</p> +''', + + 'forcing_result_onto_recursion': '''\ +<p>forcing_result_onto_recursion</p> +''', + + 'same_var_on_both_sides_of_is': '''\ +<p>same_var_on_both_sides_of_is</p> +''', } |