summaryrefslogtreecommitdiff
path: root/prolog/problems/lists_advanced/shiftleft_2/sl.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-20 10:18:12 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-20 10:18:12 +0100
commitab723135fc32ac8dee6ce1c18f1e303955425df7 (patch)
treed00e80e67203983b6580cbd6d7144189b77d840a /prolog/problems/lists_advanced/shiftleft_2/sl.py
parent1a602429e86680d82a5ab8064386e66a1126cf36 (diff)
Prolog: add triggers for shiftleft hints
Diffstat (limited to 'prolog/problems/lists_advanced/shiftleft_2/sl.py')
-rw-r--r--prolog/problems/lists_advanced/shiftleft_2/sl.py12
1 files changed, 12 insertions, 0 deletions
diff --git a/prolog/problems/lists_advanced/shiftleft_2/sl.py b/prolog/problems/lists_advanced/shiftleft_2/sl.py
index fc41e3c..ec55c4e 100644
--- a/prolog/problems/lists_advanced/shiftleft_2/sl.py
+++ b/prolog/problems/lists_advanced/shiftleft_2/sl.py
@@ -33,4 +33,16 @@ 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>
''',
+
+ 'conc_arg_not_list': '''\
+<p>conc_arg_not_list</p>
+''',
+
+ 'arbitrary_result': '''\
+<p>arbitrary_result</p>
+''',
+
+ 'tail_must_be_list': '''\
+<p>tail_must_be_list</p>
+''',
}