diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-08-10 00:18:27 +0200 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-08-10 00:18:27 +0200 |
| commit | c2e782122d52acea0e69f8a5a92b40bbbb7072e5 (patch) | |
| tree | c32cb856f76c61080dd9acb2bb2b6847ffd1d97c /prolog/problems/lists_advanced/rev_2/sl.py | |
| parent | efc1dd926c83a0e772ccc87ffcf03218cbd90ed0 (diff) | |
English translation for rev/2 added.
Diffstat (limited to 'prolog/problems/lists_advanced/rev_2/sl.py')
| -rw-r--r-- | prolog/problems/lists_advanced/rev_2/sl.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/problems/lists_advanced/rev_2/sl.py b/prolog/problems/lists_advanced/rev_2/sl.py index 5c8ab13..cc7bd89 100644 --- a/prolog/problems/lists_advanced/rev_2/sl.py +++ b/prolog/problems/lists_advanced/rev_2/sl.py @@ -26,7 +26,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>rev/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> ''', |