diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-14 17:24:03 +0100 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-14 17:24:03 +0100 |
| commit | 5796bc7d71265f36c67d94e941b857fab86ec8d3 (patch) | |
| tree | 1ba9112a540a9971a2a273751388f7c3cbcafafd | |
| parent | 3ed1137118bf719eab1d3fc1d230441057cdf854 (diff) | |
Basics for permute/2 added.
| -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 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 |