From b202e2d5007ca9a53b4ffac4cc2224d647119dbc Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Fri, 18 Sep 2015 16:40:02 +0200 Subject: Add plan for brother/father/mother/sister --- prolog/problems/family_relations/sister_2/common.py | 1 - prolog/problems/family_relations/sister_2/sl.py | 17 +++++++++-------- 2 files changed, 9 insertions(+), 9 deletions(-) (limited to 'prolog/problems/family_relations/sister_2') diff --git a/prolog/problems/family_relations/sister_2/common.py b/prolog/problems/family_relations/sister_2/common.py index a1375f2..1ae652a 100644 --- a/prolog/problems/family_relations/sister_2/common.py +++ b/prolog/problems/family_relations/sister_2/common.py @@ -22,7 +22,6 @@ sister(X, Y) :- ''' hint_type = { - 'general_hint': HintSequence('general_hint', 3), 'x_must_be_female': Hint('x_must_be_female'), 'common_parent_needed': Hint('common_parent_needed'), 'Y_can_be_of_any_gender': Hint('Y_can_be_of_any_gender'), diff --git a/prolog/problems/family_relations/sister_2/sl.py b/prolog/problems/family_relations/sister_2/sl.py index b2683c4..aa66567 100644 --- a/prolog/problems/family_relations/sister_2/sl.py +++ b/prolog/problems/family_relations/sister_2/sl.py @@ -11,20 +11,21 @@ description = '''\ X = patricia. ''' -hint = { - 'general_hint': ['''\ -

-''', '''\ -

-''', '''\ +plan = [ + '''\ +

''', + '''\ +

''', + '''\

 parent(P, X)
 parent(P, Y)
 female(X)
-
-'''], +''' +] +hint = { 'x_y_must_be_different': '''\

Si pomislil, da sta X in Y lahko ista oseba? Poskusi naslednjo poizvedbo:

-- 
cgit v1.2.1