diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-14 17:22:11 +0100 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-14 17:22:11 +0100 |
| commit | 3ed1137118bf719eab1d3fc1d230441057cdf854 (patch) | |
| tree | 21706b863fba74cb93ea3782f0aa9636c2dff7a2 /prolog/problems/lists/divide_3/common.py | |
| parent | 0355f4ae1e1fa64a6855d3e19ec230c8a14aa5cf (diff) | |
Basics for permute/2 added.
Diffstat (limited to 'prolog/problems/lists/divide_3/common.py')
| -rw-r--r-- | prolog/problems/lists/divide_3/common.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/problems/lists/divide_3/common.py b/prolog/problems/lists/divide_3/common.py index 2d93c4c..ff42d34 100644 --- a/prolog/problems/lists/divide_3/common.py +++ b/prolog/problems/lists/divide_3/common.py @@ -105,7 +105,7 @@ def hint(code, aux_code): return [{'id': 'second_base_case_missing'}] # missing/failed base case - if not prolog.engine.ask_truthTO(engine_id, 'divide([], [], [])'): + if not prolog.engine.ask_truth(engine_id, 'divide([], [], [])'): return [{'id': 'base_case'}] # # target predicate seems to always be false |