diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-30 17:30:08 +0200 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-30 17:30:08 +0200 |
| commit | df9d00a9cb2f8a14c971c44cb0d05454a6281d61 (patch) | |
| tree | 098b3e7f6d5ca7e8eb29b991d7ae74d40fef12cf /prolog/problems/sorting/sins_3 | |
| parent | 356195ee77fdbebcca310e3a9250a61c4f117941 (diff) | |
Hints and plans for pivoting/4 added.
Diffstat (limited to 'prolog/problems/sorting/sins_3')
| -rw-r--r-- | prolog/problems/sorting/sins_3/sl.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/prolog/problems/sorting/sins_3/sl.py b/prolog/problems/sorting/sins_3/sl.py index 3f96dff..4f3920a 100644 --- a/prolog/problems/sorting/sins_3/sl.py +++ b/prolog/problems/sorting/sins_3/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': '''\ @@ -87,6 +87,8 @@ nov največji element? Poskusi spodnji klic.</p> <p>Si "zaščitil" (s pogojem) obe možnosti (veji)? Pazi, če ena nima pogoja, bo prva rešitev verjetno pravilna, vendar pa bodo možne še druge rešitve, ki ne bodo. Podpičje pomeni logični OR in ne logični XOR. Kar pomeni, da lahko prolog poišče alternative v drugi veji, čeprav je pogoj v prvi veji izpolnjen! Zato sta potrebna oba pogoja.</p> +<p>Poskusi spodnje vprašanje in zahtevaj <em>več</em> rešitev.</p> +<p><code>?- sins(3, [1,2,4,5,6], L).</code></p> ''', 'forgotten_heads': '''\ |