From c3294f78c516f41b7ab40e67a88b874cf4a80cbb Mon Sep 17 00:00:00 2001
From: Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>
Date: Mon, 29 Feb 2016 15:40:09 +0100
Subject: Hints for aunt/2 improved.

---
 prolog/problems/family_relations/aunt_2/common.py | 7 +++++++
 prolog/problems/family_relations/aunt_2/sl.py     | 5 +++++
 2 files changed, 12 insertions(+)

(limited to 'prolog/problems/family_relations')

diff --git a/prolog/problems/family_relations/aunt_2/common.py b/prolog/problems/family_relations/aunt_2/common.py
index 50c82b4..5d633fb 100644
--- a/prolog/problems/family_relations/aunt_2/common.py
+++ b/prolog/problems/family_relations/aunt_2/common.py
@@ -34,6 +34,7 @@ hint_type = {
     'x_need_not_be_parent': Hint('x_need_not_be_parent'),
     'y_need_not_be_parent': Hint('y_need_not_be_parent'),
     'predicate_always_false': Hint('predicate_always_false'),
+    'nephews_parent_can_be_male': Hint('nephews_parent_can_be_male'),
 }
 
 test_cases = [
@@ -96,6 +97,12 @@ def hint(code, aux_code):
             'aunt(X, _), male(X)'):
             return [{'id': 'x_must_be_female'}]
 
+        # nephew's parent can also be male
+        # this mistake comes from: parent(P, Y), sister(P, X)...
+        if prolog.engine.ask_truth(engine_id,
+            'setof(X/Y, aunt(X, Y), [patricia/susan, vanessa/john])'):
+            return [{'id': 'nephews_parent_can_be_male'}]
+
         # Y must have a parent
         # perhaps risky as only one such nephew exists in DB (susan)
         if prolog.engine.ask_truth(engine_id,
diff --git a/prolog/problems/family_relations/aunt_2/sl.py b/prolog/problems/family_relations/aunt_2/sl.py
index 94d0be4..1016b43 100644
--- a/prolog/problems/family_relations/aunt_2/sl.py
+++ b/prolog/problems/family_relations/aunt_2/sl.py
@@ -63,6 +63,11 @@ Si morda pozabil, da teta in starš od <code>Y</code> ne smeta biti ista oseba?<
 
     'y_need_not_be_parent': '''\
 <p>Nečak ali nečakinja <code>Y</code> pravzaprav ne rabi imeti otrok, da ima teto...</p>
+''',
+
+    'nephews_parent_can_be_male': '''\
+<p>Starš od nečaka <code>Y</code> je lahko tudi moškega spola
+(kar pomeni, da ne more biti sestra od <code>X</code>).</p>
 ''',
 
     'predicate_always_false': '''\
-- 
cgit v1.2.1