summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/del_3/sl.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-13 20:52:45 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-13 20:52:45 +0100
commit84ac2d8dc04f9a882e6c558319c3029d4c5470e0 (patch)
treee42329a9a391ea3f829a83ececdf22c273f8068e /prolog/problems/lists/del_3/sl.py
parent4cdb49c0e53ce60c72bd276131c1e89c5588c9d7 (diff)
Prolog: add pictures for lists problems
Diffstat (limited to 'prolog/problems/lists/del_3/sl.py')
-rw-r--r--prolog/problems/lists/del_3/sl.py5
1 files changed, 5 insertions, 0 deletions
diff --git a/prolog/problems/lists/del_3/sl.py b/prolog/problems/lists/del_3/sl.py
index df5e014..6285742 100644
--- a/prolog/problems/lists/del_3/sl.py
+++ b/prolog/problems/lists/del_3/sl.py
@@ -18,6 +18,8 @@ description = '''\
</pre>'''
plan = ['''
+<p><img style="width: 40%;" src="[%@resource plan_a.svg%]" /><img style="width: 40%;" src="[%@resource plan_b.svg%]" /></p>
+''', '''\
<p>V bistvu je ta naloga precej podobna nalogi <code>memb/2</code>, le da tokrat iskani element tudi zbrišemo.
Kje se lahko skriva iskani element <code>X</code>, da ga zbrišemo? Spomni se, da ima seznam dva dela, glavo in rep.
Torej sta možnosti dve!</p>
@@ -45,6 +47,7 @@ implicitno že kar v argumentih predikata (glavi stavka).</p>
''',
'base_case': '''\
+<p><img src="[%@resource base_case.svg%]" /></p>
<p>Si pomislil na robni pogoj? Kaj je najbolj enostaven primer, kateri element v seznamu najlažje zbrišeš?</p>
''',
@@ -74,6 +77,7 @@ saj veš, da z največjim veseljem reče "no"! :)</p>
''',
'lost_heads': '''\
+<p><img src="[%@resource lost_heads.svg%]" /></p>
<p>Element je zbrisan, ampak prav tako so tudi vsi elementi pred njim, kajne?
Si pozabil dati glavo nazaj na začetek seznama, ko se vračaš iz rekurzije?</p>
<p>Poskusi postaviti naslednje vprašanje prologu:</p>
@@ -81,6 +85,7 @@ Si pozabil dati glavo nazaj na začetek seznama, ko se vračaš iz rekurzije?</p
''',
'leading_heads_all_x': '''\
+<p><img src="[%@resource leading_heads_all_x.svg%]" /></p>
<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>