summaryrefslogtreecommitdiff
path: root/prolog/problems
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-30 15:25:46 +0200
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-30 15:25:46 +0200
commit26e076b9f550a2c6e86f8868904d315ff17c24bc (patch)
treec331cfa9d5e9a0fc443e094a5f687ba9656c0d87 /prolog/problems
parent268eb06e05c9a6062e0d34905bed2ecd1696f82c (diff)
Hints and plans for is_sorted/1 added.
Diffstat (limited to 'prolog/problems')
-rw-r--r--prolog/problems/sorting/is_sorted_1/sl.py14
1 files changed, 9 insertions, 5 deletions
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': '''\