From 426c9ce471d04b1e70f30d7b404ae4321fb0f663 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Thu, 17 Mar 2016 15:49:03 +0100 Subject: Oops, missed a minus --- prolog/problems/lists_advanced/max_2/common.py | 2 +- prolog/problems/lists_advanced/min_2/common.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prolog/problems/lists_advanced/max_2/common.py b/prolog/problems/lists_advanced/max_2/common.py index a0d2b42..86f0e5a 100644 --- a/prolog/problems/lists_advanced/max_2/common.py +++ b/prolog/problems/lists_advanced/max_2/common.py @@ -73,7 +73,7 @@ def hint(code, aux_code): [{'id': 'eq_instead_of_equ'}] # missing/failed base case - if not prolog.engine.ask_truthTO(engine_id, 'max([-45], 45)'): + if not prolog.engine.ask_truthTO(engine_id, 'max([-45], -45)'): return [{'id': 'base_case'}] # target predicate seems to always be false diff --git a/prolog/problems/lists_advanced/min_2/common.py b/prolog/problems/lists_advanced/min_2/common.py index 649edd5..f2412fd 100644 --- a/prolog/problems/lists_advanced/min_2/common.py +++ b/prolog/problems/lists_advanced/min_2/common.py @@ -73,7 +73,7 @@ def hint(code, aux_code): [{'id': 'eq_instead_of_equ'}] # missing/failed base case - if not prolog.engine.ask_truthTO(engine_id, 'min([-45], 45)'): + if not prolog.engine.ask_truthTO(engine_id, 'min([-45], -45)'): return [{'id': 'base_case'}] # target predicate seems to always be false -- cgit v1.2.1