summaryrefslogtreecommitdiff
path: root/prolog/problems/family_relations/brother_2/sl.py
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/family_relations/brother_2/sl.py')
-rw-r--r--prolog/problems/family_relations/brother_2/sl.py51
1 files changed, 51 insertions, 0 deletions
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 = '''\
+<p><code>brother(X, Y)</code>: <code>X</code> je brat od <code>Y</code>.</p>
+<pre>
+ ?- brother(jeffrey, X).
+ X = william ;
+ X = sally.
+</pre>'''
+
+hint = {
+ 'general_hint_1': '''\
+<p><img src="Sister-1.png" /></p>
+''',
+
+ 'general_hint_2': '''\
+<p><img src="Sister-2.png" /></p>
+''',
+
+ 'general_hint_3': '''\
+<p><img src="Sister-2.png" /></p>
+<pre>
+parent(P, X)
+parent(P, Y)
+male(X)
+</pre>
+''',
+
+ 'x_y_must_be_different': '''\
+<p>Si pomislil, da sta <code>X</code> in <code>Y</code> lahko ista oseba? Poskusi naslednjo poizvedbo:</p>
+<pre>
+?- brother(william, Y).
+</pre>
+''',
+
+ 'x_must_be_male': '''\
+<p>Brat je navadno moškega spola.</p>
+''',
+
+ 'Y_can_be_of_any_gender': '''\
+<p><code>Y</code> je pravzaprav lahko poljubnega spola.</p>
+''',
+
+ 'common_parent_needed': '''\
+<p>Dobro bi bilo, da imata <code>X</code> in <code>Y</code> vsaj enega skupnega starša.</p>
+''',
+}