diff options
author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-09 01:39:55 +0100 |
---|---|---|
committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-09 01:39:55 +0100 |
commit | c61d06eab2c15928a928fcea106f276013902bb0 (patch) | |
tree | b378f05c4a427b3ee619d852d7c6543f23dedbe2 /prolog/problems/lists/memb_2/common.py | |
parent | e22d05a916d50896ea6d8b52b3a3ac9596e8f12b (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 | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/prolog/problems/lists/memb_2/common.py b/prolog/problems/lists/memb_2/common.py index 4f2a251..45e070a 100644 --- a/prolog/problems/lists/memb_2/common.py +++ b/prolog/problems/lists/memb_2/common.py @@ -72,14 +72,14 @@ def hint(code, aux_code): # recursion is getting bigger and bigger - # target predicate seems to always be false - if not prolog.engine.ask_truth(engine_id, 'memb(_, _)'): - return [{'id': 'predicate_always_false'}] - # missing/failed base case - if not prolog.engine.ask_truthTO(engine_id, 'memb(qq, [qq|_])'): + if not prolog.engine.ask_truthTO(engine_id, 'memb(qq, [qq,_,_,_])'): return [{'id': 'base_case'}] + # target predicate seems to always be false + if not prolog.engine.ask_truth(engine_id, 'memb(_, [_,_,_,_,_,_])'): + return [{'id': 'predicate_always_false'}] + # TODO: Tim, can we include 'fail'-used as a general hint? except socket.timeout as ex: |