From ab723135fc32ac8dee6ce1c18f1e303955425df7 Mon Sep 17 00:00:00 2001 From: Timotej Lazar 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 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'prolog/problems/lists_advanced/shiftleft_2/common.py') 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'}] -- cgit v1.2.1