From 6bda47fb45788f7464b7846bc58d7b90cc65240f Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Fri, 2 Oct 2015 22:27:57 +0200 Subject: Figures, hints and test cases added/updated for father, grandparent, brother, and sister problems. --- prolog/problems/family_relations/brother_2/sl.py | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'prolog/problems/family_relations/brother_2/sl.py') diff --git a/prolog/problems/family_relations/brother_2/sl.py b/prolog/problems/family_relations/brother_2/sl.py index 2176bd8..f945026 100644 --- a/prolog/problems/family_relations/brother_2/sl.py +++ b/prolog/problems/family_relations/brother_2/sl.py @@ -14,27 +14,26 @@ description = '''\ plan = [ '''\ -

''', +

Brat je moškega spola in ima skupnega starša z Y.

''', '''\ -

''', +

Če je X moški in če imata X in Y skupnega starša, +potem je X brat od Y.

''', '''\ -

-
-parent(P, X)
-parent(P, Y)
-male(X)
-
''' +

Brat X je moškega spola in ima vsaj enega skupnega starša z Y.

''', ] hint = { 'x_y_must_be_different': '''\ +

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

 ?- brother(william, Y).
 
+

VEČ... Kako naredim, da sta X in Y različna?

''', 'x_must_be_male': '''\ +

Brat je navadno moškega spola.

''', @@ -43,6 +42,7 @@ hint = { ''', 'common_parent_needed': '''\ +

Dobro bi bilo, da imata X in Y vsaj enega skupnega starša.

''', } -- cgit v1.2.1