diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-09 20:09:26 +0100 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-09 20:09:26 +0100 |
| commit | 4fd77108854d7e83ce2d7135ed02b65ba73fc9e9 (patch) | |
| tree | 9a18d541f2d70598a6351626935f31cb194f7faf /prolog/problems/lists/del_3/common.py | |
| parent | 913007d3f60d86c3f4e11733153233434da8607f (diff) | |
Hints for del/3 updated.
Diffstat (limited to 'prolog/problems/lists/del_3/common.py')
| -rw-r--r-- | prolog/problems/lists/del_3/common.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/problems/lists/del_3/common.py b/prolog/problems/lists/del_3/common.py index c984fef..125ece1 100644 --- a/prolog/problems/lists/del_3/common.py +++ b/prolog/problems/lists/del_3/common.py @@ -84,7 +84,7 @@ def hint(code, aux_code): return [{'id': 'del_from_empty_list_success'}] # missing/failed base case - if not prolog.engine.ask_truthTO(engine_id, 'del(qQ, [qQ,qa,qb,qc], [qa,qb,qc])'): + if not prolog.engine.ask_one(engine_id, 'del(qQ, [qQ,qa,qb,qc], [qa,qb,qc])'): return [{'id': 'base_case'}] # target predicate seems to always be false |