diff options
author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-09 19:16:26 +0100 |
---|---|---|
committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-09 19:16:26 +0100 |
commit | 79a91c6a6c4fabf6f3c8949a6735375ceac21989 (patch) | |
tree | d6b0447a89fe6354e2945f2073a5485a16ca2c62 /prolog/problems/lists/memb_2 | |
parent | c61d06eab2c15928a928fcea106f276013902bb0 (diff) |
Hints for del/3 added. And some minor corrections/additions elsewhere.
Diffstat (limited to 'prolog/problems/lists/memb_2')
-rw-r--r-- | prolog/problems/lists/memb_2/sl.py | 6 |
1 files changed, 4 insertions, 2 deletions
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': '''\ |