summaryrefslogtreecommitdiff
path: root/prolog/problems/lists_advanced
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/lists_advanced')
-rw-r--r--prolog/problems/lists_advanced/max_2/common.py2
-rw-r--r--prolog/problems/lists_advanced/min_2/common.py2
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