diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-14 14:57:35 +0100 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-14 14:57:35 +0100 |
| commit | 1766215bf9ffae68c7e71946783f622899db2276 (patch) | |
| tree | c97b72a42c305809320e1b3b87183a3a9730861a /prolog | |
| parent | 863038d9e8e94420090e5bd86c1b8439cf61eb81 (diff) | |
Plans for divide/3 added.
Diffstat (limited to 'prolog')
| -rw-r--r-- | prolog/problems/lists/divide_3/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/lists/permute_2/common.py | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/prolog/problems/lists/divide_3/common.py b/prolog/problems/lists/divide_3/common.py index 6a94a73..544dbc4 100644 --- a/prolog/problems/lists/divide_3/common.py +++ b/prolog/problems/lists/divide_3/common.py @@ -87,7 +87,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_truthTO(engine_id, 'last_elem([], [], [])'): return [{'id': 'base_case'}] # target predicate seems to always be false diff --git a/prolog/problems/lists/permute_2/common.py b/prolog/problems/lists/permute_2/common.py index c6381c2..3ebbbd6 100644 --- a/prolog/problems/lists/permute_2/common.py +++ b/prolog/problems/lists/permute_2/common.py @@ -5,8 +5,8 @@ import prolog.engine import server.problems id = 107 -number = 14 -visible = False +number = 9 +visible = True facts = None solution = '''\ |