From 26e076b9f550a2c6e86f8868904d315ff17c24bc Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov 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(-) 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).

''', 'base_case': '''\ -

Si pomislil na robni pogoj? Kaj je najkrajši urejen seznam?

+

Si pomislil na robni pogoj? Kaj je eden izmed najkrajših urejenih seznamov?

''', 'recursive_case': '''\ @@ -58,19 +58,23 @@ da je N enako kot N + 1 ali kaj podobno logično zlobn ''', '[]_base_case_missing': '''\ -

[]_base_case_missing

+

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.

''', 'duplicates_fail': '''\ -

duplicates_fail

+

Si morda pozabil, da so v seznamu lahko tudi duplikati? Tudi spodnji seznam je urejen!

+

?- is_sorted([25,25,25,25]).

''', 'H1_instead_of_H2_sent_into_recursion': '''\ -

H1_instead_of_H2_sent_into_recursion

+

Si morda v rekurzijo poslal napačno izmed obeh "glav" seznama?

''', 'base_case_at_len_1_missing': '''\ -

base_case_at_len_1_missing

+

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!

''', 'both_heads_omitted_from_recursion': '''\ -- cgit v1.2.1