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/memb_2/sl.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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

diff --git a/prolog/problems/lists/memb_2/sl.py b/prolog/problems/lists/memb_2/sl.py
index f2d0ce2..c1b0a47 100644
--- a/prolog/problems/lists/memb_2/sl.py
+++ b/prolog/problems/lists/memb_2/sl.py
@@ -31,6 +31,8 @@ hint = {
 <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>memb/2</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': '''\
@@ -47,12 +49,12 @@ Do katerega elementa najlažje prideš?</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 podobnega).</p>
+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>
+<p>Morda pa je kriv tudi manjkajoč, neustrezen ali preprosto nekompatibilen (s splošnim primerom) robni pogoj?</p>
 ''',
 
     'final_hint': '''\
-- 
cgit v1.2.1