diff options
author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-09-06 00:03:16 +0200 |
---|---|---|
committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-09-06 00:03:16 +0200 |
commit | 0974e756466142e8a24020f5ff4c3391143b73c2 (patch) | |
tree | 286d00d290689744ccfe0dd2a54f2ba2313f9161 /prolog/problems/lists_advanced/len_2/sl.py | |
parent | 1b2c914d8552f4af1676f6b63203513d949c7817 (diff) |
English translation for len/2 added.
Diffstat (limited to 'prolog/problems/lists_advanced/len_2/sl.py')
-rw-r--r-- | prolog/problems/lists_advanced/len_2/sl.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/problems/lists_advanced/len_2/sl.py b/prolog/problems/lists_advanced/len_2/sl.py index c95796b..49b9eea 100644 --- a/prolog/problems/lists_advanced/len_2/sl.py +++ b/prolog/problems/lists_advanced/len_2/sl.py @@ -21,7 +21,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>len/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> ''', |