summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-02-29 18:20:30 +0100
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-02-29 18:20:30 +0100
commit6a220f4485994af4103424a72d27153c4dd65a25 (patch)
treeae1964cecfc0d55b6b1ba0a21b5258b7661842f1 /prolog
parent5fc3637dadebf30edaf761f25523863cc409e52f (diff)
Improved hints for ancestor/2.
Diffstat (limited to 'prolog')
-rw-r--r--prolog/problems/family_relations/ancestor_2/common.py2
1 files changed, 1 insertions, 1 deletions
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