From 6a220f4485994af4103424a72d27153c4dd65a25 Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Mon, 29 Feb 2016 18:20:30 +0100 Subject: Improved hints for ancestor/2. --- prolog/problems/family_relations/ancestor_2/common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'prolog/problems/family_relations') diff --git a/prolog/problems/family_relations/ancestor_2/common.py b/prolog/problems/family_relations/ancestor_2/common.py index 7f6beea..ad306ee 100644 --- a/prolog/problems/family_relations/ancestor_2/common.py +++ b/prolog/problems/family_relations/ancestor_2/common.py @@ -85,7 +85,7 @@ def hint(code, aux_code): # TODO: how will ask_truth handle/return timeouts... # TODO: timeout is the same as fail in this particular case if prolog.engine.ask_truth(engine_id, - '\+ (findall(X/Y, parent(X, Y), L), member(X/Y, L), \+ ancestor(X, Y))'): + 'findall(X/Y, parent(X, Y), L), member(X/Y, L), \+ ancestor(X, Y)'): return [{'id': 'base_case'}] # ancestor to oneself -- cgit v1.2.1