summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-14 17:24:03 +0100
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-14 17:24:03 +0100
commit5796bc7d71265f36c67d94e941b857fab86ec8d3 (patch)
tree1ba9112a540a9971a2a273751388f7c3cbcafafd
parent3ed1137118bf719eab1d3fc1d230441057cdf854 (diff)
Basics for permute/2 added.
-rw-r--r--prolog/problems/lists/last_elem_2/common.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/problems/lists/last_elem_2/common.py b/prolog/problems/lists/last_elem_2/common.py
index 1dd3c82..30b15bc 100644
--- a/prolog/problems/lists/last_elem_2/common.py
+++ b/prolog/problems/lists/last_elem_2/common.py
@@ -97,7 +97,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_truth(engine_id, 'last_elem([qQ], qQ)'):
return [{'id': 'base_case'}]
# target predicate seems to always be false