1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
# coding=utf-8
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).
Y = william ;
Y = sally.
</pre>
<p><a target="_blank" href="[%@resource famrel.svg%]">Družinska drevesa</a> so
podana s predikati <code>parent/2</code>, <code>male/1</code> in
<code>female/1</code>.</p>
'''
plan = [
'''\
<p><img src="[%@resource Prolog_brother_01.svg%]" alt="Brat je moškega spola in ima skupnega starša z Y." /></p>''',
'''\
<p>Če je <code>X</code> moški in če imata <code>X</code> in <code>Y</code> skupnega starša,
potem je <code>X</code> brat od <code>Y</code>.</p>''',
'''\
<p><img src="[%@resource Prolog_brother_02.svg%]" alt="Brat X je moškega spola in ima vsaj enega skupnega starša z Y." /></p>''',
]
hint = {
'x_y_must_be_different': [{'message': '''\
<p><img src="[%@resource Prolog_brother_04.svg%]" /></p>
<p>Si pomislil, da sta <code>X</code> in <code>Y</code> lahko ista oseba? Poskusi naslednjo poizvedbo:</p>
<pre>
?- brother(william, Y).
</pre>''', 'linkText': 'Kako lahko preverim, da sta <code>X</code> in <code>Y</code> različna?'},
'''\
<p>S pomočjo operatorja <code>\==</code> lahko preverim, da sta <code>X</code> in <code>Y</code> med seboj različna.
Na primer: <code>X \== Y</code></p>
'''],
'x_must_be_male': '''\
<p><img src="[%@resource Prolog_brother_03.svg%]" /></p>
<p>Brat je navadno moškega spola.</p>
''',
'y_can_be_of_any_gender': '''\
<p><code>Y</code> je pravzaprav lahko poljubnega spola.</p>
''',
'nm_instead_of_neq': '''\
<p>Uporabi raje operator \== namesto operatorja \=. Prvi preveri, da dva objekta nista enaka,
drugi pa ju poskusi unificirati (narediti enaka).</p>
''',
'common_parent_needed': '''\
<p><img src="[%@resource Prolog_brother_05.svg%]" /></p>
<p>Dobro bi bilo, da imata <code>X</code> in <code>Y</code> vsaj enega skupnega starša.</p>
''',
'neq_used_too_early': '''\
<p>Si morda uporabil operator <code>\==</code> prezgodaj?</p>
<p>Poskusi ga pomakniti bolj proti koncu. Razlog za probleme je verjetno,
da spremenljivki, ki ju primerjaš, še nimata določene vrednosti in sta zato različni.
Prolog ne preverja, če kasneje morda postaneta enaki, ampak samo kakšni sta v trenutku,
ko naleti na primerjavo.</p>
<p>Morda pa preprosto preverjaš napačni spremenljivki?</p>
''',
}
|
