diff options
author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-09 01:39:55 +0100 |
---|---|---|
committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-09 01:39:55 +0100 |
commit | c61d06eab2c15928a928fcea106f276013902bb0 (patch) | |
tree | b378f05c4a427b3ee619d852d7c6543f23dedbe2 /prolog/problems/lists/memb_2/sl.py | |
parent | e22d05a916d50896ea6d8b52b3a3ac9596e8f12b (diff) |
Hints for memb/2 added.
Diffstat (limited to 'prolog/problems/lists/memb_2/sl.py')
-rw-r--r-- | prolog/problems/lists/memb_2/sl.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/problems/lists/memb_2/sl.py b/prolog/problems/lists/memb_2/sl.py index 5b44521..f2d0ce2 100644 --- a/prolog/problems/lists/memb_2/sl.py +++ b/prolog/problems/lists/memb_2/sl.py @@ -30,7 +30,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>member/2</code> delujoč tudi v kakšni drugi smeri.</p> +<code>memb/2</code> delujoč tudi v kakšni drugi smeri.</p> ''', 'eq_instead_of_equ_markup': '''\ |