diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-14 04:17:24 +0100 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-14 04:17:24 +0100 |
| commit | 62a9b06373c62fe91f980e7d02b14fe97e7dc986 (patch) | |
| tree | 43236ad5f50a1381a839f519fcff8690cd815051 | |
| parent | 71772851de61a77598bd5ffc2e729a82d5da6416 (diff) | |
Hints for last_elem/2 updated.
| -rw-r--r-- | prolog/problems/lists/last_elem_2/common.py | 2 |
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 9c44231..9e6576f 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_truthTO(engine_id, 'last_elem([qQ], qQ)'): + if not prolog.engine.ask_one(engine_id, 'last_elem([qQ], qQ)'): return [{'id': 'base_case'}] # target predicate seems to always be false |