summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-21 04:43:14 +0100
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-21 04:43:14 +0100
commitc8d114f863d0d22e802c2296f549565965a43934 (patch)
tree0a48fc052129bdd6ed24e8c360df932660952836 /prolog
parent5dc202da93d1e9e7095faf6d07066f99c085fbdc (diff)
Hints and plans for shiftleft/2 added.
Diffstat (limited to 'prolog')
-rw-r--r--prolog/problems/lists_advanced/shiftleft_2/sl.py24
1 files changed, 20 insertions, 4 deletions
diff --git a/prolog/problems/lists_advanced/shiftleft_2/sl.py b/prolog/problems/lists_advanced/shiftleft_2/sl.py
index ec55c4e..bbe6d79 100644
--- a/prolog/problems/lists_advanced/shiftleft_2/sl.py
+++ b/prolog/problems/lists_advanced/shiftleft_2/sl.py
@@ -1,3 +1,5 @@
+# coding=utf-8
+
name = 'shiftleft/2'
slug = 'Premakni elemente seznama za eno mesto v levo'
@@ -8,6 +10,18 @@ description = '''\
X = [2,3,4,5,1].
</pre>'''
+plan = ['''\
+<p>V seznamu vzamem prvi element (recimu mu <code>H</code>) in ga dodam preostanku (recimu mu <code>T</code>)
+na konec. Preprosto! Saj se še spomniš od prejšnjič kako vzameš zadnji element seznamu? Dodajanje je ista
+operacija, samo v drugo smer ;)</p>
+''', '''\
+<p>Seznam dolžine ena je videti kot vzorec <code>[X]</code>. To bi znalo priti prav, kakor tudi predikat
+<code>conc/3</code>.</p>
+''', '''\
+<p>Če je podani seznam <code>L</code> sestavljen iz glave <code>H</code> in repa <code>T</code> in če <code>H</code>
+dodamo <em>na konec</em> <code>T</code>, potem je rezultat seznam <code>L</code> premaknjen v levo.</p>
+''']
+
hint = {
'eq_instead_of_equ': '''\
<p>Operator <code>==</code> je strožji od operatorja <code>=</code> v smislu, da je za slednjega dovolj,
@@ -26,7 +40,7 @@ implicitno že kar v argumentih predikata (glavi stavka).</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>
+da je <code>N</code> enako kot <code>N + 1</code> ali kaj podobno logično zlobnega).</p>
''',
'timeout': '''\
@@ -35,14 +49,16 @@ da je <code>X</code> hkrati starš in sestra od <code>Y</code> ali kaj podobno z
''',
'conc_arg_not_list': '''\
-<p>conc_arg_not_list</p>
+<p>Vsi trije argumenti predikata <code>conc/3</code> morajo biti <em>seznami</em>. Si prepričan,
+da si ga tako uporabil?</p>
''',
'arbitrary_result': '''\
-<p>arbitrary_result</p>
+<p>Si pravilno povezal vse spremenljivke? Zgleda namreč, da vračaš kar poljuben rezultat (spremenljivko brez
+določene vrednosti). Opozorila "singleton variables" večinoma ni pametno ignorirati.</p>
''',
'tail_must_be_list': '''\
-<p>tail_must_be_list</p>
+<p>Rep seznama mora vedno biti <em>seznam</em> in ne element!</p>
''',
}