From ee50df2225a974857e74d5ecb7c5f503e1c6b18a Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Thu, 10 Sep 2015 20:39:02 +0200 Subject: Hints for mother, father, brother, and sister added. --- prolog/problems/family_relations/brother_2/sl.py | 51 ++++++++++++++++++++++++ 1 file changed, 51 insertions(+) create mode 100644 prolog/problems/family_relations/brother_2/sl.py (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 new file mode 100644 index 0000000..f9db389 --- /dev/null +++ b/prolog/problems/family_relations/brother_2/sl.py @@ -0,0 +1,51 @@ +# coding=utf-8 + +id = 97 +name = 'brother/2' +slug = 'X je brat od Y' + +description = '''\ +

brother(X, Y): X je brat od Y.

+
+  ?- brother(jeffrey, X).
+    X = william ;
+    X = sally.
+
''' + +hint = { + 'general_hint_1': '''\ +

+''', + + 'general_hint_2': '''\ +

+''', + + 'general_hint_3': '''\ +

+
+parent(P, X)
+parent(P, Y)
+male(X)
+
+''', + + 'x_y_must_be_different': '''\ +

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

+
+?- brother(william, Y).
+
+''', + + 'x_must_be_male': '''\ +

Brat je navadno moškega spola.

+''', + + 'Y_can_be_of_any_gender': '''\ +

Y je pravzaprav lahko poljubnega spola.

+''', + + 'common_parent_needed': '''\ +

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

+''', +} -- cgit v1.2.1