diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-09 01:00:44 +0100 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-09 01:00:44 +0100 |
| commit | e22d05a916d50896ea6d8b52b3a3ac9596e8f12b (patch) | |
| tree | 6919bc2d8594f06781fcc8a465e82cb240c358dd /prolog/problems/lists/memb_2/common.py | |
| parent | ca293b11475f62dc112441da1a7b909b691ad936 (diff) | |
Hints for memb/2 added.
Diffstat (limited to 'prolog/problems/lists/memb_2/common.py')
| -rw-r--r-- | prolog/problems/lists/memb_2/common.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/problems/lists/memb_2/common.py b/prolog/problems/lists/memb_2/common.py index 86acbf7..4f2a251 100644 --- a/prolog/problems/lists/memb_2/common.py +++ b/prolog/problems/lists/memb_2/common.py @@ -73,7 +73,7 @@ def hint(code, aux_code): # target predicate seems to always be false - if not prolog.engine.ask_truthTO(engine_id, 'memb(_, _)'): + if not prolog.engine.ask_truth(engine_id, 'memb(_, _)'): return [{'id': 'predicate_always_false'}] # missing/failed base case |