diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-30 17:32:03 +0200 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-30 17:32:03 +0200 |
| commit | a260e7c1978826e7274abc27f130a65abe398f3e (patch) | |
| tree | dec7bb1d7e3950fb445aa9433d63c36c1fcf6b71 | |
| parent | df9d00a9cb2f8a14c971c44cb0d05454a6281d61 (diff) | |
Hints and plans for pivoting/4 added.
| -rw-r--r-- | prolog/problems/sorting/is_sorted_1/sl.py | 2 | ||||
| -rw-r--r-- | prolog/problems/sorting/slowest_sort_ever_2/sl.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/prolog/problems/sorting/is_sorted_1/sl.py b/prolog/problems/sorting/is_sorted_1/sl.py index 67795d6..7362655 100644 --- a/prolog/problems/sorting/is_sorted_1/sl.py +++ b/prolog/problems/sorting/is_sorted_1/sl.py @@ -49,7 +49,7 @@ implicitno že kar v argumentih predikata (glavi stavka).</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>N</code> enako kot <code>N + 1</code> ali kaj podobno logično zlobnega).</p> +da je <code>X</code> <em>hkrati</em> večji in manjši od <code>Y</code> ali kaj podobno logično sumljivega).</p> ''', 'timeout': '''\ diff --git a/prolog/problems/sorting/slowest_sort_ever_2/sl.py b/prolog/problems/sorting/slowest_sort_ever_2/sl.py index b94a5e7..4269f41 100644 --- a/prolog/problems/sorting/slowest_sort_ever_2/sl.py +++ b/prolog/problems/sorting/slowest_sort_ever_2/sl.py @@ -35,7 +35,7 @@ implicitno že kar v argumentih predikata (glavi stavka).</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>N</code> enako kot <code>N + 1</code> ali kaj podobno logično zlobnega).</p> +da je <code>X</code> <em>hkrati</em> večji in manjši od <code>Y</code> ali kaj podobno logično sumljivega).</p> ''', 'timeout': '''\ |