summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
Diffstat (limited to 'prolog')
-rw-r--r--prolog/problems/lists/divide_3/common.py2
-rw-r--r--prolog/problems/lists/permute_2/common.py4
2 files changed, 3 insertions, 3 deletions
diff --git a/prolog/problems/lists/divide_3/common.py b/prolog/problems/lists/divide_3/common.py
index 6a94a73..544dbc4 100644
--- a/prolog/problems/lists/divide_3/common.py
+++ b/prolog/problems/lists/divide_3/common.py
@@ -87,7 +87,7 @@ def hint(code, aux_code):
return [{'id': 'list_returned'}]
# missing/failed base case
- if not prolog.engine.ask_one(engine_id, 'last_elem([qQ], qQ)'):
+ if not prolog.engine.ask_truthTO(engine_id, 'last_elem([], [], [])'):
return [{'id': 'base_case'}]
# target predicate seems to always be false
diff --git a/prolog/problems/lists/permute_2/common.py b/prolog/problems/lists/permute_2/common.py
index c6381c2..3ebbbd6 100644
--- a/prolog/problems/lists/permute_2/common.py
+++ b/prolog/problems/lists/permute_2/common.py
@@ -5,8 +5,8 @@ import prolog.engine
import server.problems
id = 107
-number = 14
-visible = False
+number = 9
+visible = True
facts = None
solution = '''\