summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-12 01:10:50 +0100
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-12 01:10:50 +0100
commita6beb2ce179d1fa3e4d7468157799cc6181e7b3a (patch)
treee62f483311cf9666782a50a81226a467426c9431
parent3146be47a651c357f2a221c39f558d43255cc25c (diff)
Correction for memb/2 base case hint made.
-rw-r--r--prolog/problems/lists/memb_2/common.py2
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 119363a..b4a1cea 100644
--- a/prolog/problems/lists/memb_2/common.py
+++ b/prolog/problems/lists/memb_2/common.py
@@ -74,7 +74,7 @@ def hint(code, aux_code):
# 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,a,b,c])'):
return [{'id': 'base_case'}]
# target predicate seems to always be false