From 26e076b9f550a2c6e86f8868904d315ff17c24bc Mon Sep 17 00:00:00 2001
From: Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>
Date: Wed, 30 Mar 2016 15:25:46 +0200
Subject: Hints and plans for is_sorted/1 added.

---
 prolog/problems/sorting/is_sorted_1/sl.py | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

(limited to 'prolog')

diff --git a/prolog/problems/sorting/is_sorted_1/sl.py b/prolog/problems/sorting/is_sorted_1/sl.py
index 485ecf3..4b201a5 100644
--- a/prolog/problems/sorting/is_sorted_1/sl.py
+++ b/prolog/problems/sorting/is_sorted_1/sl.py
@@ -37,7 +37,7 @@ implicitno že kar v argumentih predikata (glavi stavka).</p>
 ''',
 
     'base_case': '''\
-<p>Si pomislil na robni pogoj? Kaj je najkrajši urejen seznam?</p>
+<p>Si pomislil na robni pogoj? Kaj je eden izmed najkrajših urejenih seznamov?</p>
 ''',
 
     'recursive_case': '''\
@@ -58,19 +58,23 @@ da je <code>N</code> enako kot <code>N + 1</code> ali kaj podobno logično zlobn
 ''',
 
     '[]_base_case_missing': '''\
-<p>[]_base_case_missing</p>
+<p>Da bo rešitev popolna, morda dodatno poskrbiš še za poseben primer, to je prazen seznam. A ob tem
+ne poruši prejšnjih rešitev.</p>
 ''',
 
     'duplicates_fail': '''\
-<p>duplicates_fail</p>
+<p>Si morda pozabil, da so v seznamu lahko tudi duplikati? Tudi spodnji seznam je urejen!</p>
+<p><code>?- is_sorted([25,25,25,25]).</code></p>
 ''',
 
     'H1_instead_of_H2_sent_into_recursion': '''\
-<p>H1_instead_of_H2_sent_into_recursion</p>
+<p>Si morda v rekurzijo poslal napačno izmed obeh "glav" seznama?</p>
 ''',
 
     'base_case_at_len_1_missing': '''\
-<p>base_case_at_len_1_missing</p>
+<p>Splošni (rekurzivni) primer pri tej nalogi zahteva dva elementa, pa četudi enega daš potem nazaj, ko
+rep pošlješ v rekurzijo. Kaj pa se zgodi, ko ti ostane samo en element v seznamu? Premisli, to bo verjetno
+glavni robni pogoj!</p>
 ''',
 
     'both_heads_omitted_from_recursion': '''\
-- 
cgit v1.2.1