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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
# coding=utf-8
name = 'dup/2'
slug = 'Podvoji vse elemente v seznamu'
description = '''\
<p><code>dup(L1, L2)</code>: seznam <code>L2</code> dobimo iz <code>L1</code> tako, da podvojimo vsak element.</p>
<pre>
?- dup([1,2], X).
X = [1,1,2,2].
?- dup([1,2,3], X).
X = [1,1,2,2,3,3].
</pre>'''
plan = ['''
<p>Klasična rekurzivna naloga. Bodimo pogumni in privzemimo, da že imamo podvojen rep seznama.
Potem je vse kar moramo še storiti to, da podvojimo glavo (H postane H, H) in to dodamo pred
podvojen rep.</p>
''', '''\
<p>Robni pogoj mora biti enostaven, kajne? Kaj, če seznam sploh nima elementov, kaj je potem rezultat?</p>
''', '''\
<p>Če imam podvojen rep <code>DT</code> in pred to postavim dve glavi <code>[H, H]</code>,
potem je to skupaj ravno podvojen seznam.</p>
<p>Kako pa dobim podvojen rep? Rep je manjši od celega seznama, zato si lahko privoščim rekurzijo!</p>
''']
hint = {
'eq_instead_of_equ': '''\
<p>Operator <code>==</code> je strožji od operatorja <code>=</code> v smislu, da je za slednjega dovolj,
da elementa lahko naredi enaka (unifikacija). Morda z uporabo <code>=</code> narediš predikat
<code>insert/3</code> delujoč tudi v kakšni drugi smeri. To bo kasneje znalo priti prav!</p>
<p>Seveda pa lahko nalogo rešiš brez obeh omenjenih operatorjev, spomni se, da lahko unifikacijo narediš
implicitno že kar v argumentih predikata (glavi stavka).</p>
''',
'eq_instead_of_equ_markup': '''\
<p>Morda bi bil bolj primeren operator za unifikacijo (=)?</p>
''',
'base_case': '''\
<p>Si pomislil na robni pogoj? Na katero mesto v seznamu najlažje vstaviš nek element?</p>
''',
'recursive_case': '''\
<p>Robni primer deluje. Kaj pa rekurzivni, splošni, primer?</p>
''',
'predicate_always_false': '''\
<p>Vse kaže, da tvoj predikat vedno vrne "false". Si mu dal pravilno ime, si se morda pri imenu zatipkal?</p>
<p>Če je ime pravilno, se morda splača preveriti tudi, če se nisi zatipkal kje drugje,
je morda kakšna pika namesto vejice ali obratno, morda kakšna spremenljivka z malo začetnico?</p>
<p>Možno je seveda tudi, da so tvoji pogoji prestrogi ali celo nemogoči (kot bi bila npr. zahteva,
da je <code>X</code> hkrati starš in sestra od <code>Y</code> ali kaj podobno zlobnega).</p>
''',
'timeout': '''\
<p>Je morda na delu potencialno neskončna rekurzija? Kako se bo ustavila?</p>
<p>Morda pa je kriv tudi manjkajoč, neustrezen ali preprosto nekompatibilen (s splošnim primerom) robni pogoj?</p>
''',
'ins_results_in_empty_list': '''\
<p>Kako je lahko rezultat vstavljanja v seznam prazen seznam?</p>
<p>Če je to tvoj robni pogoj, ga še enkrat premisli: kaj je rezultat vstavljanja?</p>
''',
'ins_results_in_arbitrary_result': '''\
<p>Kako je lahko rezultat vstavljanja v seznam poljuben seznam oz. karkoli?</p>
<p>Če je to tvoj robni pogoj, ga še enkrat premisli: kaj je rezultat vstavljanja?</p>
''',
'lost_heads': '''\
<p>Element je vstavljen, ampak vsi pred njim so se pa izgubili, kajne?
Si pozabil dati glavo nazaj na začetek seznama, ko se vračaš iz rekurzije?</p>
<p>Poskusi postaviti naslednje vprašanje prologu in preglej <emph>vse</emph> rešitve:</p>
<p><code>?- insert(q, [a,b,c,d], L).</code></p>
''',
'leading_heads_all_x': '''\
<p>Si morda pozabil (copy/paste?) in uporabil <code>[X|T]</code> namesto bolj splošnega
<code>[H|T]</code> v rekurzivnem primeru?</p>
<p>Od spodnjih dveh vprašanj prologu prvo deluje, drugo pa ne.</p>
<p><code>?- insert(d, [d,d,d,d,e,f,g], L).</code></p>
<p><code>?- insert(d, [a,b,c,d,e,f,g], L).</code></p>
''',
}
|
