From 1766215bf9ffae68c7e71946783f622899db2276 Mon Sep 17 00:00:00 2001
From: Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>
Date: Mon, 14 Mar 2016 14:57:35 +0100
Subject: Plans for divide/3 added.

---
 prolog/problems/lists/divide_3/common.py  | 2 +-
 prolog/problems/lists/permute_2/common.py | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'prolog/problems')

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 = '''\
-- 
cgit v1.2.1