From 79a91c6a6c4fabf6f3c8949a6735375ceac21989 Mon Sep 17 00:00:00 2001
From: Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>
Date: Wed, 9 Mar 2016 19:16:26 +0100
Subject: Hints for del/3 added. And some minor corrections/additions
 elsewhere.

---
 prolog/problems/lists/del_3/sl.py | 65 ++++++++++++++++++++++++++++++++++++++-
 1 file changed, 64 insertions(+), 1 deletion(-)

(limited to 'prolog/problems/lists/del_3/sl.py')

diff --git a/prolog/problems/lists/del_3/sl.py b/prolog/problems/lists/del_3/sl.py
index 3c45408..2c17f77 100644
--- a/prolog/problems/lists/del_3/sl.py
+++ b/prolog/problems/lists/del_3/sl.py
@@ -17,4 +17,67 @@ description = '''\
   X = 3, L = [1,2].
 </pre>'''
 
-hint = {}
+plan = ['''
+<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>
+''', '''\
+<p>Kaj je najenostavnejša smiselna možnost? Morda brisanje prvega elementa?</p>
+''', '''\
+<p>Kako brišem nekje iz repa? Seznam razbijem na glavo in rep, rekurzivno (problem je za en element manjši!)
+brišem iz repa in ob vračanju iz rekurzije ne pozabim na prej "odtrgano" glavo.</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>del/3</code> delujoč tudi v kakšni drugi smeri.</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? Kaj je najbolj enostaven primer, kateri element v seznamu najlažje zbrišeš?</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>
+''',
+
+    'del_from_empty_list_success': '''\
+<p>Iz praznega seznama ne moreš uspešno zbrisati nobenega elementa!</p>
+<p>Če brišem iz praznega seznama, ne dobim praznega seznama ali tudi karkoli drugega kot rezultat, ampak naj prolog
+preprosto ne uspe -- tega niti ne potrebuješ pisati kot pravilo, ker je to prologov privzet odgovor:
+saj veš, da z največjim veseljem reče "no"! :)</p>
+<p>Če je to tvoj robni pogoj, ga še enkrat premisli: na katerem mestu je najlažje zbrisati element v seznamu?</p>
+''',
+
+    'lost_heads': '''\
+<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:
+<code>?- del(d, [a,b,c,d,e,f,g], L).</code></p>
+''',
+
+    'final_hint': '''\
+<p>Zanimivost: operaciji vstavljanja in brisanja iz seznama sta si ravno nasprotni. Če se malce poigraš z
+argumenti, lahko <code>del/3</code> rešiš kar z <code>insert/3</code>.</p>
+<p>Logično velja naslednje: če zbrišem <code>X</code> iz seznama <code>BigList</code> in dobim kot rezultat
+seznam <code>SmallList</code> je isto kot če <emph>vstavim</emph> <code>X</code> v seznam <code>SmallList</code> in dobim
+kot rezultat seznam <code>BigList</code>. ;)</p>
+''',
+}
-- 
cgit v1.2.1