From a6beb2ce179d1fa3e4d7468157799cc6181e7b3a Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Sat, 12 Mar 2016 01:10:50 +0100 Subject: Correction for memb/2 base case hint made. --- prolog/problems/lists/memb_2/common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'prolog') 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 -- cgit v1.2.1