summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-14 04:47:53 +0100
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-14 04:47:53 +0100
commit9f90ae6885b4ce454e2b7e037b637183a175913f (patch)
tree7401eddb5b6ba31414ba23f1ef3cd00a7cb42e78 /prolog
parent8fbf2265a82fb569d551157b5cc16b9a5746db9f (diff)
Hints for last_elem/2 updated.
Diffstat (limited to 'prolog')
-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 cb934fc..81192ba 100644
--- a/prolog/problems/lists/last_elem_2/common.py
+++ b/prolog/problems/lists/last_elem_2/common.py
@@ -93,7 +93,7 @@ def hint(code, aux_code):
return [{'id': '[]_should_not_succeed'}]
# returns a list, not an element as required
- if prolog.engine.ask_truthTO(engine_id, 'last_elem([qQ], [qQ])'): # 'last_elem([qQ], X), is_list(X)' with ask_one?
+ if prolog.engine.ask_one(engine_id, 'last_elem([qQ], X), is_list(X)'): # 'last_elem([qQ], [qQ])' with ask_one?
return [{'id': 'list_returned'}]
# missing/failed base case