summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/divide_3
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-14 14:57:35 +0100
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-14 14:57:35 +0100
commit1766215bf9ffae68c7e71946783f622899db2276 (patch)
treec97b72a42c305809320e1b3b87183a3a9730861a /prolog/problems/lists/divide_3
parent863038d9e8e94420090e5bd86c1b8439cf61eb81 (diff)
Plans for divide/3 added.
Diffstat (limited to 'prolog/problems/lists/divide_3')
-rw-r--r--prolog/problems/lists/divide_3/common.py2
1 files changed, 1 insertions, 1 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