From 3cfb316886bafb00e1d12b7364892366497f0c16 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Sun, 20 Mar 2016 11:11:56 +0100
Subject: Prolog: add triggers for rev hints

---
 prolog/problems/lists_advanced/rev_2/sl.py | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

(limited to 'prolog/problems/lists_advanced/rev_2/sl.py')

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
@@ -43,5 +43,33 @@ da je <code>X</code> hkrati starš in sestra od <code>Y</code> ali kaj podobno z
     'timeout': '''\
 <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>
 ''',
 }
-- 
cgit v1.2.1