summaryrefslogtreecommitdiff
path: root/prolog/problems/lists_advanced/sublist_2/sl.py
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-09-09 00:50:01 +0200
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-09-09 00:50:01 +0200
commit028ee21ff18c68f662a7dbf53ada4d22d486eb0f (patch)
tree52dda3b20eb19f76963feba0d51c9aee901b0005 /prolog/problems/lists_advanced/sublist_2/sl.py
parentd2264c60a2382d0aa00ec4cf8cc5d794213e2a2a (diff)
English translation for sublist/2 added.
Diffstat (limited to 'prolog/problems/lists_advanced/sublist_2/sl.py')
-rw-r--r--prolog/problems/lists_advanced/sublist_2/sl.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/prolog/problems/lists_advanced/sublist_2/sl.py b/prolog/problems/lists_advanced/sublist_2/sl.py
index 4884665..b75aa0c 100644
--- a/prolog/problems/lists_advanced/sublist_2/sl.py
+++ b/prolog/problems/lists_advanced/sublist_2/sl.py
@@ -33,7 +33,7 @@ hint = {
'eq_instead_of_equ': '''\
<p>Operator <code>==</code> je strožji od operatorja <code>=</code> v smislu, da je za slednjega dovolj,
da elementa lahko naredi enaka (unifikacija). Morda z uporabo <code>=</code> narediš predikat
-<code>memb/2</code> delujoč tudi v kakšni drugi smeri.</p>
+<code>sublist/2</code> delujoč tudi v kakšni drugi smeri.</p>
<p>Seveda pa lahko nalogo rešiš brez obeh omenjenih operatorjev, spomni se, da lahko unifikacijo narediš
implicitno že kar v argumentih predikata (glavi stavka).</p>
''',
@@ -56,7 +56,7 @@ Do katerega elementa najlažje prideš?</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>X</code> hkrati starš in sestra od <code>Y</code> ali kaj podobno zlobnega).</p>
+da je <code>N</code> enako kot <code>N + 1</code> ali kaj podobno logično zlobnega).</p>
''',
'timeout': '''\