From df9d00a9cb2f8a14c971c44cb0d05454a6281d61 Mon Sep 17 00:00:00 2001
From: Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>
Date: Wed, 30 Mar 2016 17:30:08 +0200
Subject: Hints and plans for pivoting/4 added.

---
 prolog/problems/sorting/sins_3/sl.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'prolog/problems/sorting/sins_3')

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': '''\
-- 
cgit v1.2.1