diff options
| -rw-r--r-- | prolog/problems/lists_advanced/max_2/common.py | 2 | ||||
| -rw-r--r-- | 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 |