From ab723135fc32ac8dee6ce1c18f1e303955425df7 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Sun, 20 Mar 2016 10:18:12 +0100
Subject: Prolog: add triggers for shiftleft hints

---
 prolog/problems/lists_advanced/shiftleft_2/common.py | 18 ++++++++++++++++++
 prolog/problems/lists_advanced/shiftleft_2/sl.py     | 12 ++++++++++++
 2 files changed, 30 insertions(+)

(limited to 'prolog/problems/lists_advanced')

diff --git a/prolog/problems/lists_advanced/shiftleft_2/common.py b/prolog/problems/lists_advanced/shiftleft_2/common.py
index 77b66ca..2225bdd 100644
--- a/prolog/problems/lists_advanced/shiftleft_2/common.py
+++ b/prolog/problems/lists_advanced/shiftleft_2/common.py
@@ -23,6 +23,9 @@ hint_type = {
     'eq_instead_of_equ': Hint('eq_instead_of_equ'),
     'predicate_always_false': Hint('predicate_always_false'),
     'timeout': Hint('timeout'),
+    'conc_arg_not_list': Hint('conc_arg_not_list'),
+    'arbitrary_result': Hint('arbitrary_result'),
+    'tail_must_be_list': Hint('tail_must_be_list'),
 }
 
 test_cases = [
@@ -67,6 +70,21 @@ def hint(code, aux_code):
             return [{'id': 'eq_instead_of_equ_markup', 'start': m[0], 'end': m[1]} for m in marks] + \
                    [{'id': 'eq_instead_of_equ'}]
 
+        # arbitrary result
+        if prolog.engine.ask_truthTO(engine_id,
+                'shiftleft([27, 81, 243], granddad(Q, q))'):
+            return [{'id': 'arbitrary_result'}]
+
+        # conc/3 argument not a list
+        if prolog.engine.ask_truthTO(engine_id,
+                'shiftleft([9, 3, 1, 27, 81, 243], [3, 1, 27, 81, 243 | 9])'):
+            return [{'id': 'conc_arg_not_list'}]
+
+        # tail must be list
+        if prolog.engine.ask_truthTO(engine_id,
+                'shiftleft([27, 9, 3, 1, 81, 243], [[9, 3, 1, 81, 243] | 27])'):
+            return [{'id': 'tail_must_be_list'}]
+
         # target predicate seems to always be false
         if not prolog.engine.ask_truthTO(engine_id, 'shiftleft(_, _)'):
             return [{'id': 'predicate_always_false'}]
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
@@ -32,5 +32,17 @@ 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>
+''',
+
+    '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>
 ''',
 }
-- 
cgit v1.2.1